fmrisc.Syntax
Class ArrayTerm

java.lang.Object
  extended by fmrisc.Syntax.ASTBase
      extended by fmrisc.Syntax.ExpressionBase
          extended by fmrisc.Syntax.QuantifiedExpression
              extended by fmrisc.Syntax.ArrayTerm
All Implemented Interfaces:
AST, Expression

public final class ArrayTerm
extends QuantifiedExpression

Handling of array terms.


Constructor Summary
ArrayTerm(TypedIdentifier[] variables, Expression base)
          construct array term of variables and base term
 
Method Summary
 QuantifiedExpression construct(TypedIdentifier[] variables, Expression base)
          Construct quantified expression.
 
Methods inherited from class fmrisc.Syntax.QuantifiedExpression
accept, getBase, getPriority, getVariables, instantiate, printCore, substitution
 
Methods inherited from class fmrisc.Syntax.ExpressionBase
printPriority
 
Methods inherited from class fmrisc.Syntax.ASTBase
print, printParens, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface fmrisc.Syntax.AST
print, printParens, toString
 

Constructor Detail

ArrayTerm

public ArrayTerm(TypedIdentifier[] variables,
                 Expression base)
construct array term of variables and base term

Parameters:
variables - the quantified variables
base - the base term
Method Detail

construct

public QuantifiedExpression construct(TypedIdentifier[] variables,
                                      Expression base)
Construct quantified expression.

Specified by:
construct in class QuantifiedExpression
Parameters:
variables - typed variables.
base - an expression.
Returns:
a quantified expression of the same kind as this expression with the denoted variables and base expression.