Uses of Interface
org.jmlspecs.jml4.ast.JmlAbstractMethodDeclaration

Packages that use JmlAbstractMethodDeclaration

org.jmlspecs.jml4.ast
org.jmlspecs.jml4.esc
org.jmlspecs.jml4.esc.gc
org.jmlspecs.jml4.rac

Uses of JmlAbstractMethodDeclaration in org.jmlspecs.jml4.ast

Classes in org.jmlspecs.jml4.ast that implement JmlAbstractMethodDeclaration

class	JmlConstructorDeclaration
class	JmlMethodDeclaration

Uses of JmlAbstractMethodDeclaration in org.jmlspecs.jml4.esc

Methods in org.jmlspecs.jml4.esc with parameters of type JmlAbstractMethodDeclaration

GcProgram

GcTranslator.translate(JmlAbstractMethodDeclaration method, JmlTypeDeclaration typeDecl, CompilationUnitScope scope)

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

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

SugaredMethodSpecification

Ast2SugaredVisitor.getSpec(JmlAbstractMethodDeclaration method)

Uses of JmlAbstractMethodDeclaration in org.jmlspecs.jml4.rac

Classes in org.jmlspecs.jml4.rac that implement JmlAbstractMethodDeclaration

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.