|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectfmrisc.AST.ASTBase
fmrisc.AST.TypedIdentifier
Handling of typed identifiers.
Constructor Summary | |
TypedIdentifier(ValueDeclIdentifier identifier,
Type type)
construct typed identifier from identifier and type. |
Method Summary | |
ValueDeclIdentifier |
getIdentifier()
returns identifier name |
Type |
getType()
returns identifier type |
TypedIdentifier |
instantiate()
create instantiated copy of identifier |
void |
print(java.io.PrintWriter out)
Prints text representation. |
void |
printCore(java.io.PrintWriter out)
Prints text representation on out (without new line termination). |
void |
resetSubstitution()
reset substitution field in identifier |
void |
setSubstitution(TypedIdentifier substitution)
set substitution expression for instantiation |
Methods inherited from class fmrisc.AST.ASTBase |
printParens, toString |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public TypedIdentifier(ValueDeclIdentifier identifier, Type type)
identifier
- the identifiertype
- its typeMethod Detail |
public ValueDeclIdentifier getIdentifier()
public Type getType()
public TypedIdentifier instantiate()
public void setSubstitution(TypedIdentifier substitution)
substitution
- the substitution expressionpublic void resetSubstitution()
public void printCore(java.io.PrintWriter out)
printCore
in interface AST
printCore
in class ASTBase
out
- the stream on which the text is writtenpublic void print(java.io.PrintWriter out)
print
in interface AST
print
in class ASTBase
out
- the stream on which the text is written
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |