fmrisc.AST
Class RecordTerm
java.lang.Object
fmrisc.AST.ASTBase
fmrisc.AST.ExpressionBase
fmrisc.AST.RecordTerm
- All Implemented Interfaces:
- AST, Expression
- public final class RecordTerm
- extends ExpressionBase
Handling of record terms.
Method Summary |
ValuedIdentifier[] |
getBase()
returns base terms |
Expression |
instantiate()
return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers |
void |
printCore(java.io.PrintWriter out)
Prints text representation on out (without new line termination). |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
RecordTerm
public RecordTerm(ValuedIdentifier[] base)
- construct record term
- Parameters:
base
- sequence of pairs
getBase
public ValuedIdentifier[] getBase()
- returns base terms
- Returns:
- the base terms
instantiate
public Expression instantiate()
- return copy of AST with value references instantiated by the substitutions
set in the corresponding declaration identifiers
- Returns:
- the instantiated copy
printCore
public void printCore(java.io.PrintWriter out)
- Prints text representation on out (without new line termination).
- Specified by:
printCore
in interface AST
- Specified by:
printCore
in class ASTBase
- Parameters:
out
- the stream on which the text is written