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

Packages that use AbstractMethodDeclaration

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.codegen
org.eclipse.jdt.internal.compiler.flow
org.eclipse.jdt.internal.compiler.lookup
org.eclipse.jdt.internal.compiler.parser
org.eclipse.jdt.internal.compiler.parser.diagnose
org.eclipse.jdt.internal.compiler.problem
org.eclipse.jdt.internal.core.util
org.jmlspecs.jml4.ast
org.jmlspecs.jml4.esc.gc
org.jmlspecs.jml4.lookup
org.jmlspecs.jml4.rac

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

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

void	UnresolvedReferenceNameFinder.find(char[] startWith, AbstractMethodDeclaration methodDeclaration, int from, char[][] discouragedNames, UnresolvedReferenceNameFinder.UnresolvedReferenceNameRequestor nameRequestor)

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

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

class	CompletionOnMethodName
class	CompletionOnMethodReturnType
class	CompletionOnMethodTypeParameter

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

int	CompletionParser.bodyEnd(AbstractMethodDeclaration method)

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

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

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

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

Fields in org.eclipse.jdt.internal.compiler declared as AbstractMethodDeclaration

AbstractMethodDeclaration

ISourceElementRequestor.MethodInfo.node

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

void	ClassFile.addAbstractMethod(AbstractMethodDeclaration method, MethodBinding methodBinding) INTERNAL USE-ONLY Generate the byte for a problem method info that correspond to a boggus method.
void	ClassFile.addProblemConstructor(AbstractMethodDeclaration method, MethodBinding methodBinding, CategorizedProblem[] problems) INTERNAL USE-ONLY Generate the byte for a problem method info that correspond to a boggus constructor.
void	ClassFile.addProblemConstructor(AbstractMethodDeclaration method, MethodBinding methodBinding, CategorizedProblem[] problems, int savedOffset) INTERNAL USE-ONLY Generate the byte for a problem method info that correspond to a boggus constructor.
void	ClassFile.addProblemMethod(AbstractMethodDeclaration method, MethodBinding methodBinding, CategorizedProblem[] problems) INTERNAL USE-ONLY Generate the byte for a problem method info that correspond to a boggus method.
void	ClassFile.addProblemMethod(AbstractMethodDeclaration method, MethodBinding methodBinding, CategorizedProblem[] problems, int savedOffset) INTERNAL USE-ONLY Generate the byte for a problem method info that correspond to a boggus method.
void	ClassFile.completeCodeAttributeForProblemMethod(AbstractMethodDeclaration method, MethodBinding binding, int codeAttributeOffset, int[] startLineIndexes, int problemLine) INTERNAL USE-ONLY That method completes the creation of the code attribute by setting - the attribute_length - max_stack - max_locals - code_length - exception table - and debug attributes if necessary.

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

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

class	AnnotationMethodDeclaration
class	Clinit
class	ConstructorDeclaration
class	MethodDeclaration

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

AbstractMethodDeclaration[]

TypeDeclaration.methods

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

AbstractMethodDeclaration

TypeDeclaration.declarationOf(MethodBinding methodBinding) Find the matching parse node, answers null if nothing found

Uses of AbstractMethodDeclaration in org.eclipse.jdt.internal.compiler.codegen

Fields in org.eclipse.jdt.internal.compiler.codegen declared as AbstractMethodDeclaration

AbstractMethodDeclaration

CodeStream.methodDeclaration

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

void	CodeStream.reset(AbstractMethodDeclaration referenceMethod, ClassFile targetClassFile)

Uses of AbstractMethodDeclaration in org.eclipse.jdt.internal.compiler.flow

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

void	ExceptionHandlingFlowContext.complainIfUnusedExceptionHandlers(AbstractMethodDeclaration method)

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

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

AbstractMethodDeclaration

MethodBinding.methodDeclaration

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

AbstractMethodDeclaration	MethodScope.referenceMethod() Answer the reference method of this scope, or null if initialization scoope.
AbstractMethodDeclaration	MethodBinding.sourceMethod()

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

MethodBinding(int modifiers, TypeBinding[] parameters, ReferenceBinding[] thrownExceptions, ReferenceBinding declaringClass, AbstractMethodDeclaration method)

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

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

AbstractMethodDeclaration

RecoveredMethod.methodDeclaration

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

AbstractMethodDeclaration

RecoveredMethod.updatedMethodDeclaration()

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

RecoveredElement	RecoveredUnit.add(AbstractMethodDeclaration methodDeclaration, int bracketBalanceValue)
RecoveredElement	RecoveredType.add(AbstractMethodDeclaration methodDeclaration, int bracketBalanceValue)
RecoveredElement	RecoveredElement.add(AbstractMethodDeclaration methodDeclaration, int bracketBalanceValue)
RecoveredElement	RecoveredBlock.add(AbstractMethodDeclaration methodDeclaration, int bracketBalanceValue)

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

RecoveredMethod(AbstractMethodDeclaration methodDeclaration, RecoveredElement parent, int bracketBalance, Parser parser)

Uses of AbstractMethodDeclaration in org.eclipse.jdt.internal.compiler.parser.diagnose

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

static boolean	RangeUtil.containsErrorInSignature(AbstractMethodDeclaration method)
static boolean	RangeUtil.containsIgnoredBody(AbstractMethodDeclaration method)

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

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

void	ProblemReporter.abstractMethodInAbstractClass(SourceTypeBinding type, AbstractMethodDeclaration methodDecl)
void	ProblemReporter.abstractMethodNeedingNoBody(AbstractMethodDeclaration method)
void	ProblemReporter.argumentTypeCannotBeVoid(SourceTypeBinding type, AbstractMethodDeclaration methodDecl, Argument arg)
void	ProblemReporter.bytecodeExceeds64KLimit(AbstractMethodDeclaration location)
void	ProblemReporter.duplicateEnumSpecialMethod(SourceTypeBinding type, AbstractMethodDeclaration methodDecl)
void	ProblemReporter.duplicateMethodInType(SourceTypeBinding type, AbstractMethodDeclaration methodDecl, boolean equalParameters)
void	ProblemReporter.duplicateModifierForMethod(ReferenceBinding type, AbstractMethodDeclaration methodDecl)
void	ProblemReporter.enumAbstractMethodMustBeImplemented(AbstractMethodDeclaration method)
void	ProblemReporter.enumConstantMustImplementAbstractMethod(AbstractMethodDeclaration method, FieldDeclaration field)
void	ProblemReporter.illegalAbstractModifierCombinationForMethod(ReferenceBinding type, AbstractMethodDeclaration methodDecl)
void	ProblemReporter.illegalModifierForAnnotationMember(AbstractMethodDeclaration methodDecl)
void	ProblemReporter.illegalModifierForEnumConstructor(AbstractMethodDeclaration constructor)
void	ProblemReporter.illegalModifierForInterfaceMethod(AbstractMethodDeclaration methodDecl)
void	ProblemReporter.illegalModifierForMethod(AbstractMethodDeclaration methodDecl)
void	ProblemReporter.illegalVararg(Argument argType, AbstractMethodDeclaration methodDecl)
void	ProblemReporter.illegalVisibilityModifierCombinationForMethod(ReferenceBinding type, AbstractMethodDeclaration methodDecl)
void	ProblemReporter.methodMustOverride(AbstractMethodDeclaration method)
void	ProblemReporter.methodNeedBody(AbstractMethodDeclaration methodDecl)
void	ProblemReporter.missingDeprecatedAnnotationForMethod(AbstractMethodDeclaration method)
void	ProblemReporter.missingOverrideAnnotation(AbstractMethodDeclaration method)
void	ProblemReporter.missingReturnType(AbstractMethodDeclaration methodDecl)
void	ProblemReporter.nativeMethodsCannotBeStrictfp(ReferenceBinding type, AbstractMethodDeclaration methodDecl)
void	ProblemReporter.unexpectedStaticModifierForMethod(ReferenceBinding type, AbstractMethodDeclaration methodDecl)
void	ProblemReporter.unusedDeclaredThrownException(ReferenceBinding exceptionType, AbstractMethodDeclaration method, ASTNode location)
void	ProblemReporter.unusedPrivateMethod(AbstractMethodDeclaration methodDecl)

Uses of AbstractMethodDeclaration in org.eclipse.jdt.internal.core.util

Methods in org.eclipse.jdt.internal.core.util that return AbstractMethodDeclaration

AbstractMethodDeclaration

ASTNodeFinder.findMethod(IMethod methodHandle)

Methods in org.eclipse.jdt.internal.core.util with parameters of type AbstractMethodDeclaration

static java.lang.String[]

Util.typeParameterSignatures(AbstractMethodDeclaration method)

Uses of AbstractMethodDeclaration in org.jmlspecs.jml4.ast

Subclasses of AbstractMethodDeclaration in org.jmlspecs.jml4.ast

class	JmlClinit
class	JmlConstructorDeclaration
class	JmlMethodDeclaration

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

void	JmlTypeDeclaration.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlRequiresClause.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlRepresentsClause.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlLoopVariant.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlLoopInvariant.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlInvariantForType.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlInitiallyClause.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlEnsuresClause.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlConstraintClause.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlClause.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlTypeDeclaration.generateCheckForInitiallys(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlMethodSpecification.generateCheckOfEnsures(BlockScope currentScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlSpecCaseRestAsClauseSeq.generateCheckOfPostcondition(BlockScope currentScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
abstract void	JmlSpecCaseRest.generateCheckOfPostcondition(BlockScope currentScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlSpecCaseBody.generateCheckOfPostcondition(BlockScope currentScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlSpecCaseBlock.generateCheckOfPostcondition(BlockScope currentScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlSpecCase.generateCheckOfPostcondition(BlockScope currentScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlSpecCaseHeader.generateCheckOfPrecondition(MethodScope methodScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlSpecCaseBody.generateCheckOfPrecondition(MethodScope methodScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlSpecCase.generateCheckOfPrecondition(MethodScope methodScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlMethodSpecification.generateCheckOfRequires(MethodScope methodScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)

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

Constructors in org.jmlspecs.jml4.esc.gc with parameters of type AbstractMethodDeclaration

Ast2SugaredVisitor(AbstractMethodDeclaration method)

Uses of AbstractMethodDeclaration in org.jmlspecs.jml4.lookup

Methods in org.jmlspecs.jml4.lookup that return AbstractMethodDeclaration

static AbstractMethodDeclaration

JmlBinaryLookup.getDeclaration(MethodBinding binding, BinaryTypeBinding binaryTypeBinding)

Methods in org.jmlspecs.jml4.lookup with parameters of type AbstractMethodDeclaration

static void	JmlSourceLookup.attachMethodDeclsToMethodBindings(AbstractMethodDeclaration[] methodDecls)
static void	JmlBinaryLookup.mergeMethods(ProblemReporter problemReporter, MethodBinding[] sourceMethods, AbstractMethodDeclaration[] specMethods)

Uses of AbstractMethodDeclaration in org.jmlspecs.jml4.rac

Subclasses of AbstractMethodDeclaration in org.jmlspecs.jml4.rac

class	RacConstructorDeclaration A fake constructor declaration to store runtime assertion checking constructor in the source code format.
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 AbstractMethodDeclaration

abstract AbstractMethodDeclaration	MethodHeaderTranslator.createWrapperMethod(AbstractMethodDeclaration meth) Creates a wrapper method for the given method.
abstract AbstractMethodDeclaration	AssertionMethod.generate(java.lang.StringBuffer code, java.util.Set<ASTNode> terms, RacResult racResult) Generates an assertion check method.

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

java.util.List<AbstractMethodDeclaration>	MethodSpecificationTranslator.newMethods() Returns a list of new method declaratons generated during the last translation that need to be added to the class or interface under translation.
java.util.List<AbstractMethodDeclaration>	MethodDeclarationTranslator.newMethods() Returns a list of new method declarations generated during the last translation that need to be added to the class or interface under translation.
java.util.List<AbstractMethodDeclaration>	ConstraintTranslator.newMethods() Returns a list of new method declarations generated during the last translation that need to be added to the class or interface under translation.
java.util.List<AbstractMethodDeclaration>	TypeAssertionTranslator.translate(TypeDeclaration type, RacResult racResult)
java.util.List<AbstractMethodDeclaration>	InvariantTranslator.translate(TypeDeclaration type, RacResult result) Translates the invariant clauses of the given type to RAC code and returns a list of invariant checking methods.
java.util.List<AbstractMethodDeclaration>	ConstraintTranslator.translate(TypeDeclaration type, RacResult result) Translates the constraint clauses of the given type to RAC code and returns a list of constraint checking methods.

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

static java.lang.StringBuffer	RacTranslator.argumentsToString(AbstractMethodDeclaration meth) Returns the arguments of the given method as a comma-separated list of names.
abstract RacMethodDeclaration	MethodHeaderTranslator.createInternalMethod(AbstractMethodDeclaration meth) Creates an internal method for the given method.
abstract AbstractMethodDeclaration	MethodHeaderTranslator.createWrapperMethod(AbstractMethodDeclaration meth) Creates a wrapper method for the given method.
MethodDeclaration	WrapperMethodGenerator.generate(AbstractMethodDeclaration cmeth) Generates and returns a wrapper method for the given method.
static char[]	RacTranslator.getDeclaringClassName(AbstractMethodDeclaration meth) Returns the name of the class that declaring the given method.
static JmlMethodSpecification	RacTranslator.getSpecification(AbstractMethodDeclaration meth) Returns the specification of the given method or constructor.
static java.lang.StringBuffer	WrapperMethodGenerator.headerToString(AbstractMethodDeclaration meth) Returns the string representation of the header of the given method.
boolean	WrapperMethodGenerator.isHelperMethod(AbstractMethodDeclaration cmeth)
static java.lang.StringBuffer	RacTranslator.parameterDeclarationToString(AbstractMethodDeclaration meth) Returns the formal parameter declaration of the given method as a string.
static java.lang.StringBuffer	RacTranslator.throwsClauseToString(AbstractMethodDeclaration meth) Returns the throws clause of the given method as a string.
RacResult	MethodSpecificationTranslator.translate(AbstractMethodDeclaration meth) Translates the given method to RAC code.
RacResult	MethodDeclarationTranslator.translate(AbstractMethodDeclaration meth) Translates the given method to RAC code.
java.lang.StringBuffer	InlineAssertionVisitor.translate(AbstractMethodDeclaration meth, RacResult result) Translates all in-line assertions contained in the body of the given method to RAC code in the AST visitor traversal order and return the translated RAC code.
java.lang.StringBuffer	InlineAssertionTranslator.translate(AbstractMethodDeclaration meth, RacResult result) Translates in-line assertions contained in the body of the given method to RAC code.
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.
void	PreconditionTranslator.translate(JmlMethodSpecification methSpec, AbstractMethodDeclaration meth, VariableGenerator vgen, RacResult result) Translates the precondition of the given method into RAC code.
java.lang.StringBuffer	InlineAssertionVisitor.translate(Statement stmt, AbstractMethodDeclaration meth, RacResult result) Translates the given (in-line assertion) statement in the context of the given method and returns the translated RAC code.
java.lang.StringBuffer	MethodBodyTranslator.translateInlineAssertions(AbstractMethodDeclaration sourceMethod, RacResult result) Translates all in-line assertions of sourceMethod to RAC code and attach them to targetMethod.

Constructors in org.jmlspecs.jml4.rac with parameters of type AbstractMethodDeclaration

ExceptionalPostconditionMethod(JmlTypeDeclaration typeDecl, AbstractMethodDeclaration mdecl, java.lang.String restoreMethod)
Creates a new postconidition method generator for the given method of the given type.

PostconditionMethod(JmlTypeDeclaration typeDecl, AbstractMethodDeclaration mdecl, java.lang.String restoreMethod)
Creates a new postconidition method generator for the given method of the given type.