Uses of Class
org.jmlspecs.jml4.ast.JmlMethodDeclaration

Packages that use JmlMethodDeclaration

org.eclipse.jdt.internal.compiler
org.eclipse.jdt.internal.compiler.problem
org.jmlspecs.eclipse.jdt.internal.esc2
org.jmlspecs.jml4.fspv
org.jmlspecs.jml4.fspv.phases
org.jmlspecs.jml4.rac

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

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

void	ASTVisitor.endVisit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
boolean	ASTVisitor.visit(JmlMethodDeclaration methodDeclaration, ClassScope scope)

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

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

void	ProblemReporter.attemptBroadenReturnNullity(JmlMethodDeclaration methodDecl, TypeReference superType)

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

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

boolean

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

Uses of JmlMethodDeclaration in org.jmlspecs.jml4.fspv

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

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

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

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

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

Uses of JmlMethodDeclaration in org.jmlspecs.jml4.rac

Subclasses of JmlMethodDeclaration 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 with parameters of type JmlMethodDeclaration

void	JmlNullifier.endVisit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
void	JmlAstVisitor.endVisit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
static boolean	RacTranslator.hasVoidReturnType(JmlMethodDeclaration meth) Does the given method have void return type?
boolean	ResolutionNullifier.visit(JmlMethodDeclaration meth, ClassScope scope)
boolean	JmlNullifier.visit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
boolean	JmlAstVisitor.visit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlMethodDeclaration methodDeclaration, ClassScope scope)