Uses of Class
org.multijava.javadoc.JavadocComment

Packages that use JavadocComment

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.multijava.javadoc
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JavadocComment in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return JavadocComment

JavadocComment	JavadocJmlParser.docComment()
JavadocComment	JmlMemberDeclaration.javadocComment()
JavadocComment	JmlBinaryMember.javadocComment()
JavadocComment	JmlParserUtility.getJavadocComment(antlr.Token tok) Supplies an AST for the javadoc style comment preceding the given token.

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

static JmlClassDeclaration	JmlClassDeclaration.makeInstance(TokenReference where, long modifiers, String ident, CTypeVariable[] typevariables, CClassType superType, boolean isWeakSubtype, CClassType[] interfaces, boolean[] interfaceWeaklyFlags, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JmlInvariant[] invariants, JmlConstraint[] constraints, JmlRepresentsDecl[] representsDecls, JmlAxiom[] axioms, JmlVarAssertion[] varAssertions, JavadocComment javadoc, JavaStyleComment[] comment, boolean isRefinedType) Constructs a class declaration in the parsing tree.
static JmlMethodDeclaration	JmlMethodDeclaration.makeInstance(TokenReference where, long modifiers, CTypeVariable[] typevariables, CType returnType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments, JmlMethodSpecification methodSpecification)
static JmlConstructorDeclaration	JmlConstructorDeclaration.makeInstance(TokenReference where, long modifiers, String ident, JFormalParameter[] params, CClassType[] exceptions, JConstructorBlock body, JavadocComment javadoc, JavaStyleComment[] comments, JmlMethodSpecification methodSpecification)
static JmlFieldDeclaration	JmlFieldDeclaration.makeInstance(TokenReference where, JVariableDefinition var, JavadocComment javadoc, JavaStyleComment[] comment, JmlVarAssertion[] varAssertions, JmlDataGroupAccumulator dataGroups)
static JmlInterfaceDeclaration	JmlInterfaceDeclaration.makeInstance(TokenReference where, long modifiers, String ident, CTypeVariable[] typevariables, CClassType[] interfaces, boolean[] interfaceWeaklyFlags, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JmlInvariant[] invariants, JmlConstraint[] constraints, JmlRepresentsDecl[] representsDecls, JmlAxiom[] axioms, JmlVarAssertion[] varAssertions, JavadocComment javadoc, JavaStyleComment[] comment, boolean isRefinedType) Constructs an interface declaration in the parsing tree.

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

JClassDeclarationWrapper(TokenReference where, long modifiers, String ident, CClassType superType, CClassType[] interfaces, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JavadocComment javadoc, JavaStyleComment[] comments)
Constructs a class declaration in the parsing tree.

JClassDeclarationWrapper(TokenReference where, long modifiers, String ident, CTypeVariable[] typevariables, CClassType superType, CClassType[] interfaces, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JavadocComment javadoc, JavaStyleComment[] comments, boolean isRefinedType)
Constructs a class declaration in the parsing tree.

JConstructorDeclarationWrapper(TokenReference where, long modifiers, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JConstructorBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser

JFieldDeclarationWrapper(TokenReference where, JVariableDefinition variable, JavadocComment javadoc, JavaStyleComment[] comments)
Constructs a node in the parsing tree.

JInterfaceDeclarationWrapper(TokenReference where, long modifiers, String ident, CTypeVariable[] typevariables, CClassType[] interfaces, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JavadocComment javadoc, JavaStyleComment[] comments, boolean isRefinedType)
Constructs an interface declaration in the parsing tree.

JMethodDeclarationWrapper(TokenReference where, long modifiers, CTypeVariable[] typevariables, CType returnType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser

JmlClassBlock(TokenReference where, boolean isStatic, JavadocComment javadoc, JmlMethodSpecification methodSpecification)
Constructs an initializer specification AST node.

JmlClassBlock(TokenReference where, boolean isStatic, JStatement[] body, JavadocComment javadoc, JmlMethodSpecification methodSpecification)
Constructs an initializer AST node annotated with a method specification.

Uses of JavadocComment in org.multijava.javadoc

Fields in org.multijava.javadoc declared as JavadocComment

private JavadocComment	TestJavadocComment.comment1
private JavadocComment	TestJavadocComment.comment2

Methods in org.multijava.javadoc that return JavadocComment

abstract JavadocComment	Annotatable.javadocComment()
JavadocComment	JavadocComment.add(JavadocComment more)

Methods in org.multijava.javadoc with parameters of type JavadocComment

JavadocComment

JavadocComment.add(JavadocComment more)

Uses of JavadocComment in org.multijava.mjc

Fields in org.multijava.mjc declared as JavadocComment

private JavadocComment	JMemberDeclaration.javadoc An AST of the javadoc documentation comments associated with this member declaration.
private JavadocComment	JClassBlock.javadoc

Methods in org.multijava.mjc that return JavadocComment

JavadocComment	JMemberDeclaration.javadocComment() Returns an AST of the javadoc documentation comments associated with this member declaration.
JavadocComment	JClassBlock.javadocComment()
JavadocComment	ParserUtility.getJavadocComment(ParsingController.TokenWrapper declStart) Supplies an AST for the javadoc style comment preceding the given token.
JavadocComment	ParserUtility.getJavadocComment(antlr.Token tok) Supplies an AST for the javadoc style comment preceding the given token.
JavadocComment	JavadocParser.docComment()

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

protected void

MjcPrettyPrinter.visitJavadoc(JavadocComment comment) prints a javadoc comment

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

JMemberDeclaration(TokenReference where, JavadocComment javadoc, JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser

JMethodDeclaration(TokenReference where, long modifiers, CTypeVariable[] typevariables, CType returnType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser

JTypeDeclaration(TokenReference where, long modifiers, String ident, CTypeVariable[] typevariables, CClassType[] interfaces, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JavadocComment javadoc, JavaStyleComment[] comments)
Constructs a type declaration in the parsing tree.

JClassDeclaration(TokenReference where, long modifiers, String ident, CTypeVariable[] typevariables, CClassType superType, CClassType[] interfaces, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JavadocComment javadoc, JavaStyleComment[] comment)
Constructs a class declaration in the parsing tree.

JConstructorDeclaration(TokenReference where, long modifiers, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JConstructorBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser

JFieldDeclaration(TokenReference where, JVariableDefinition variable, JavadocComment javadoc, JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser

JInterfaceDeclaration(TokenReference where, long modifiers, String ident, CTypeVariable[] typevariables, CClassType[] interfaces, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JavadocComment javadoc, JavaStyleComment[] comments)
Constructs an interface declaration in the parsing tree.

JClassBlock(TokenReference where, boolean isStatic, JStatement[] body, JavadocComment javadoc)
Construct a node in the parsing tree

MJTopLevelMethodDeclaration(TokenReference where, long modifiers, CTypeVariable[] typevariables, CType returnType, CType openClassType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
This class represents a MultiJava external method in the syntax tree Construct a node in the parsing tree This method is directly called by the parser

MJTopLevelAbstractMethodDeclaration(TokenReference where, long modifiers, CType returnType, CType openClassType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
This class represents an abstract MultiJava external method in the syntax tree.