Uses of Class
org.multijava.mjc.JFieldDeclaration

Packages that use JFieldDeclaration

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

Subclasses of JFieldDeclaration in org.jmlspecs.checker

class

JFieldDeclarationWrapper A class representing a field declaration in the syntax tree.

Fields in org.jmlspecs.checker declared as JFieldDeclaration

private JFieldDeclaration

JmlFieldDeclaration.delegee

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

void	JmlAbstractVisitor.visitFieldDeclaration(JFieldDeclaration self) Visits the given field declaration.
void	JmlVisitorNI.visitFieldDeclaration(JFieldDeclaration self) visits a field declaration
void	JmlMemberAccess.checkFieldModifiers(CContextType context, JFieldDeclaration member) Check for illegal combinations of modifiers specific to field declarations.
long	JmlMemberAccess.checkInterfaceFieldModifiers(CContextType context, JFieldDeclaration member) Check for illegal combinations of modifiers disallowed in interface field declarations.

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

JmlFieldDeclaration(TokenReference where, JmlVarAssertion[] varAssertions, JmlDataGroupAccumulator dataGroups, JFieldDeclaration delegee)

Uses of JFieldDeclaration in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitFieldDeclaration(JFieldDeclaration self)

Uses of JFieldDeclaration in org.jmlspecs.jmlspec

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

void	JspPrettyPrinter.visitFieldDeclaration(JFieldDeclaration self) prints a field declaration without any initializer

Uses of JFieldDeclaration in org.multijava.mjc

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

abstract void	MjcVisitor.visitFieldDeclaration(JFieldDeclaration self) visits a field declaration
void	MemberAccess.checkFieldModifiers(CContextType context, JFieldDeclaration member) Check for illegal combinations of modifiers disallowed in field declarations.
long	MemberAccess.checkInterfaceFieldModifiers(CContextType context, JFieldDeclaration member) Check for illegal combinations of modifiers disallowed in interface field declarations.
void	MjcPrettyPrinter.visitFieldDeclaration(JFieldDeclaration self) prints a field declaration