|
|||||||||
| 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 | ||||||||