Uses of Class
org.eclipse.jdt.internal.compiler.ast.LocalDeclaration

Packages that use LocalDeclaration

org.eclipse.jdt.internal.codeassist
org.eclipse.jdt.internal.codeassist.complete
org.eclipse.jdt.internal.codeassist.select
org.eclipse.jdt.internal.compiler
org.eclipse.jdt.internal.compiler.ast
org.eclipse.jdt.internal.compiler.lookup
org.eclipse.jdt.internal.compiler.parser
org.eclipse.jdt.internal.compiler.problem
org.eclipse.jdt.internal.core.search.matching
org.eclipse.jdt.internal.formatter
org.jmlspecs.eclipse.jdt.internal.esc2
org.jmlspecs.jml4.ast
org.jmlspecs.jml4.esc.gc
org.jmlspecs.jml4.fspv
org.jmlspecs.jml4.fspv.phases
org.jmlspecs.jml4.fspv.theory.ast
org.jmlspecs.jml4.rac

Uses of LocalDeclaration in org.eclipse.jdt.internal.codeassist

Methods in org.eclipse.jdt.internal.codeassist with parameters of type LocalDeclaration

void	UnresolvedReferenceNameFinder.endVisit(LocalDeclaration localDeclaration, BlockScope blockScope)

Uses of LocalDeclaration in org.eclipse.jdt.internal.codeassist.complete

Subclasses of LocalDeclaration in org.eclipse.jdt.internal.codeassist.complete

class	CompletionOnArgumentName
class	CompletionOnLocalName

Uses of LocalDeclaration in org.eclipse.jdt.internal.codeassist.select

Subclasses of LocalDeclaration in org.eclipse.jdt.internal.codeassist.select

class	SelectionOnArgumentName
class	SelectionOnLocalName

Uses of LocalDeclaration in org.eclipse.jdt.internal.compiler

Methods in org.eclipse.jdt.internal.compiler with parameters of type LocalDeclaration

void	ASTVisitor.endVisit(LocalDeclaration localDeclaration, BlockScope scope)
boolean	ASTVisitor.visit(LocalDeclaration localDeclaration, BlockScope scope)

Uses of LocalDeclaration in org.eclipse.jdt.internal.compiler.ast

Subclasses of LocalDeclaration in org.eclipse.jdt.internal.compiler.ast

class

Argument

Fields in org.eclipse.jdt.internal.compiler.ast declared as LocalDeclaration

LocalDeclaration

ForeachStatement.elementVariable

Constructors in org.eclipse.jdt.internal.compiler.ast with parameters of type LocalDeclaration

ForeachStatement(LocalDeclaration elementVariable, int start)

Uses of LocalDeclaration in org.eclipse.jdt.internal.compiler.lookup

Fields in org.eclipse.jdt.internal.compiler.lookup declared as LocalDeclaration

LocalDeclaration

LocalVariableBinding.declaration

Methods in org.eclipse.jdt.internal.compiler.lookup that return LocalDeclaration

LocalDeclaration[]

BlockScope.findLocalVariableDeclarations(int position) Returns all declarations of most specific locals containing a given position in their source range.

Constructors in org.eclipse.jdt.internal.compiler.lookup with parameters of type LocalDeclaration

LocalVariableBinding(LocalDeclaration declaration, TypeBinding type, int modifiers, boolean isArgument)

Uses of LocalDeclaration in org.eclipse.jdt.internal.compiler.parser

Fields in org.eclipse.jdt.internal.compiler.parser declared as LocalDeclaration

LocalDeclaration

RecoveredLocalVariable.localDeclaration

Methods in org.eclipse.jdt.internal.compiler.parser with parameters of type LocalDeclaration

RecoveredElement	RecoveredMethod.add(LocalDeclaration localDeclaration, int bracketBalanceValue)
RecoveredElement	RecoveredInitializer.add(LocalDeclaration localDeclaration, int bracketBalanceValue)
RecoveredElement	RecoveredElement.add(LocalDeclaration localDeclaration, int bracketBalanceValue)
RecoveredElement	RecoveredBlock.add(LocalDeclaration localDeclaration, int bracketBalanceValue)
RecoveredElement	RecoveredBlock.add(LocalDeclaration localDeclaration, int bracketBalanceValue, boolean delegatedByParent)

Constructors in org.eclipse.jdt.internal.compiler.parser with parameters of type LocalDeclaration

RecoveredLocalVariable(LocalDeclaration localDeclaration, RecoveredElement parent, int bracketBalance)

Uses of LocalDeclaration in org.eclipse.jdt.internal.compiler.problem

Methods in org.eclipse.jdt.internal.compiler.problem with parameters of type LocalDeclaration

void	ProblemReporter.duplicateModifierForVariable(LocalDeclaration localDecl, boolean complainForArgument)
void	ProblemReporter.illegalExpressionForSetMembership(Expression expression, LocalDeclaration declaration)
void	ProblemReporter.illegalModifierForVariable(LocalDeclaration localDecl, boolean complainAsArgument)
void	ProblemReporter.invalidUsageOfForeachStatements(LocalDeclaration elementVariable, Expression collection)
void	ProblemReporter.localVariableHiding(LocalDeclaration local, Binding hiddenVariable, boolean isSpecialArgHidingField)
void	ProblemReporter.redefineLocal(LocalDeclaration localDecl)
void	ProblemReporter.unusedArgument(LocalDeclaration localDecl)
void	ProblemReporter.unusedLocalVariable(LocalDeclaration localDecl)

Uses of LocalDeclaration in org.eclipse.jdt.internal.core.search.matching

Methods in org.eclipse.jdt.internal.core.search.matching with parameters of type LocalDeclaration

int	PatternLocator.match(LocalDeclaration node, MatchingNodeSet nodeSet)
int	OrLocator.match(LocalDeclaration node, MatchingNodeSet nodeSet)
int	LocalVariableLocator.match(LocalDeclaration node, MatchingNodeSet nodeSet)
int	AndLocator.match(LocalDeclaration node, MatchingNodeSet nodeSet)

Uses of LocalDeclaration in org.eclipse.jdt.internal.formatter

Methods in org.eclipse.jdt.internal.formatter with parameters of type LocalDeclaration

boolean

CodeFormatterVisitor.visit(LocalDeclaration localDeclaration, BlockScope scope)

Uses of LocalDeclaration in org.jmlspecs.eclipse.jdt.internal.esc2

Methods in org.jmlspecs.eclipse.jdt.internal.esc2 with parameters of type LocalDeclaration

boolean

PrintVisitor.visit(LocalDeclaration localDeclaration, BlockScope scope) Deprecated.

Uses of LocalDeclaration in org.jmlspecs.jml4.ast

Subclasses of LocalDeclaration in org.jmlspecs.jml4.ast

class

JmlLocalDeclaration

Fields in org.jmlspecs.jml4.ast declared as LocalDeclaration

LocalDeclaration	JmlSetComprehension.boundVariable The bound variable (as a local declaration).
LocalDeclaration[]	JmlQuantifiedExpression.boundVariables The bound variables (as LocalDeclarations).

Methods in org.jmlspecs.jml4.ast with parameters of type LocalDeclaration

abstract void	JmlQuantifier.generateCode(LocalDeclaration[] boundVariables, Expression range, Expression body, BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Generates code for this quantifier.
void	JmlNumericQuantifier.generateCode(LocalDeclaration[] boundVariables, Expression range, Expression body, BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Generates code for this quantifier; currently, this just puts the constant value 0 on the stack with an appropriate numeric type.
void	JmlBooleanQuantifier.generateCode(LocalDeclaration[] boundVariables, Expression range, Expression body, BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Generates code for this quantifier; currently, this just puts the constant value "true" on the stack.

Constructors in org.jmlspecs.jml4.ast with parameters of type LocalDeclaration

JmlForeachStatement(JmlLoopAnnotations annotations, LocalDeclaration elementVariable, int start)

JmlQuantifiedExpression(java.lang.String lexeme, Expression range, Expression body, LocalDeclaration[] boundVariables, int sourceStart)
Constructs a JmlQuantifiedExpression with the specified parameters.

JmlSetComprehension(LocalDeclaration boundVariable, Expression supersetPredicate, Expression predicate)
Constructs a JmlSetComprehension with the specified parameters.

Uses of LocalDeclaration in org.jmlspecs.jml4.esc.gc

Methods in org.jmlspecs.jml4.esc.gc with parameters of type LocalDeclaration

boolean

Ast2SugaredVisitor.visit(LocalDeclaration localDeclaration, BlockScope scope)

Uses of LocalDeclaration in org.jmlspecs.jml4.fspv

Methods in org.jmlspecs.jml4.fspv with parameters of type LocalDeclaration

void	TraceAstVisitor.endVisit(LocalDeclaration localDeclaration, BlockScope scope)
void	TheoryTranslator.endVisit(LocalDeclaration localDeclaration, BlockScope scope)
boolean	TraceAstVisitor.visit(LocalDeclaration localDeclaration, BlockScope scope)
boolean	TheoryTranslator.visit(LocalDeclaration localDeclaration, BlockScope scope)

Uses of LocalDeclaration in org.jmlspecs.jml4.fspv.phases

Methods in org.jmlspecs.jml4.fspv.phases with parameters of type LocalDeclaration

void	TheoryTranslation.endVisit(LocalDeclaration localDeclaration, BlockScope scope)
boolean	TheoryTranslation.visit(LocalDeclaration localDeclaration, BlockScope scope)

Uses of LocalDeclaration in org.jmlspecs.jml4.fspv.theory.ast

Constructors in org.jmlspecs.jml4.fspv.theory.ast with parameters of type LocalDeclaration

TheoryLocalDeclarationStatement(LocalDeclaration localDeclaration, Theory theory, TheoryExpression initialization)

Uses of LocalDeclaration in org.jmlspecs.jml4.rac

Methods in org.jmlspecs.jml4.rac with parameters of type LocalDeclaration

void	JavaAstVisitor.endVisit(LocalDeclaration localDeclaration, BlockScope scope)
void	InlineAssertionMerger.endVisit(LocalDeclaration localDeclaration, BlockScope scope) A visitor method to check whether a localDeclaration have ghost modifier, ghost.
void	DefaultRacAstVisitor.endVisit(LocalDeclaration localDeclaration, BlockScope scope)
void	AstDirtyBitsRetriever.endVisit(LocalDeclaration localDeclaration, BlockScope scope)
void	AstDirtyBitsRestorer.endVisit(LocalDeclaration localDeclaration, BlockScope scope)
boolean	JavaAstVisitor.visit(LocalDeclaration localDeclaration, BlockScope scope) Declaration within a method body.
boolean	DefaultRacAstVisitor.visit(LocalDeclaration localDeclaration, BlockScope scope)
boolean	AstDirtyBitsRetriever.visit(LocalDeclaration localDeclaration, BlockScope scope)
boolean	AstDirtyBitsRestorer.visit(LocalDeclaration localDeclaration, BlockScope scope)