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

Packages that use SimplLiteral

org.jmlspecs.jml4.fspv.simpl.ast

Uses of SimplLiteral in org.jmlspecs.jml4.fspv.simpl.ast

Subclasses of SimplLiteral in org.jmlspecs.jml4.fspv.simpl.ast

class	SimplBoolLiteral
class	SimplFalseLiteral
class	SimplIntLiteral
class	SimplNatLiteral
class	SimplNullLiteral
class	SimplTrueLiteral

Fields in org.jmlspecs.jml4.fspv.simpl.ast declared as SimplLiteral

static SimplLiteral

SimplLiteral.NULL

Methods in org.jmlspecs.jml4.fspv.simpl.ast that return SimplLiteral

SimplLiteral	SimplVariable.getInitialValue()
SimplLiteral	SimplTypes.getInitialValue()
abstract SimplLiteral	SimplType.getInitialValue()
SimplLiteral	SimplRefType.getInitialValue()
SimplLiteral	SimplNatType.getInitialValue()
SimplLiteral	SimplMapType.getInitialValue()
SimplLiteral	SimplListType.getInitialValue()
SimplLiteral	SimplIntType.getInitialValue()
SimplLiteral	SimplBoolType.getInitialValue()