org.jmlspecs.jml4.fspv.theory
Class TheoryBinaryExpression

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.TheoryExpression
      org.jmlspecs.jml4.fspv.theory.TheoryBinaryExpression

public class TheoryBinaryExpression
extends TheoryExpression

Field Summary

TheoryExpression	lhs
TheoryOperator	op
TheoryExpression	rhs

Fields inherited from class org.jmlspecs.jml4.fspv.theory.TheoryExpression

EMPTY, type, withSideEffects

Constructor Summary

TheoryBinaryExpression(TheoryExpression l, TheoryOperator op, TheoryExpression r)

Method Summary

java.lang.String	toString()
java.lang.Object	visit(TheoryVisitor visitor)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

lhs

public final TheoryExpression lhs

op

public final TheoryOperator op

rhs

public final TheoryExpression rhs

Constructor Detail

TheoryBinaryExpression

public TheoryBinaryExpression(TheoryExpression l,
                              TheoryOperator op,
                              TheoryExpression r)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

visit

public java.lang.Object visit(TheoryVisitor visitor)

Overrides:

visit in class TheoryExpression