Uses of Interface
org.multijava.javadoc.Annotatable

Packages that use Annotatable

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

Uses of Annotatable in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement Annotatable

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	JmlClassBlock This class represents a instance or static initializer block annotated with a JML method specification.
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.

Uses of Annotatable in org.jmlspecs.jmlrac

Classes in org.jmlspecs.jmlrac that implement Annotatable

static class

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

Uses of Annotatable in org.multijava.mjc

Subinterfaces of Annotatable 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	JMemberDeclarationType This type represents a java declaration 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 Annotatable

class	JClassBlock This class represents an initializer block in a type declaration.
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