Uses of Class
org.multijava.mjc.JMethodCallExpression

Packages that use JMethodCallExpression

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

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

void	JmlAbstractVisitor.visitMethodCallExpression(JMethodCallExpression self) Visits the given method call expression.
void	JmlVisitorNI.visitMethodCallExpression(JMethodCallExpression self) visits a method call expression
void	JmlAccumSubclassingInfo.visitMethodCallExpression(JMethodCallExpression self)
void	JmlClassicalAdmissibilityVisitor.visitMethodCallExpression(JMethodCallExpression self) Visits the given method expression, self.
void	JmlOwnershipAdmissibilityVisitor.visitMethodCallExpression(JMethodCallExpression self) Visits the given method expression, self.
void	JmlExpressionChecker.visitMethodCallExpression(JMethodCallExpression self) Checks the given method call expression for visibility and purity violations.

Uses of JMethodCallExpression in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitMethodCallExpression(JMethodCallExpression self) visits a method call expression

Uses of JMethodCallExpression in org.jmlspecs.jmlrac

Subclasses of JMethodCallExpression in org.jmlspecs.jmlrac

(package private) class	TransInvariant.CallExpr
(package private) class	TransInvariant.CallExpr2

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

void	TransExpression.visitMethodCallExpression(JMethodCallExpression self) Translates a Java method call expression.
private void	TransExpression.translateToNonexecutableCall(JMethodCallExpression expr) Translates the given (model) method call into a non-executable method call.
private void	TransExpression.translateToStaticCall(JMethodCallExpression self, long kind) Translates the given method call expression into a static call.
private String	TransExpression.optLHS(JMethodCallExpression expr, String var) Returns the optional left-hand-side of assignment statement to store the result of evaluation method call expression.
private void	TransExpression.translateToDynamicCall(JMethodCallExpression expr, boolean isModel) Translates the given method call expression, expr, into a dynamic call expression.
private static boolean	TransExpression.isStatic(JMethodCallExpression expr) Returns true if the given method call expression refers to a static method.
private static boolean	TransExpression2.isStatic(JMethodCallExpression expr) Returns true if the given method call expression refers to a static method.
void	TransExpression2.visitMethodCallExpression(JMethodCallExpression self) Translates a Java method call expression.
private void	TransExpression2.translateToStaticCall(JMethodCallExpression self, long kind)
private void	TransExpression2.translateToDynamicCall(JMethodCallExpression expr, boolean isModel)

Uses of JMethodCallExpression in org.jmlspecs.jmlrac.qexpr

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

void	AbstractExpressionVisitor.visitMethodCallExpression(JMethodCallExpression self) Visits the given method expression, self.
private static QSet	QSet.calculate(JMethodCallExpression expr, String var) Returns the qset of a method call expression expr with respect to the quantified variable var.

Uses of JMethodCallExpression in org.multijava.mjc

Subclasses of JMethodCallExpression in org.multijava.mjc

class

JResendExpression This class represents a MultiJava resend expression, for invoking a directly overridden method of the caller's generic function.

Fields in org.multijava.mjc declared as JMethodCallExpression

private JMethodCallExpression	JMethodCallExpression.setContext
private JMethodCallExpression	JMethodCallExpression.resetContext
private JMethodCallExpression	JBlock.setContext
private JMethodCallExpression	JBlock.resetContext
private JMethodCallExpression	JConstructorBlock.universeTransformation
private JMethodCallExpression	JNewObjectExpression.setOwner
private JMethodCallExpression	JNewObjectExpression.setConstructorData
private JMethodCallExpression	JNewObjectExpression.setAnonymousOwner
private JMethodCallExpression	JNewArrayExpression.setOwner
private JMethodCallExpression	JNewArrayExpression.setAnonymousOwner

Methods in org.multijava.mjc that return JMethodCallExpression

private static JMethodCallExpression[]	JNewObjectExpression.buildNewObjectUniverseDynChecks(CExpressionContextType context, CClassType type, JExpression var) Creates the expressions for the dynamic universe typechecks.
private static JMethodCallExpression	JNewArrayExpression.buildNewArrayUniverseDynChecks(CExpressionContextType context, CArrayType type, JExpression var) Creates the method call for the dynamic universe typechecks.
static JMethodCallExpression	CUniverseRuntimeHelper.getCurrentContext()

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

abstract void	MjcVisitor.visitMethodCallExpression(JMethodCallExpression self) visits a method call expression
void	MjcPrettyPrinter.visitMethodCallExpression(JMethodCallExpression self) prints a method call expression