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

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
                  org.jmlspecs.jml4.fspv.simpl.ast.SimplNatLiteral

public class SimplNatLiteral
extends SimplLiteral

Field Summary

static SimplNatType	TYPE
int	value

Fields inherited from class org.jmlspecs.jml4.fspv.simpl.ast.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

SimplNatLiteral(int value)

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Field Detail

value

public final int value

TYPE

public static final SimplNatType TYPE

Constructor Detail

SimplNatLiteral

public SimplNatLiteral(int value)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object