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

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
                  org.jmlspecs.jml4.fspv.theory.ast.TheoryEqualExpression

All Implemented Interfaces:

OperatorIds, TheoryOperatorIds

public class TheoryEqualExpression
extends TheoryBinaryExpression

Field Summary

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

expression, 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

TheoryEqualExpression(ASTNode base, Theory theory, TheoryExpression left, TheoryExpression right)

Method Summary

boolean	isOpEqual()
boolean	isOpGreater()
boolean	isOpGreaterEqual()
boolean	isOpLess()
boolean	isOpLessEqual()
boolean	isOpNotEqual()
void	traverse(TheoryVisitor visitor)

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

getType, isOpAnd, isOpAndAnd, isOpDivide, isOpMinus, isOpMultiply, isOpPlus

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

Constructor Detail

TheoryEqualExpression

public TheoryEqualExpression(ASTNode base,
                             Theory theory,
                             TheoryExpression left,
                             TheoryExpression right)

Method Detail

traverse

public void traverse(TheoryVisitor visitor)

Overrides:

traverse in class TheoryBinaryExpression

isOpEqual

public boolean isOpEqual()

Overrides:

isOpEqual in class TheoryBinaryExpression

isOpNotEqual

public boolean isOpNotEqual()

Overrides:

isOpNotEqual in class TheoryBinaryExpression

isOpGreater

public boolean isOpGreater()

Overrides:

isOpGreater in class TheoryBinaryExpression

isOpGreaterEqual

public boolean isOpGreaterEqual()

Overrides:

isOpGreaterEqual in class TheoryBinaryExpression

isOpLess

public boolean isOpLess()

Overrides:

isOpLess in class TheoryBinaryExpression

isOpLessEqual

public boolean isOpLessEqual()

Overrides:

isOpLessEqual in class TheoryBinaryExpression