fmrisc.Syntax
Class FormulaDeclIdentifier

java.lang.Object
  extended by fmrisc.Syntax.ASTBase
      extended by fmrisc.Syntax.Identifier
          extended by fmrisc.Syntax.FormulaDeclIdentifier
All Implemented Interfaces:
AST

public final class FormulaDeclIdentifier
extends Identifier

Handling of identifiers used in type declarations


Constructor Summary
FormulaDeclIdentifier(java.lang.String name)
          construct identifier from name
 
Method Summary
 AST accept(ASTVisitor visitor)
          Accept visitor for a visit.
 FormulaSymbol getSymbol()
          returns formula symbol
 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).
 
Methods inherited from class fmrisc.Syntax.Identifier
getName, printPriority, setName
 
Methods inherited from class fmrisc.Syntax.ASTBase
printParens, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

FormulaDeclIdentifier

public FormulaDeclIdentifier(java.lang.String name)
construct identifier from name

Parameters:
name - the text representation of the identifier
Method Detail

getSymbol

public FormulaSymbol getSymbol()
returns formula symbol

Returns:
the formula symbol

printCore

public void printCore(java.io.PrintWriter out)
Prints text representation on out (without new line termination).

Specified by:
printCore in interface AST
Overrides:
printCore in class Identifier
Parameters:
out - the stream on which the text is written

print

public void print(java.io.PrintWriter out)
Prints text representation on out (without new line termination). Overrides ASTBase.print such that parentheses are never printed around the identifier.

Specified by:
print in interface AST
Overrides:
print in class Identifier
Parameters:
out - the stream on which the text is written

accept

public AST accept(ASTVisitor visitor)
Accept visitor for a visit.

Parameters:
visitor - the visitor who is accepted by this node.
Returns:
the result of the visit (may be null).