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

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

All Implemented Interfaces:

OperatorIds, TheoryOperatorIds

Direct Known Subclasses:

TheoryPostfixExpression

public class TheoryCompoundAssignment
extends TheoryAssignment
implements TheoryOperatorIds

Field Summary

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

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

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

Method Summary

TheoryExpression	getExpression()
int	getOperator()
boolean	isOpDivide()
boolean	isOpMinus()
boolean	isOpMultiply()
boolean	isOpPlus()
void	traverse(TheoryVisitor visitor)

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

getType, isSubExpression

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

TheoryCompoundAssignment

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

Method Detail

getExpression

public TheoryExpression getExpression()

traverse

public void traverse(TheoryVisitor visitor)

Overrides:

traverse in class TheoryAssignment

getOperator

public int getOperator()

isOpPlus

public boolean isOpPlus()

isOpMinus

public boolean isOpMinus()

isOpMultiply

public boolean isOpMultiply()

isOpDivide

public boolean isOpDivide()