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

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

Direct Known Subclasses:

SimplFalseLiteral, SimplTrueLiteral

public class SimplBoolLiteral
extends SimplLiteral

Field Summary

static SimplBoolLiteral	FALSE
static SimplBoolLiteral	TRUE
static SimplBoolType	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

SimplBoolLiteral()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

TYPE

public static final SimplBoolType TYPE

TRUE

public static final SimplBoolLiteral TRUE

FALSE

public static final SimplBoolLiteral FALSE

Constructor Detail

SimplBoolLiteral

public SimplBoolLiteral()