|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcppast.Scope
public final class Scope
Represents a scope.
| Constructor Summary | |
|---|---|
Scope()
Creates an unnamed empty scope. |
|
| Method Summary | |
|---|---|
Scope |
close()
Close the scope. |
Scope |
createScope(java.lang.String name)
Create a sub-scope to the scope. |
void |
extend(Scope scope)
Extend the scope with another one. |
Scope |
getScope(java.lang.String name)
Retrieve the scope of a given name. |
java.lang.String |
resolve(java.lang.String name)
Resolve a name into the scope. |
java.lang.String |
toString()
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public Scope()
| Method Detail |
|---|
public Scope createScope(java.lang.String name)
name - the name of the sub-scope
public void extend(Scope scope)
Types from the given scope are added to the extended scope.
scope - the scope to merge into the current scopepublic Scope getScope(java.lang.String name)
name - the name of the scope
public Scope close()
public java.lang.String resolve(java.lang.String name)
name - the name
public java.lang.String toString()
toString in class java.lang.Object
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||