Uses of Interface
org.multijava.mjc.VariableDescriptor

Packages that use VariableDescriptor

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

Classes in org.jmlspecs.checker that implement VariableDescriptor

class	JmlFormalParameter This class represents a formal parameter in a JML AST.
class	JmlSourceField A class for representing an exported field of a class.
class	JmlVariableDefinition A wrapper of the class JVariableDefinition to store JML-specific information.

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

void	JmlContext.initializeField(VariableDescriptor varDesc) Marks the field with the given descriptor as definitely assigned to in this context.
void	JmlClassContext.initializeField(VariableDescriptor varDesc) Marks the field with the given descriptor as definitely assigned to in this context.
void	JmlFlowControlContext.initializeVariable(VariableDescriptor varDesc) Marks the variable with the given descriptor as definitely assigned to in this context.
void	JmlFlowControlContext.initializeField(VariableDescriptor varDesc) Marks the field with the given descriptor as definitely assigned to in this context.

Uses of VariableDescriptor in org.multijava.mjc

Classes in org.multijava.mjc that implement VariableDescriptor

(package private) class	CCORInitializer.CCORInitializer$1
(package private) class	CSourceClass.CSourceClass$1
(package private) class	CSourceDispatcherClass.CSourceDispatcherClass$2
class	CSourceField This class represents an exported member of a class (fields)
class	JFormalParameter This class represents a parameter declaration in the syntax tree
class	JGeneratedLocalVariable This class represents a compiler-generated local variable declaration.
class	JLocalVariable This class represents a local variable declaration in the AST.
(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 VariableDescriptor

private VariableDescriptor

CVariableState.variableDesc A descriptor for the field or variable (i.e., slot) tracked by this state.

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

abstract void	CContextType.initializeField(VariableDescriptor varDesc) Marks the field with the given descriptor as definitely assigned to in this context.
void	CContext.initializeField(VariableDescriptor varDesc) Marks the field with the given descriptor as definitely assigned to in this context.
void	CClassContext.initializeField(VariableDescriptor varDesc) Marks the field with the given descriptor as definitely assigned to in this context.
abstract void	CClassContextType.initializeField(VariableDescriptor varDesc) Marks the field with the given descriptor as definitely assigned to in this context.
abstract void	CFlowControlContextType.initializeVariable(VariableDescriptor varDesc) Marks the variable with the given descriptor as definitely assigned to in this context.
abstract void	CFlowControlContextType.initializeField(VariableDescriptor varDesc) Marks the field with the given descriptor as definitely assigned to in this context.
void	CVariableInfoTable.initialize(VariableDescriptor varDesc)
void	CVariableState.setDescriptor(VariableDescriptor varDesc) Sets the descriptor of the slot whose state is tracked by this.
void	CFlowControlContext.initializeVariable(VariableDescriptor varDesc) Marks the variable with the given descriptor as definitely assigned to in this context.
void	CFlowControlContext.initializeField(VariableDescriptor varDesc) Marks the field with the given descriptor as definitely assigned to in this context.