fmrisc.AST
Class EqualsFormula

java.lang.Object
  extended byfmrisc.AST.ASTBase
      extended byfmrisc.AST.ExpressionBase
          extended byfmrisc.AST.BinaryExpression
              extended byfmrisc.AST.EqualsFormula
All Implemented Interfaces:
AST, Expression

public final class EqualsFormula
extends BinaryExpression

Handling of conjunctions


Constructor Summary
EqualsFormula(Expression base1, Expression base2)
          construct equality with components base1 and base2
 
Method Summary
 Expression 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.BinaryExpression
getFirst, getSecond
 
Methods inherited from class fmrisc.AST.ExpressionBase
printPriority
 
Methods inherited from class fmrisc.AST.ASTBase
print, printParens, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface fmrisc.AST.AST
print, printParens, toString
 

Constructor Detail

EqualsFormula

public EqualsFormula(Expression base1,
                     Expression base2)
construct equality with components base1 and base2

Parameters:
base1 - the first component
base2 - the second component
Method Detail

instantiate

public Expression 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
Overrides:
printCore in class BinaryExpression
Parameters:
out - the stream on which the text is written