org.jmlspecs.jml4.fspv.theory.ast
Class TheoryBinaryExpression

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.ast.TheoryNode
      org.jmlspecs.jml4.fspv.theory.ast.TheoryStatement
          org.jmlspecs.jml4.fspv.theory.ast.TheoryExpression
              org.jmlspecs.jml4.fspv.theory.ast.TheoryBinaryExpression

All Implemented Interfaces:

OperatorIds, TheoryOperatorIds

Direct Known Subclasses:

TheoryEqualExpression

public class TheoryBinaryExpression
extends TheoryExpression
implements TheoryOperatorIds

Field Summary

TheoryExpression	expression
TheoryExpression	left

Fields inherited from class org.jmlspecs.jml4.fspv.theory.ast.TheoryNode

base, enclosingTheory

Fields inherited from interface org.eclipse.jdt.internal.compiler.ast.OperatorIds

AND, AND_AND, DIVIDE, EQUAL, EQUAL_EQUAL, GREATER, GREATER_EQUAL, INSTANCEOF, JML_ELEMTYPE, JML_EQUIV, JML_IMPLIES, JML_NONNULLELEMENTS, JML_NOT_ASSIGNED, JML_NOT_EQUIV, JML_NOT_MODIFIED, JML_OLD, JML_PRE, JML_REPRESENTS, JML_REV_IMPLIES, JML_TYPE, JML_TYPEOF, JmlOtherOpIdStart, LEFT_SHIFT, LESS, LESS_EQUAL, MINUS, MINUS_MINUS, MULTIPLY, NOT, NOT_EQUAL, NumberOfExtraTablesForJML, NumberOfTables, OR, OR_OR, PLUS, PLUS_PLUS, QUESTIONCOLON, REMAINDER, RIGHT_SHIFT, TWIDDLE, UNSIGNED_RIGHT_SHIFT, XOR

Constructor Summary

TheoryBinaryExpression(ASTNode base, Theory theory, TheoryExpression left, TheoryExpression expression)

Method Summary

java.lang.String	getType()
boolean	isOpAnd()
boolean	isOpAndAnd()
boolean	isOpDivide()
boolean	isOpEqual()
boolean	isOpGreater()
boolean	isOpGreaterEqual()
boolean	isOpLess()
boolean	isOpLessEqual()
boolean	isOpMinus()
boolean	isOpMultiply()
boolean	isOpNotEqual()
boolean	isOpPlus()
void	traverse(TheoryVisitor visitor)

Methods inherited from class org.jmlspecs.jml4.fspv.theory.ast.TheoryNode

toString

Methods inherited from class java.lang.Object

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

Field Detail

left

public final TheoryExpression left

expression

public final TheoryExpression expression

Constructor Detail

TheoryBinaryExpression

public TheoryBinaryExpression(ASTNode base,
                              Theory theory,
                              TheoryExpression left,
                              TheoryExpression expression)

Method Detail

traverse

public void traverse(TheoryVisitor visitor)

Specified by:

traverse in class TheoryNode

isOpAnd

public boolean isOpAnd()

isOpAndAnd

public boolean isOpAndAnd()

isOpPlus

public boolean isOpPlus()

isOpEqual

public boolean isOpEqual()

isOpNotEqual

public boolean isOpNotEqual()

isOpGreater

public boolean isOpGreater()

isOpGreaterEqual

public boolean isOpGreaterEqual()

isOpLess

public boolean isOpLess()

isOpLessEqual

public boolean isOpLessEqual()

getType

public java.lang.String getType()

Specified by:

getType in class TheoryExpression

isOpMultiply

public boolean isOpMultiply()

isOpMinus

public boolean isOpMinus()

isOpDivide

public boolean isOpDivide()