Uses of Class
org.multijava.mjc.JCastExpression

Packages that use JCastExpression

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

Subclasses of JCastExpression in org.jmlspecs.checker

class

JmlCastExpression JmlCastExpression.java This class represents a cast expression such as /*@(non_null)* / o /*@(non_null T)* / o (/*@non_null* / T) o

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

void	JmlAbstractVisitor.visitCastExpression(JCastExpression self) Visits the given cast expression.
void	JmlVisitorNI.visitCastExpression(JCastExpression self) visits a cast expression
void	JmlAccumSubclassingInfo.visitCastExpression(JCastExpression self)
void	JmlOwnershipAdmissibilityVisitor.visitCastExpression(JCastExpression self) Visits the given cast expression, self.
void	JmlExpressionChecker.visitCastExpression(JCastExpression self) Checks visibility (and purity) of the given expression, self.

Uses of JCastExpression in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitCastExpression(JCastExpression self) visits a cast expression

Uses of JCastExpression in org.jmlspecs.jmlrac

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

void	RacPrettyPrinter.visitCastExpression(JCastExpression self) Prints a cast expression.
void	TransExpression.visitCastExpression(JCastExpression self) Translates a Java cast expression.
void	TransExpression2.visitCastExpression(JCastExpression self) Translates a cast expression.

Uses of JCastExpression in org.jmlspecs.jmlrac.qexpr

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

void	AbstractExpressionVisitor.visitCastExpression(JCastExpression self) Visits the given cast expression, self.

Uses of JCastExpression in org.multijava.mjc

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

abstract void	MjcVisitor.visitCastExpression(JCastExpression self) visits a cast expression
void	MjcPrettyPrinter.visitCastExpression(JCastExpression self) prints a cast expression