|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--cgp.translators.ContextScope
Field Summary | |
private java.util.HashMap |
table
|
Constructor Summary | |
ContextScope()
|
|
ContextScope(java.util.HashMap map)
|
Method Summary | |
ContextScope |
copy()
Copy this namespace. |
void |
def(java.lang.String name,
notio.Concept value)
|
notio.Concept |
get(java.lang.String name)
|
java.lang.String[] |
getNames()
Return the names in this namespace. |
Methods inherited from class java.lang.Object |
|
Field Detail |
private java.util.HashMap table
Constructor Detail |
public ContextScope()
public ContextScope(java.util.HashMap map)
Method Detail |
public void def(java.lang.String name, notio.Concept value)
public notio.Concept get(java.lang.String name)
public java.lang.String[] getNames()
public ContextScope copy()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |