|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--notio.Designator | +--notio.NameDesignator
Class for name designators. Used for references by name.
Fields inherited from class notio.Designator |
DESIGNATOR_DEFINED,
DESIGNATOR_DESCRIPTOR,
DESIGNATOR_LITERAL,
DESIGNATOR_MARKER,
DESIGNATOR_NAME,
DESIGNATOR_SET |
Constructor Summary | |
NameDesignator(java.lang.String newName)
Constructs a new NameDesignator with the specified name. |
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. |
java.lang.String |
getName()
Returns the name used in this designator. |
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 NameDesignator(java.lang.String newName)
newName
- the name.Method Detail |
public int getDesignatorKind()
public java.lang.String getName()
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 |