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

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

Direct Known Subclasses:

SimplBoolLiteral, SimplIntLiteral, SimplNatLiteral, SimplNullLiteral

public class SimplLiteral
extends SimplExpression

Field Summary

static SimplLiteral

NULL

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

RESULT, THIS, THIS_EQUAL_PRE_THIS, THIS_NOT_NULL

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

SKIP

Constructor Summary

SimplLiteral()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

NULL

public static final SimplLiteral NULL

Constructor Detail

SimplLiteral

public SimplLiteral()