Uses of Interface
org.multijava.mjc.JFieldDeclarationType

Packages that use JFieldDeclarationType

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.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
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 JFieldDeclarationType in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement JFieldDeclarationType

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

Fields in org.jmlspecs.checker declared as JFieldDeclarationType

private JFieldDeclarationType[]	JmlTypeDeclaration.combinedFields The fields declared within the type represented by this, extracted from fieldsAndInits at initialization time and combined with any declarations refined by this type.
protected JFieldDeclarationType[]	JmlTypeDeclaration.modelFields
protected JFieldDeclarationType[]	JmlTypeDeclaration.superClassModelFields
protected JFieldDeclarationType[]	JmlTypeDeclaration.interfaceModelFields

Methods in org.jmlspecs.checker that return JFieldDeclarationType

JFieldDeclarationType[]	JmlTypeDeclaration.fields()
JFieldDeclarationType[]	JmlTypeDeclaration.getModelFields() Computes and stores the model fields of this type into an array.
JFieldDeclarationType[]	JmlTypeDeclaration.getAllSuperClassModelFields() Returns all model fields inherited from abstract superclasses.
JFieldDeclarationType[]	JmlTypeDeclaration.getAllInterfaceModelFields() Returns all model fields inherited through the interface hierarchy.
JFieldDeclarationType[]	JmlTypeDeclaration.getCombinedFields()
JFieldDeclarationType[]	JmlInterfaceDeclaration.getAllInterfaceModelFields() Returns all model fields inherited through the interface hierarchy.

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

private boolean	JInterfaceDeclarationWrapper.hasModifier(JFieldDeclarationType field, int mod) Returns true if the given filed declaration has the given modifier.
void	JmlTypeDeclaration.setFieldsOnly(JFieldDeclarationType[] fields)
private void	JmlTypeDeclaration.checkModelFields(JFieldDeclarationType[] modelFields)

Uses of JFieldDeclarationType in org.jmlspecs.jmldoc.jmldoc_142

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

String	JmlHTML.generateFieldSpecification(JFieldDeclarationType jm, JmldocFieldSubWriter fsw)
void	SpecWriter.visitFieldDeclaration(JFieldDeclarationType self) visits a field declaration

Uses of JFieldDeclarationType in org.jmlspecs.jmlrac

Methods in org.jmlspecs.jmlrac that return JFieldDeclarationType

private JFieldDeclarationType[]

TransClass.interfaceModelFields() Returns all model fields inherited from the interfaces of this class, but excluding those also inherited from the superclass chain.

Methods in org.jmlspecs.jmlrac with parameters of type JFieldDeclarationType

private Set

TransClass.toSet(JFieldDeclarationType[] fdecls) Returns a set containing elements from the given array.

Uses of JFieldDeclarationType in org.jmlspecs.jmlspec

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

String	JspComparator.compareFields(JFieldDeclarationType[] fields, JFieldDeclarationType[] jfields, String filename, String jfilename, long modsToIgnore)
String	JspComparator.compareFields(JFieldDeclarationType[] fields, Field[] jfields, String filename, String jfilename, long modsToIgnore)
String	JspComparator.compareField(JFieldDeclarationType field, JFieldDeclarationType jfield, String filename, String jfilename, long modsToIgnore)
String	JspComparator.compareField(JFieldDeclarationType field, Field jfield, String filename, String jfilename, long modsToIgnore)

Uses of JFieldDeclarationType in org.multijava.mjc

Classes in org.multijava.mjc that implement JFieldDeclarationType

class

JFieldDeclaration This class represents a field declaration in the syntax tree.

Fields in org.multijava.mjc declared as JFieldDeclarationType

private JFieldDeclarationType[]	JTypeDeclaration.fields The fields declared within the type represented by this, extracted from fieldsAndInits at initialization time.
private JFieldDeclarationType	JTypeDeclaration.outerThis
private JFieldDeclarationType	JClassFieldDeclarator.decl

Methods in org.multijava.mjc that return JFieldDeclarationType

abstract JFieldDeclarationType[]	JTypeDeclarationType.fields()
JFieldDeclarationType[]	JTypeDeclaration.fields()
JFieldDeclarationType	JClassFieldDeclarator.decl() Returns this declarator's declaratee.

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

void	JTypeDeclaration.setFieldsOnly(JFieldDeclarationType[] fields)
void	CParseClassContext.addFieldDeclaration(JFieldDeclarationType decl)

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

JClassFieldDeclarator(TokenReference where, JFieldDeclarationType decl)
Construct a node in the parsing tree.