Uses of Class
org.multijava.mjc.JConditionalAndExpression

Packages that use JConditionalAndExpression

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.jmlspecs.jmlrac.qexpr	Translates JML quantified expressions into Java source code to evaluate them at runtime.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JConditionalAndExpression in org.jmlspecs.checker

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

void	JmlAbstractVisitor.visitConditionalAndExpression(JConditionalAndExpression self) Visits the given boolean AND expression.
void	JmlVisitorNI.visitConditionalAndExpression(JConditionalAndExpression self) visits a boolean AND expression
void	JmlAccumSubclassingInfo.visitConditionalAndExpression(JConditionalAndExpression self)
void	JmlExpressionChecker.visitConditionalAndExpression(JConditionalAndExpression self) Checks visibility (and purity) of the given expression, self.

Uses of JConditionalAndExpression in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitConditionalAndExpression(JConditionalAndExpression self) visits a boolean AND expression

Uses of JConditionalAndExpression in org.jmlspecs.jmlrac

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

void	TransExpression.visitConditionalAndExpression(JConditionalAndExpression self) Translates a Java logical AND expression (&&).
void	TransExpression2.visitConditionalAndExpression(JConditionalAndExpression self) Translates a conditional "and" expression into left && right.

Uses of JConditionalAndExpression in org.jmlspecs.jmlrac.qexpr

Methods in org.jmlspecs.jmlrac.qexpr with parameters of type JConditionalAndExpression

void	AbstractExpressionVisitor.visitConditionalAndExpression(JConditionalAndExpression self) Visits the given conditional and expression, self.

Uses of JConditionalAndExpression in org.multijava.mjc

Fields in org.multijava.mjc declared as JConditionalAndExpression

private JConditionalAndExpression

JInstanceofExpression.universeDynCheck

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

abstract void	MjcVisitor.visitConditionalAndExpression(JConditionalAndExpression self) visits a boolean AND expression
void	MjcPrettyPrinter.visitConditionalAndExpression(JConditionalAndExpression self) visits a boolean AND expression