Uses of Class
org.multijava.mjc.JMethodDeclaration

Packages that use JMethodDeclaration

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmlspec	A tool that can generate or compare specification skeletons from Java source or class files.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JMethodDeclaration in org.jmlspecs.checker

Subclasses of JMethodDeclaration in org.jmlspecs.checker

class	JConstructorDeclarationWrapper A class representing a constructor declaration in the syntax tree.
class	JMethodDeclarationWrapper A class representing a method declaration in the syntax tree.
(package private) static class	JmlNode.DummyInitializerDeclaration A class for dummy initializer declarations.

Fields in org.jmlspecs.checker declared as JMethodDeclaration

private JMethodDeclaration

JmlMethodDeclaration.delegee

Methods in org.jmlspecs.checker with parameters of type JMethodDeclaration

void	JmlAbstractVisitor.visitMethodDeclaration(JMethodDeclaration self) Visits the given method declaration.
void	JmlVisitorNI.visitMethodDeclaration(JMethodDeclaration self) visits a method declaration
void	JmlAccumSubclassingInfo.visitMethodDeclaration(JMethodDeclaration self)
void	JmlMemberAccess.checkMethodModifiers(CContextType context, JMethodDeclaration member) Check for illegal combinations of modifiers specific to method declarations.
long	JmlMemberAccess.checkInterfaceMethodModifiers(CContextType context, JMethodDeclaration member) Check for illegal combinations of modifiers disallowed in interface method declarations.
static void	NonNullStatistics.handleMethodDeclaration(JmlMethodDeclaration jmd, JMethodDeclaration delegee, String fileName, JmlContext context)

Constructors in org.jmlspecs.checker with parameters of type JMethodDeclaration

JmlMethodDeclaration(TokenReference where, JmlMethodSpecification methodSpecification, JMethodDeclaration delegee)

JmlSourceMethod(MemberAccess access, String ident, CType returnType, CSpecializedType[] paramTypes, CClassType[] exceptions, CTypeVariable[] typevariables, boolean deprecated, JBlock body, CContextType declarationContext, JMethodDeclaration declarationASTNode)

Uses of JMethodDeclaration in org.jmlspecs.jmlspec

Methods in org.jmlspecs.jmlspec with parameters of type JMethodDeclaration

void	JspPrettyPrinter.visitMethodDeclaration(JMethodDeclaration self) Adds an empty specification comment and does not print the body.

Uses of JMethodDeclaration in org.multijava.mjc

Subclasses of JMethodDeclaration in org.multijava.mjc

class	JConstructorDeclaration This class represents a constructor in the AST
class	JInitializerDeclaration This class represents an initializer (either static or instance) in the AST.
(package private) class	JMethodDeclaration.JMethodDeclaration$1
class	MJTopLevelAbstractMethodDeclaration
class	MJTopLevelMethodDeclaration

Fields in org.multijava.mjc declared as JMethodDeclaration

private JMethodDeclaration

CSourceMethod.declarationASTNode The AST node corresponding to the declaration of this, may be null.

Methods in org.multijava.mjc with parameters of type JMethodDeclaration

abstract void	MjcVisitor.visitMethodDeclaration(JMethodDeclaration self) visits a method declaration
void	MemberAccess.checkMethodModifiers(CContextType context, JMethodDeclaration member) Check for illegal combinations of modifiers disallowed in method declarations.
void	MemberAccess.checkExternalMethodModifiers(CContextType context, JMethodDeclaration member) Check for illegal combinations of modifiers disallowed in external method declarations.
long	MemberAccess.checkInterfaceMethodModifiers(CContextType context, JMethodDeclaration member) Check for illegal combinations of modifiers disallowed in interface method declarations.
void	MjcPrettyPrinter.visitMethodDeclaration(JMethodDeclaration self) prints a method declaration
static boolean	CTypeNullity.isAssignable(JMethodDeclaration left, JExpression right, CContextType context)

Constructors in org.multijava.mjc with parameters of type JMethodDeclaration

CSourceMethod(MemberAccess access, String ident, CType returnType, CSpecializedType[] paramTypes, CClassType[] exceptions, CTypeVariable[] typevariables, boolean deprecated, JBlock body, CContextType declarationContext, JMethodDeclaration declarationASTNode)
Constructs a representation of the method as read from the source file including the type signature and the method body