fmrisc.AST
Class ParenthesizedType

java.lang.Object
  extended byfmrisc.AST.ASTBase
      extended byfmrisc.AST.TypeBase
          extended byfmrisc.AST.ParenthesizedType
All Implemented Interfaces:
AST, Type

public final class ParenthesizedType
extends TypeBase

Construct parenthesized type (for printing purposes)


Constructor Summary
ParenthesizedType(Type base)
          construct parenthesized type from base type (semantically the identitiy)
 
Method Summary
 Type getBase()
          return base type
 Type instantiateType()
          return copy of AST with value references instantiated by the substitutions set in the corresponding declaration identifiers
 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.AST.ASTBase
printParens, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface fmrisc.AST.AST
printParens
 

Constructor Detail

ParenthesizedType

public ParenthesizedType(Type base)
construct parenthesized type from base type (semantically the identitiy)

Parameters:
base - the base type
Method Detail

getBase

public Type getBase()
return base type

Returns:
the base type

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

print

public void print(java.io.PrintWriter out)
Prints text representation on out (without new line termination). Overrides ASTBase.print such that parentheses are in any case printed around ast.

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

printCore

public void printCore(java.io.PrintWriter out)
Prints text representation on out (without new line termination). Parentheses are printed around ast.

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