org.jmlspecs.jml4.fspv.simpl.ast
Class SimplExpression

java.lang.Object
  org.jmlspecs.jml4.fspv.simpl.ast.SimplTheoryNode
      org.jmlspecs.jml4.fspv.simpl.ast.SimplStatement
          org.jmlspecs.jml4.fspv.simpl.ast.SimplExpression

Direct Known Subclasses:

SimplBinaryExpression, SimplCallExpression, SimplDefinitionReference, SimplFieldReference, SimplForAllExpression, SimplInvariantExpression, SimplLiteral, SimplNewExpression, SimplVariableReference, SimplVariantExpression

public class SimplExpression
extends SimplStatement

Field Summary

static SimplExpression	RESULT
static SimplExpression	THIS
static SimplExpression	THIS_EQUAL_PRE_THIS
static SimplExpression	THIS_NOT_NULL

Fields inherited from class org.jmlspecs.jml4.fspv.simpl.ast.SimplStatement

SKIP

Constructor Summary

SimplExpression()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

THIS

public static final SimplExpression THIS

RESULT

public static final SimplExpression RESULT

THIS_NOT_NULL

public static final SimplExpression THIS_NOT_NULL

THIS_EQUAL_PRE_THIS

public static final SimplExpression THIS_EQUAL_PRE_THIS

Constructor Detail

SimplExpression

public SimplExpression()