Uses of Class
org.multijava.mjc.JNewObjectExpression

Packages that use JNewObjectExpression

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

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

void	JmlAbstractVisitor.visitNewObjectExpression(JNewObjectExpression self) Visits the given object allocator expression.
void	JmlVisitorNI.visitNewObjectExpression(JNewObjectExpression self) visits an object allocator expression
void	JmlAccumSubclassingInfo.visitNewObjectExpression(JNewObjectExpression self)
void	JmlClassicalAdmissibilityVisitor.visitNewObjectExpression(JNewObjectExpression self) Visits the given new object expression, self.
void	JmlOwnershipAdmissibilityVisitor.visitNewObjectExpression(JNewObjectExpression self) Visits the given new object expression, self.
void	JmlExpressionChecker.visitNewObjectExpression(JNewObjectExpression self) Checks visibility (and purity) of the given expression, self.

Uses of JNewObjectExpression in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitNewObjectExpression(JNewObjectExpression self) visits an object allocator expression

Uses of JNewObjectExpression in org.jmlspecs.jmlrac

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

void	RacPrettyPrinter.visitNewObjectExpression(JNewObjectExpression self) Prints an object allocator expression.
void	TransExpression.visitNewObjectExpression(JNewObjectExpression self) Translates a Java object allocator expression.
private void	TransExpression.translateToStaticNewObjectExpression(JNewObjectExpression self, boolean isSpecPublic) Translates the given new object expression into a static call.
private void	TransExpression.translateToDynamicNewObjectExpression(JNewObjectExpression expr, boolean isSpecPublic) Translates the given model, spec_public, or spec_protected constructor call expression, expr, which was determined to be executed using a dynamic call.
void	TransExpression2.visitNewObjectExpression(JNewObjectExpression self) Translates a Java new object expression.
private void	TransExpression2.translateToStaticNewObjectExpression(JNewObjectExpression self, boolean isSpecPublic) Translates the given new object expression into a static call.
private void	TransExpression2.translateToDynamicNewObjectExpression(JNewObjectExpression expr, boolean isSpecPublic) Translates the given model, spec_public, or spec_protected constructor call expression, expr, which was determined to be executed using a dynamic call.

Uses of JNewObjectExpression in org.jmlspecs.jmlrac.qexpr

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

void	AbstractExpressionVisitor.visitNewObjectExpression(JNewObjectExpression self) Visits the given new object expression, self.

Uses of JNewObjectExpression in org.multijava.mjc

Subclasses of JNewObjectExpression in org.multijava.mjc

class

JNewAnonymousClassExpression This class represents a new anonymous class allocation expression.

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

abstract void	MjcVisitor.visitNewObjectExpression(JNewObjectExpression self) visits an object allocator expression
void	MjcPrettyPrinter.visitNewObjectExpression(JNewObjectExpression self) prints an object allocator expression