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

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

public class SimplTrueLiteral
extends SimplBoolLiteral

Field Summary

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

FALSE, TRUE, TYPE

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

SimplTrueLiteral()

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SimplTrueLiteral

public SimplTrueLiteral()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object