Uses of Interface
org.multijava.mjc.JMemberDeclarationType

Packages that use JMemberDeclarationType

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc.jmldoc_142
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JMemberDeclarationType in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement JMemberDeclarationType

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.
class	JmlBinaryField This class represents a class read from a *.class file.
class	JmlBinaryMember This type represents a java declaration in the syntax tree.
class	JmlBinaryMethod This class represents a method read from a *.class file.
class	JmlBinaryType This class represents a class read from a *.class file.
class	JmlClassDeclaration This type represents a java class declaration in the syntax tree.
class	JmlConstructorDeclaration JmlConstructorDeclaration.java
class	JmlFieldDeclaration JmlFieldDeclaration.java
class	JmlInterfaceDeclaration This class represents a java interface in the syntax tree
class	JmlMemberDeclaration This type represents a java declaration in the syntax tree.
class	JmlMethodDeclaration JmlMethodDeclaration.java
(package private) static class	JmlNode.DummyInitializerDeclaration A class for dummy initializer declarations.
class	JmlTypeDeclaration This type represents a java class or interface in the syntax tree.

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

void	JmlTypeDeclaration.addMember(JMemberDeclarationType newMember) Adds the given member to this type's interface and modifies sourceClass to include the new member

Uses of JMemberDeclarationType in org.jmlspecs.jmldoc.jmldoc_142

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type JMemberDeclarationType

boolean

JmldocClassWriter.JmlMemberFilter.use(JMemberDeclarationType f)

Uses of JMemberDeclarationType in org.jmlspecs.jmlrac

Classes in org.jmlspecs.jmlrac that implement JMemberDeclarationType

static class

RacParser.RacMethodDeclaration A RAC node class for representing method declarations.

Uses of JMemberDeclarationType in org.multijava.mjc

Subinterfaces of JMemberDeclarationType in org.multijava.mjc

interface	JClassDeclarationType This type represents a java class declaration in the syntax tree.
interface	JConstructorDeclarationType This type represents a constructor in the AST.
interface	JFieldDeclarationType This type represents a field declaration in the syntax tree.
interface	JInterfaceDeclarationType This type represents a java interface in the syntax tree.
interface	JMethodDeclarationType This type represents a java method in the syntax tree.
interface	JTypeDeclarationType This type represents a java class or interface in the syntax tree

Classes in org.multijava.mjc that implement JMemberDeclarationType

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	JMemberDeclaration This class represents a java declaration 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 with parameters of type JMemberDeclarationType

abstract void	JTypeDeclarationType.addMember(JMemberDeclarationType newMember) Adds the given member to this type's interface and modifies sourceClass to include the new member
void	JTypeDeclaration.addMember(JMemberDeclarationType newMember) Adds the given member to this type's interface and modifies sourceClass to include the new member