fmrisc.AST
Class SelectorNumber

java.lang.Object
  extended byfmrisc.AST.ASTBase
      extended byfmrisc.AST.SelectorBase
          extended byfmrisc.AST.SelectorNumber
All Implemented Interfaces:
AST, Selector

public final class SelectorNumber
extends SelectorBase

Number as selector.


Constructor Summary
SelectorNumber(Number base)
          make selector from number base
 
Method Summary
 Number getNumber()
          get the base number
 Selector 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 fmrisc.AST.SelectorBase
print
 
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, toString
 

Constructor Detail

SelectorNumber

public SelectorNumber(Number base)
make selector from number base

Parameters:
base - the selector base
Method Detail

getNumber

public Number getNumber()
get the base number

Returns:
the base number

instantiate

public Selector 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