fmrisc.AST
Class RecordType
java.lang.Object
fmrisc.AST.ASTBase
fmrisc.AST.TypeBase
fmrisc.AST.RecordType
- All Implemented Interfaces:
- AST, Type
- public final class RecordType
- extends TypeBase
Handling of record types.
Method Summary |
TypedIdentifier[] |
getBase()
returns base types |
Type |
instantiateType()
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 |
RecordType
public RecordType(TypedIdentifier[] base)
- construct record type
- Parameters:
base
- sequence of pairs
getBase
public TypedIdentifier[] getBase()
- returns base types
- Returns:
- the base types
instantiateType
public Type instantiateType()
- 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