fmrisc.Syntax
Class SubrangeType

java.lang.Object
  fmrisc.Syntax.ASTBase
      fmrisc.Syntax.TypeBase
          fmrisc.Syntax.SubrangeType

All Implemented Interfaces:

AST, Type

public final class SubrangeType
extends TypeBase

Subranges of integers.

Constructor Summary

SubrangeType(Expression from, Expression to)
construct subrangetype with denoted bounds

Method Summary

AST	accept(ASTVisitor visitor) Accept visitor for a visit.
Expression	getFrom() returns lower bound
Expression	getTo() returns to bound
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

SubrangeType

public SubrangeType(Expression from,
                    Expression to)

construct subrangetype with denoted bounds

Parameters:

from - the lower bound

to - the upper bound

Method Detail

getFrom

public Expression getFrom()

returns lower bound

Returns:

the lower bound of the subrange

getTo

public Expression getTo()

returns to bound

Returns:

the upper bound of the subrange

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)