Uses of Class
org.multijava.mjc.JLiteral

Packages that use JLiteral

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JLiteral in org.jmlspecs.checker

Subclasses of JLiteral in org.jmlspecs.checker

class

JmlOrdinalLiteral This class represents jml specific ordinal literals (bigint)

Methods in org.jmlspecs.checker that return JLiteral

JLiteral

JmlInformalExpression.getLiteral()

Uses of JLiteral in org.multijava.mjc

Subclasses of JLiteral in org.multijava.mjc

class	JBooleanLiteral Root class for all expressions
class	JCharLiteral A simple character constant
class	JNullLiteral A simple character constant
class	JNumberLiteral Root class for all number literals
class	JOrdinalLiteral This class represents literals of primitive integral types (byte, short, int, long).
class	JRealLiteral This class represents real-valued literals (float, double)
class	JStringLiteral A simple character constant

Methods in org.multijava.mjc that return JLiteral

JLiteral	JExpression.getLiteral() Returns the literal value of this expression
JLiteral	JLocalVariableExpression.getLiteral() Returns the literal value of this field
JLiteral	JClassFieldExpression.getLiteral() Returns the literal value of this field.
static JLiteral	JLiteral.createLiteral(CType type, Object value) Create a literal from a type and a value
JLiteral	JLiteral.getLiteral() Returns the literal value of an expression

Methods in org.multijava.mjc with parameters of type JLiteral

JExpression

JEqualityExpression.constantFolding(JLiteral left, JLiteral right) Calculates the boolean literal that is the result of comparing the two given literals for equality (or inequality, depending on oper)