Uses of Class
org.jmlspecs.checker.JmlMemberDeclaration

Packages that use JmlMemberDeclaration

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.

Uses of JmlMemberDeclaration in org.jmlspecs.checker

Subclasses of JmlMemberDeclaration in org.jmlspecs.checker

class	JmlBinaryField This class represents a class read from a *.class file.
class	JmlBinaryMember This type represents a java declaration in the syntax tree.
class	JmlBinaryMethod This class represents a method read from a *.class file.
class	JmlBinaryType This class represents a class read from a *.class file.
class	JmlClassDeclaration This type represents a java class declaration in the syntax tree.
class	JmlConstructorDeclaration JmlConstructorDeclaration.java
class	JmlFieldDeclaration JmlFieldDeclaration.java
class	JmlInterfaceDeclaration This class represents a java interface in the syntax tree
class	JmlMethodDeclaration JmlMethodDeclaration.java
class	JmlTypeDeclaration This type represents a java class or interface in the syntax tree.

Fields in org.jmlspecs.checker declared as JmlMemberDeclaration

private JmlMemberDeclaration	JmlSourceClass.typeAST
protected JmlMemberDeclaration	JmlMemberDeclaration.refinedDecl The declaration that is refined by this declaration.
protected JmlMemberDeclaration	JmlMemberDeclaration.refiningDecl The declaration that refines this declaration.
protected JmlMemberDeclaration[]	JmlTypeDeclaration.combinedMethods
protected JmlMemberDeclaration[]	JmlTypeDeclaration.combinedInners
private JmlMemberDeclaration	JmlSourceMethod.methodAST
protected JmlMemberDeclaration[]	JmlBinaryType.methods
private JmlMemberDeclaration	JmlSourceField.fieldAST

Methods in org.jmlspecs.checker that return JmlMemberDeclaration

JmlMemberDeclaration	JmlSourceClass.getAST() Returns the AST for this method.
JmlMemberDeclaration	JmlMemberDeclaration.getRefinedMember()
JmlMemberDeclaration	JmlMemberDeclaration.getRefiningMember()
JmlMemberDeclaration	JmlMemberDeclaration.getMostRefined()
JmlMemberDeclaration[]	JmlTypeDeclaration.getCombinedMethods()
JmlMemberDeclaration[]	JmlTypeDeclaration.getCombinedInners()
JmlMemberDeclaration	JmlSourceMethod.getAST() Returns the AST for this method.
JmlMemberDeclaration	JmlBinaryMember.getRefinedMember()
JmlMemberDeclaration[]	JmlBinaryType.getCombinedMethods()
JmlMemberDeclaration	JmlSourceField.getAST() Returns the AST for this field.

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

void	JmlSourceClass.setAST(JmlMemberDeclaration typeAST) Sets the AST for this method.
void	JmlMemberDeclaration.checkRefinedModifiers(CContextType context, JmlMemberDeclaration member) Makes the general modifier consistency checks between refined declarations that are required of all refining members.
void	JmlMemberDeclaration.setRefinedMember(JmlMemberDeclaration refinedDecl) Sets the field referencing the declaration refined by this declaration.
void	JmlMemberDeclaration.setRefiningMember(JmlMemberDeclaration refiningDecl) Sets the field referencing the declaration that refines this declaration.
void	JmlSourceMethod.setAST(JmlMemberDeclaration methAST) Sets the AST for this method.
void	JmlSourceField.setAST(JmlMemberDeclaration fieldAST) Sets the AST for this field.

Uses of JmlMemberDeclaration in org.jmlspecs.jmlrac

Subclasses of JmlMemberDeclaration in org.jmlspecs.jmlrac

static class

RacParser.RacMethodDeclaration A RAC node class for representing method declarations.