Uses of Class
org.multijava.mjc.JBooleanLiteral

Packages that use JBooleanLiteral

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 JBooleanLiteral in org.jmlspecs.checker

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

void	JmlAbstractVisitor.visitBooleanLiteral(JBooleanLiteral self) Visits the given boolean literal.
void	JmlVisitorNI.visitBooleanLiteral(JBooleanLiteral self) visits a boolean literal
void	JmlAccumSubclassingInfo.visitBooleanLiteral(JBooleanLiteral self)

Uses of JBooleanLiteral in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitBooleanLiteral(JBooleanLiteral self) visits a boolean literal

Uses of JBooleanLiteral in org.jmlspecs.jmlrac

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

void	TransExpression.visitBooleanLiteral(JBooleanLiteral self) Translates a boolean literal.
void	TransExpression2.visitBooleanLiteral(JBooleanLiteral self) Translates a boolean literal.

Uses of JBooleanLiteral in org.multijava.mjc

Methods in org.multijava.mjc that return JBooleanLiteral

JBooleanLiteral

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

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

abstract void	MjcVisitor.visitBooleanLiteral(JBooleanLiteral self) visits a boolean literal
void	MjcPrettyPrinter.visitBooleanLiteral(JBooleanLiteral self) prints a boolean literal