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

Packages that use MethodDeclaration

org.eclipse.jdt.internal.codeassist
org.eclipse.jdt.internal.codeassist.complete
org.eclipse.jdt.internal.codeassist.impl
org.eclipse.jdt.internal.compiler
org.eclipse.jdt.internal.compiler.ast
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.compiler
org.jmlspecs.jml4.fspv
org.jmlspecs.jml4.fspv.phases
org.jmlspecs.jml4.rac

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

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

void	UnresolvedReferenceNameFinder.endVisit(MethodDeclaration methodDeclaration, ClassScope classScope)
boolean	UnresolvedReferenceNameFinder.visit(MethodDeclaration methodDeclaration, ClassScope classScope)

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

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

class	CompletionOnMethodName
class	CompletionOnMethodReturnType
class	CompletionOnMethodTypeParameter

Methods in org.eclipse.jdt.internal.codeassist.complete that return MethodDeclaration

MethodDeclaration	CompletionParser.convertToMethodDeclaration(ConstructorDeclaration c, CompilationResult compilationResult)
MethodDeclaration	CompletionParser.parseSomeStatements(int start, int end, int fakeBlocksCount, CompilationUnitDeclaration unit)

Uses of MethodDeclaration in org.eclipse.jdt.internal.codeassist.impl

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

void	AssistParser.parseBlockStatements(MethodDeclaration md, CompilationUnitDeclaration unit) Parse the block statements inside the given method declaration and try to complete at the cursor location.

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

Methods in org.eclipse.jdt.internal.compiler that return MethodDeclaration

MethodDeclaration

SourceElementParser.convertToMethodDeclaration(ConstructorDeclaration c, CompilationResult compilationResult)

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

void	ASTVisitor.endVisit(MethodDeclaration methodDeclaration, ClassScope scope)
void	ClassFile.generateMissingAbstractMethods(MethodDeclaration[] methodDeclarations, CompilationResult compilationResult) INTERNAL USE-ONLY Generate the byte for problem method infos that correspond to missing abstract methods.
boolean	ASTVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope)

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

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

class

AnnotationMethodDeclaration

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

MethodDeclaration[]

TypeDeclaration.missingAbstractMethods

Methods in org.eclipse.jdt.internal.compiler.ast that return MethodDeclaration

MethodDeclaration

TypeDeclaration.addMissingAbstractMethodFor(MethodBinding methodBinding)

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

Methods in org.eclipse.jdt.internal.compiler.parser that return MethodDeclaration

MethodDeclaration

Parser.convertToMethodDeclaration(ConstructorDeclaration c, CompilationResult compilationResult)

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

void	Parser.parse(MethodDeclaration md, CompilationUnitDeclaration unit)

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

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

void	ProblemReporter.incompatibleReturnTypeNullity(MethodDeclaration method, ReferenceBinding inheritedFrom)
void	ProblemReporter.invalidAnnotationMemberType(MethodDeclaration methodDecl)
void	ProblemReporter.methodNeedingNoBody(MethodDeclaration methodDecl)
void	ProblemReporter.methodWithConstructorName(MethodDeclaration methodDecl)
void	ProblemReporter.returnTypeCannotBeVoidArray(MethodDeclaration methodDecl)

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

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

int	PatternLocator.match(MethodDeclaration node, MatchingNodeSet nodeSet)
int	OrLocator.match(MethodDeclaration node, MatchingNodeSet nodeSet)
int	MethodLocator.match(MethodDeclaration node, MatchingNodeSet nodeSet)
int	AndLocator.match(MethodDeclaration node, MatchingNodeSet nodeSet)
boolean	SuperTypeNamesCollector.TypeDeclarationVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	MatchLocatorParser.NoClassNoMethodDeclarationVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	MatchLocatorParser.ClassButNoMethodDeclarationVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope)

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

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

boolean

CodeFormatterVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope)

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

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

boolean

PrintVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope) Deprecated.

Uses of MethodDeclaration in org.jmlspecs.jml4.ast

Subclasses of MethodDeclaration in org.jmlspecs.jml4.ast

class

JmlMethodDeclaration

Uses of MethodDeclaration in org.jmlspecs.jml4.compiler

Methods in org.jmlspecs.jml4.compiler with parameters of type MethodDeclaration

boolean

ReferenceCounterVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope)

Uses of MethodDeclaration in org.jmlspecs.jml4.fspv

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

void	TraceAstVisitor.endVisit(MethodDeclaration methodDeclaration, ClassScope scope)
void	TheoryTranslator.endVisit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	TraceAstVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	TheoryTranslator.visit(MethodDeclaration methodDeclaration, ClassScope scope)

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

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

void	TheoryTranslation.endVisit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	TheoryTranslation.visit(MethodDeclaration methodDeclaration, ClassScope scope)

Uses of MethodDeclaration in org.jmlspecs.jml4.rac

Subclasses of MethodDeclaration in org.jmlspecs.jml4.rac

class

RacMethodDeclaration A fake method declaration to store runtime assertion checking method in the source code format.

Methods in org.jmlspecs.jml4.rac that return MethodDeclaration

MethodDeclaration	WrapperMethodGenerator.generate(AbstractMethodDeclaration cmeth) Generates and returns a wrapper method for the given method.
MethodDeclaration	PreconditionMethod.generate(java.lang.StringBuffer stmt, java.util.Collection<RacOldExpression> preExprs, java.util.Set<ASTNode> terms, RacResult result) Generates and returns a precondition checking method.
MethodDeclaration	PostconditionMethod.generate(java.lang.StringBuffer stmt, java.util.Set<ASTNode> terms, RacResult result) Generate and return a postcondition checking method.
MethodDeclaration	ExceptionalPostconditionMethod.generate(java.lang.StringBuffer stmt, java.util.Set<ASTNode> terms, RacResult result) Returns an exceptional postcondition checking method.
MethodDeclaration	PreconditionTranslator.getPreconditionMethod(java.util.Collection<RacOldExpression> oldExprs, RacResult racResult) Returns a precondition check method that also executes the given old expressions (in the pre-state).
MethodDeclaration	PostconditionTranslator.translate(JmlMethodSpecification methSpec, AbstractMethodDeclaration meth, java.util.List<java.lang.String> preVars, VariableGenerator vgen, RacResult result) Translates the postcondition of the given method or constructor and returns a postcondition check method.
MethodDeclaration	ExceptionalPostconditionTranslator.translate(JmlMethodSpecification methSpec, AbstractMethodDeclaration meth, java.util.List<java.lang.String> preVars, VariableGenerator vgen, RacResult result) Translates the exceptional precondition of the given method or constructor and returns an exceptional postcondition check method.

Methods in org.jmlspecs.jml4.rac that return types with arguments of type MethodDeclaration

static java.util.List<MethodDeclaration>	RacTranslator.racMethodForName(TypeDeclaration type) Creates RAC runtime methods for the given types.
static java.util.List<MethodDeclaration>	RacTranslator.racMethodsForGhostOrModel(TypeDeclaration type) Returns a RAC runtime method for inheriting a ghost/model field.
static java.util.List<MethodDeclaration>	RacTranslator.racMethodsForSurrogate()
static java.util.List<MethodDeclaration>	RacTranslator.racRuntimeMethods(TypeDeclaration type) Creates RAC runtime methods for the given types.

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

void	JavaAstVisitor.endVisit(MethodDeclaration methodDeclaration, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(MethodDeclaration methodDeclaration, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(MethodDeclaration methodDeclaration, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	JavaAstVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope) Declaration of a method.
boolean	DefaultRacAstVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(MethodDeclaration methodDeclaration, ClassScope scope)