Uses of Class
org.multijava.mjc.JLocalVariable

Packages that use JLocalVariable

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JLocalVariable in org.jmlspecs.checker

Subclasses of JLocalVariable in org.jmlspecs.checker

class	JmlFormalParameter This class represents a formal parameter in a JML AST.
class	JmlVariableDefinition A wrapper of the class JVariableDefinition to store JML-specific information.

Methods in org.jmlspecs.checker that return JLocalVariable

JLocalVariable	JmlContext.lookupLocalVariable(String ident) searches for a local variable with the given identifier
JLocalVariable	JmlClassContext.lookupLocalVariable(String ident) lookupLocalVariable
JLocalVariable	JmlCompilationUnitContext.lookupLocalVariable(String ident) Finds the variable with the given identifier in this context.
JLocalVariable	JmlFlowControlContext.lookupLocalVariable(String ident) Returns the variable referred to by the given name in this context, recursing to surrounding contexts as appropriate.

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

boolean	JmlContext.declaredOutsideOfLoop(JLocalVariable var) Indicates whether this context is enclosed in a loop and the given variable is declared outside the inner-most loop context.
boolean	JmlContext.declares(JLocalVariable var) Returns true if the given local variable is declared exactly in this context, i.e., it is not declared in an outer context.
boolean	JmlFlowControlContext.isFreshVariableName(JLocalVariable var) Checks whether a local variable has a name that is fresh (i.e., no other local variable in scope has the same name).
void	JmlFlowControlContext.addVariable(JLocalVariable var) Adds a local variable to this block
boolean	JmlFlowControlContext.declaredOutsideOfLoop(JLocalVariable var) Indicates whether this context is enclosed in a loop and the given variable is declared outside the inner-most loop context.
boolean	JmlFlowControlContext.declares(JLocalVariable var) Returns true if the given local variable is declared exactly in this context, i.e., it is not declared in an outer context.

Uses of JLocalVariable in org.multijava.mjc

Subclasses of JLocalVariable in org.multijava.mjc

(package private) class	CCORInitializer.CCORInitializer$1
(package private) class	CSourceClass.CSourceClass$1
(package private) class	CSourceDispatcherClass.CSourceDispatcherClass$2
class	JFormalParameter This class represents a parameter declaration in the syntax tree
class	JGeneratedLocalVariable This class represents a compiler-generated local variable declaration.
(package private) class	JThisExpression.JThisExpression$1
class	JVariableDefinition This class represents a local variable definition in the syntax tree.

Fields in org.multijava.mjc declared as JLocalVariable

private JLocalVariable[]	JMethodCallExpression.argLocalVars an array of local variables used as temps for the args of the call.
private JLocalVariable	JMethodCallExpression.tmpLocalVar
(package private) JLocalVariable	JLocalVariableExpression.variable
private JLocalVariable	JTryFinallyStatement.localVar
private JLocalVariable	JTryFinallyStatement.finallyVar
private JLocalVariable	JTryFinallyStatement.returnVar
private JLocalVariable	JSynchronizedStatement.localVar
private JLocalVariable	JNewObjectExpression.tmpLocalVar
private JLocalVariable	JNewArrayExpression.tmpLocalVar
private JLocalVariable	JInstanceofExpression.tmpLocalVar
private JLocalVariable	JCastExpression.tmpLocalVar

Methods in org.multijava.mjc that return JLocalVariable

abstract JLocalVariable	CContextType.lookupLocalVariable(String ident) searches for a local variable with the given identifier
JLocalVariable	CContext.lookupLocalVariable(String ident) searches for a local variable with the given identifier
JLocalVariable	CClassContext.lookupLocalVariable(String ident) lookupLocalVariable
JLocalVariable	JLocalVariableExpression.variable()
JLocalVariable	CFlowControlContext.lookupLocalVariable(String ident) Returns the variable referred to by the given name in this context, recursing to surrounding contexts as appropriate.
JLocalVariable	CCompilationUnitContext.lookupLocalVariable(String ident) Finds the variable with the given identifier in this context.
JLocalVariable	CSwitchGroupContext.lookupLocalVariable(String ident) Returns the variable referred to by the given name in this context, recursing to surrounding contexts as appropriate.
static JLocalVariable	CUniverseRuntimeHelper.getTmpVariable(CExpressionContextType context, JExpression currentNode, CType type) Get a reference to a temporary variable to store expressions that are used more than once, but should not be evaluated more than once of course.

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

abstract boolean	CContextType.declaredOutsideOfLoop(JLocalVariable var) Indicates whether this context is enclosed in a loop and the given variable is declared outside the inner-most loop context.
abstract boolean	CContextType.declares(JLocalVariable var) Returns true if the given local variable is declared exactly in this context, i.e., it is not declared in an outer context.
JExpression	CSourceClass.getOuterLocalAccess(TokenReference ref, JLocalVariable var, CMethod constructor) Returns an expression that evaluates to the value of the outer local variable var.
private JLocalVariableExpression	CSourceClass.generatedLocalVarHelper(CMethod constructor, CSourceField field, JLocalVariable var, TokenReference ref)
void	CodeSequence.plantLocalVar(int opcode, JLocalVariable var) Adds a local var instruction to the code of the current method.
private void	CodeSequence.addLocalVarInfo(LocalVarInstruction insn, JLocalVariable var) Add a local variable name information
boolean	CContext.declaredOutsideOfLoop(JLocalVariable var) Indicates whether this context is enclosed in a loop and the given variable is declared outside the inner-most loop context.
boolean	CContext.declares(JLocalVariable var) Returns true if the given local variable is declared exactly in this context, i.e., it is not declared in an outer context.
abstract boolean	CFlowControlContextType.isFreshVariableName(JLocalVariable var) Checks whether a local variable has a name that is fresh (i.e., no other local variable in scope has the same name).
abstract void	CFlowControlContextType.addVariable(JLocalVariable var) Adds a local variable to this block
void	JReturnStatement.load(CodeSequence code, JLocalVariable var) Load the value from a local var (after finally)
void	JReturnStatement.store(CodeSequence code, JLocalVariable var) Load the value from a local var (after finally)
boolean	CFlowControlContext.isFreshVariableName(JLocalVariable var) Checks whether a local variable has a name that is fresh (i.e., no other local variable in scope has the same name).
void	CFlowControlContext.addVariable(JLocalVariable var) Adds a local variable to this block
boolean	CFlowControlContext.declaredOutsideOfLoop(JLocalVariable var) Indicates whether this context is enclosed in a loop and the given variable is declared outside the inner-most loop context.
boolean	CFlowControlContext.declares(JLocalVariable var) Returns true if the given local variable is declared exactly in this context, i.e., it is not declared in an outer context.
boolean	CLoopContext.declaredOutsideOfLoop(JLocalVariable var) Indicates whether this context is enclosed in a loop and the given variable is declared outside the inner-most loop context.
void	CSwitchGroupContext.addVariable(JLocalVariable var) Adds a local variable to this block
boolean	CSwitchGroupContext.declares(JLocalVariable var) Returns true if the given local variable is declared exactly in this context, i.e., it is not declared in an outer context.
static boolean	CTypeNullity.isAssignable(JLocalVariable left, JExpression right, CContextType context) Returns true if the nullity of left and right would allow the assignment left=right.

Constructors in org.multijava.mjc with parameters of type JLocalVariable

JLocalVariableExpression(TokenReference where, JLocalVariable variable)
Construct a node in the parsing tree

JOuterLocalVariableExpression(TokenReference where, JLocalVariable var, CClass outer)
Construct a node in the parsing tree.