fmrisc.Syntax
Class FunctionType

java.lang.Object
  extended by fmrisc.Syntax.ASTBase
      extended by fmrisc.Syntax.TypeBase
          extended by fmrisc.Syntax.FunctionType
All Implemented Interfaces:
AST, Type

public final class FunctionType
extends TypeBase

Handling of function type expressions


Constructor Summary
FunctionType(Type[] domain, Type range)
          construct function type from domain and range.
 
Method Summary
 AST accept(ASTVisitor visitor)
          Accept visitor for a visit.
 Type[] getDomain()
          returns domain of type
 Type getRange()
          returns range of type
 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 of type on out (without new line termination).
 
Methods inherited from class fmrisc.Syntax.TypeBase
print
 
Methods inherited from class fmrisc.Syntax.ASTBase
printParens, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface fmrisc.Syntax.AST
printParens, toString
 

Constructor Detail

FunctionType

public FunctionType(Type[] domain,
                    Type range)
construct function type from domain and range.

Parameters:
domain - the sequence of types representing the domain of the type.
range - the range of the type
Method Detail

getDomain

public Type[] getDomain()
returns domain of type

Returns:
the domain

getRange

public Type getRange()
returns range of type

Returns:
the range

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 of type 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

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).