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

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

All Implemented Interfaces:

OperatorIds, TheoryOperatorIds

public class TheoryPostfixExpression
extends TheoryCompoundAssignment

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

TheoryPostfixExpression(ASTNode base, Theory theory, TheoryExpression left)

Method Summary

boolean	isOpMinusMinus()
boolean	isOpPlus()
void	traverse(TheoryVisitor visitor)

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

getExpression, getOperator, isOpDivide, isOpMinus, isOpMultiply

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

TheoryPostfixExpression

public TheoryPostfixExpression(ASTNode base,
                               Theory theory,
                               TheoryExpression left)

Method Detail

traverse

public void traverse(TheoryVisitor visitor)

Overrides:

traverse in class TheoryCompoundAssignment

isOpPlus

public boolean isOpPlus()

Overrides:

isOpPlus in class TheoryCompoundAssignment

isOpMinusMinus

public boolean isOpMinusMinus()