public final class ValueDeclIdentifier extends Identifier
Constructor and Description |
---|
ValueDeclIdentifier(java.lang.String name)
construct identifier from name
|
Modifier and Type | Method and Description |
---|---|
AST |
accept(ASTVisitor visitor)
Accept visitor for a visit.
|
ValueDeclIdentifier |
getSubstitution()
returns substitution identifier for instantiation
|
ValueSymbol |
getSymbol()
returns value symbol
|
java.lang.String |
getUniqueName()
returns unique name of identifier
|
ValueDeclIdentifier |
instantiate()
returns instantiated copy of identifier
|
void |
makeNameUnique(UniqueNameTable table)
Replace name of identifier by unique name derived from table.
|
void |
print(java.io.PrintWriter out)
Prints text representation on out (without new line termination).
|
void |
printCore(java.io.PrintWriter out)
Prints text representation on out (without new line termination).
|
void |
resetSubstitution()
reset substitution field
|
void |
setSubstitution(ValueDeclIdentifier substitution)
set substitution expression for instantiation
|
getName, printPriority, setName
printParens, toString
public ValueDeclIdentifier(java.lang.String name)
name
- the text representation of the identifierpublic void makeNameUnique(UniqueNameTable table)
table
- the name table to be used for making the name uniquepublic java.lang.String getUniqueName()
public ValueSymbol getSymbol()
public ValueDeclIdentifier getSubstitution()
public void setSubstitution(ValueDeclIdentifier substitution)
substitution
- the substitution expressionpublic void resetSubstitution()
public ValueDeclIdentifier instantiate()
public void printCore(java.io.PrintWriter out)
printCore
in interface AST
printCore
in class Identifier
out
- the stream on which the text is writtenpublic void print(java.io.PrintWriter out)
print
in interface AST
print
in class Identifier
out
- the stream on which the text is writtenpublic AST accept(ASTVisitor visitor)
visitor
- the visitor who is accepted by this node.