|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--notio.Designator | +--notio.DefinedDesignator
Class for defined designators. This class is essentially a dummy since it's not clear what it should do.
Fields inherited from class notio.Designator |
DESIGNATOR_DEFINED, DESIGNATOR_LITERAL, DESIGNATOR_MARKER, DESIGNATOR_NAME |
Constructor Summary | |
DefinedDesignator()
Constructs a new DefinedDesignator. |
Method Summary | |
Designator |
copy(CopyingScheme copyScheme,
java.util.Hashtable substitutionTable)
Performs a copy operation on this designator according to the the specified CopyingScheme. |
int |
getDesignatorKind()
Returns a constant indicating which kind of designator is. |
Methods inherited from class notio.Designator |
getCaseSensitiveLabels, getEnclosingReferent, matchDesignators, setCaseSensitiveLabels |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public DefinedDesignator()
Method Detail |
public int getDesignatorKind()
getDesignatorKind
in class Designator
public Designator copy(CopyingScheme copyScheme, java.util.Hashtable substitutionTable)
copy
in class Designator
copyScheme
- the copying scheme used to control the copy operation.substitutionTable
- a hashtable containing copied objects available due to
earlier copy operations.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |