Uses of Class
org.multijava.mjc.JMemberDeclaration

Packages that use JMemberDeclaration

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 JMemberDeclaration in org.jmlspecs.checker

Subclasses of JMemberDeclaration in org.jmlspecs.checker

class	JClassDeclarationWrapper A wrapper class to JClassDeclaration to implement JML-specific typechecking.
class	JConstructorDeclarationWrapper A class representing a constructor declaration in the syntax tree.
class	JFieldDeclarationWrapper A class representing a field declaration in the syntax tree.
class	JInterfaceDeclarationWrapper This class represents a java interface 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 JMemberDeclaration

private JMemberDeclaration

JmlMemberDeclaration.delegee

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

void	JmlMemberAccess.checkAccessModifiers(CContextType context, JMemberDeclaration member) Check illegal combinations of modifiers common to classes, interfaces, fields, and methods.

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

JmlMemberDeclaration(TokenReference where, JMemberDeclaration delegee)

Uses of JMemberDeclaration in org.jmlspecs.jmlspec

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

void	JspPrettyPrinter.printDeprecatedIfAppropriate(JMemberDeclaration self)

Uses of JMemberDeclaration in org.multijava.mjc

Subclasses of JMemberDeclaration in org.multijava.mjc

class	JClassDeclaration This class represents a java class in the syntax tree
class	JConstructorDeclaration This class represents a constructor in the AST
class	JFieldDeclaration This class represents a field declaration in the syntax tree.
class	JInitializerDeclaration This class represents an initializer (either static or instance) in the AST.
class	JInterfaceDeclaration This class represents a java interface in the syntax tree
class	JMethodDeclaration This class represents a java method in the syntax tree.
(package private) class	JMethodDeclaration.JMethodDeclaration$1
class	JTypeDeclaration This class represents a java class or interface in the syntax tree
class	MJGenericFunctionDecl This class represents a group of method declarations, all sharing the same name, that together form the top of one or more overloaded external generic function lattices.
class	MJTopLevelAbstractMethodDeclaration
class	MJTopLevelMethodDeclaration

Methods in org.multijava.mjc that return JMemberDeclaration

JMemberDeclaration	CSourceMethod.declarationASTNode() Returns the AST node for the declaration corresponding to this signature.
abstract JMemberDeclaration	SigSourceMember.declarationASTNode() Returns the AST node for the declaration corresponding to this signature.

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

void	MemberAccess.checkAccessModifiers(CContextType context, JMemberDeclaration member) Check illegal combinations of modifiers common to classes, interfaces, fields, and methods.