Uses of Class
org.multijava.mjc.JConstructorDeclaration

Packages that use JConstructorDeclaration

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

Subclasses of JConstructorDeclaration in org.jmlspecs.checker

class

JConstructorDeclarationWrapper A class representing a constructor declaration in the syntax tree.

Fields in org.jmlspecs.checker declared as JConstructorDeclaration

private JConstructorDeclaration

JmlConstructorDeclaration.delegee

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

void	JmlAbstractVisitor.visitConstructorDeclaration(JConstructorDeclaration self) Visits the given constructor declaration.
void	JmlVisitorNI.visitConstructorDeclaration(JConstructorDeclaration self) visits a constructor declaration
void	JmlAccumSubclassingInfo.visitConstructorDeclaration(JConstructorDeclaration self)

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

JmlConstructorDeclaration(TokenReference where, JmlMethodSpecification methodSpecification, JConstructorDeclaration delegee)

Uses of JConstructorDeclaration in org.jmlspecs.jmlspec

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

void	JspPrettyPrinter.visitConstructorDeclaration(JConstructorDeclaration self) Adds an empty specification comment and does not print the body.

Uses of JConstructorDeclaration in org.multijava.mjc

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

abstract void	MjcVisitor.visitConstructorDeclaration(JConstructorDeclaration self) visits a constructor declaration
void	MjcPrettyPrinter.visitConstructorDeclaration(JConstructorDeclaration self) prints a constructor declaration