Uses of Class
org.multijava.util.compiler.JavaStyleComment

Packages that use JavaStyleComment

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.multijava.mjc	Implements mjc, a MultiJava compiler.
org.multijava.util.compiler	Provides utilities and superclasses for the compilers in MultiJava and the Java Modeling Language.

Uses of JavaStyleComment in org.jmlspecs.checker

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

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 JavaStyleComment

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

JStatementWrapper(TokenReference where, JavaStyleComment[] comments)
Construct a node in the parsing tree

JmlAssertOrAssumeStatement(TokenReference where, boolean isRedundantly, JmlPredicate predicate, JExpression throwMessage, JavaStyleComment[] comments)

JmlAssertStatement(TokenReference where, boolean isRedundantly, JmlPredicate predicate, JExpression throwMessage, JavaStyleComment[] comments)

JmlAssumeStatement(TokenReference where, boolean isRedundantly, JmlPredicate predicate, JExpression throwMessage, JavaStyleComment[] comments)

JmlClassOrGFImport(TokenReference where, String name, JavaStyleComment[] comments, boolean isModel)
Constructs an AST node for a class or external member import statement.

JmlDebugStatement(TokenReference where, JExpression expression, JavaStyleComment[] comments)

JmlHenceByStatement(TokenReference where, boolean isRedundantly, JmlPredicate predicate, JavaStyleComment[] comments)

JmlModelProgStatement(TokenReference where, JavaStyleComment[] comments)

JmlInvariantStatement(TokenReference where, boolean isRedundantly, JmlPredicate predicate, JavaStyleComment[] comments)

JmlLoopStatement(TokenReference where, JmlLoopInvariant[] loopInvariants, JmlVariantFunction[] variantFunctions, JStatement stmt, JavaStyleComment[] comments)
Constructs a new instance with the given arguments.

JmlNondetChoiceStatement(TokenReference where, JBlock[] alternativeStatements, JavaStyleComment[] comments)

JmlNondetIfStatement(TokenReference where, JmlGuardedStatement[] guardedStatements, JStatement[] elseStatements, JavaStyleComment[] comments)

JmlPackageImport(TokenReference where, String name, JavaStyleComment[] comments, boolean isModel)

JmlSetStatement(TokenReference where, JExpression assignmentExpression, JavaStyleComment[] comments)

JmlSpecStatement(TokenReference where, JmlGeneralSpecCase specCase, JavaStyleComment[] comments)
Construct a JMLSpecStatement.

JmlUnreachableStatement(TokenReference where, JavaStyleComment[] comments)

Uses of JavaStyleComment in org.multijava.mjc

Fields in org.multijava.mjc declared as JavaStyleComment

private JavaStyleComment[]	JMemberDeclaration.comments
private JavaStyleComment[]	JStatement.comments
private JavaStyleComment[]	JPackageName.comments
private JavaStyleComment[]	JPackageImport.comments
private JavaStyleComment[]	JClassOrGFImport.comments

Methods in org.multijava.mjc that return JavaStyleComment

JavaStyleComment[]	JStatement.getComments() Returns the comments
JavaStyleComment[]	ParserUtility.getStatementComment() Returns the non-Javadoc comments preceding the current lookahead token.

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

protected void	MjcPrettyPrinter.visitComments(JavaStyleComment[] comments) prints an array length expression
protected void	MjcPrettyPrinter.visitComment(JavaStyleComment comment) prints an array length expression

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

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.

JStatement(TokenReference where, JavaStyleComment[] comments)
Construct a node in the parsing tree

JBlock(TokenReference where, JStatement[] body, JavaStyleComment[] comments)
Construct a node 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.

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

JLoopStatement(TokenReference where, JavaStyleComment[] comments)
Construct a node in the parsing tree

JWhileStatement(TokenReference where, JExpression cond, JStatement body, JavaStyleComment[] comments)
Construct a node in the parsing tree

JVariableDeclarationStatement(TokenReference where, JVariableDefinition[] vars, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JVariableDeclarationStatement(TokenReference where, JVariableDefinition var, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JTryCatchStatement(TokenReference where, JBlock tryClause, JCatchClause[] catchClauses, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JTryFinallyStatement(TokenReference where, JBlock tryClause, JBlock finallyClause, JavaStyleComment[] comments)
Construct a node in the parsing tree

JThrowStatement(TokenReference where, JExpression expr, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JSynchronizedStatement(TokenReference where, JExpression cond, JBlock body, JavaStyleComment[] comments)
Construct a node in the parsing tree

JSwitchStatement(TokenReference where, JExpression expr, JSwitchGroup[] groups, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JAssertStatement(TokenReference where, JExpression predicate, JavaStyleComment[] comments)

JAssertStatement(TokenReference where, JExpression predicate, JExpression throwMessage, JavaStyleComment[] comments)

JReturnStatement(TokenReference where, JExpression expr, JavaStyleComment[] comments)
Construct a node in the parsing tree

JLabeledStatement(TokenReference where, String label, JStatement stmt, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JIfStatement(TokenReference where, JExpression cond, JStatement thenClause, JStatement elseClause, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JForStatement(TokenReference where, JStatement init, JExpression cond, JStatement incr, JStatement body, JavaStyleComment[] comments)
Construct a node in the parsing tree

JExpressionStatement(TokenReference where, JExpression expr, JavaStyleComment[] comments)
Construct a node in the parsing tree

JExpressionListStatement(TokenReference where, JExpression[] exprs, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JEmptyStatement(TokenReference where, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JDoStatement(TokenReference where, JExpression cond, JStatement body, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JContinueStatement(TokenReference where, String label, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JBreakStatement(TokenReference where, String label, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JPackageName(TokenReference where, String name, JavaStyleComment[] comments)
construct a package name

JPackageImport(TokenReference where, String name, JavaStyleComment[] comments)

JClassOrGFImport(TokenReference where, String name, JavaStyleComment[] comments)
Constructs an AST node for a class or external member import statement.

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.

Uses of JavaStyleComment in org.multijava.util.compiler

Subclasses of JavaStyleComment in org.multijava.util.compiler

class

JavadocComment A simple character constant

Fields in org.multijava.util.compiler declared as JavaStyleComment

static JavaStyleComment[]

JavaStyleComment.EMPTY