|
|||||||||
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()
public Designator copy(CopyingScheme copyScheme, java.util.Hashtable substitutionTable)
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 |