Uses of Class
org.multijava.mjc.JOrdinalLiteral

Packages that use JOrdinalLiteral

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc.jmldoc_142
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JOrdinalLiteral in org.jmlspecs.checker

Subclasses of JOrdinalLiteral in org.jmlspecs.checker

class

JmlOrdinalLiteral This class represents jml specific ordinal literals (bigint)

Methods in org.jmlspecs.checker with parameters of type JOrdinalLiteral

void	JmlAbstractVisitor.visitOrdinalLiteral(JOrdinalLiteral self) Visits the given ordinal literal.
void	JmlVisitorNI.visitOrdinalLiteral(JOrdinalLiteral self) prints an ordinal literal
void	JmlAccumSubclassingInfo.visitOrdinalLiteral(JOrdinalLiteral self)

Uses of JOrdinalLiteral in org.jmlspecs.jmldoc.jmldoc_142

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type JOrdinalLiteral

void	SpecWriter.visitOrdinalLiteral(JOrdinalLiteral self) prints an ordinal literal

Uses of JOrdinalLiteral in org.jmlspecs.jmlrac

Methods in org.jmlspecs.jmlrac with parameters of type JOrdinalLiteral

void	RacPrettyPrinter.visitOrdinalLiteral(JOrdinalLiteral self) Prints an ordinal literal.
void	TransExpression.visitOrdinalLiteral(JOrdinalLiteral self) Translates an ordinal literal.
void	TransExpression2.visitOrdinalLiteral(JOrdinalLiteral self) Translates an ordinal literal.

Uses of JOrdinalLiteral in org.multijava.mjc

Subclasses of JOrdinalLiteral in org.multijava.mjc

class

JCharLiteral A simple character constant

Methods in org.multijava.mjc that return JOrdinalLiteral

JOrdinalLiteral

JExpression.getOrdinalLiteral() Returns a typed literal for this expression The expression must be a constant

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

abstract void	MjcVisitor.visitOrdinalLiteral(JOrdinalLiteral self) prints an ordinal literal
void	CSwitchBodyContext.addLabel(JOrdinalLiteral lit) Adds a label to this switch and checks that it is a new one.
void	MjcPrettyPrinter.visitOrdinalLiteral(JOrdinalLiteral self) prints an ordinal literal
void	CSwitchGroupContext.addLabel(JOrdinalLiteral lit) Add a label to this switch and check that it is a new one.