Uses of Class
org.jmlspecs.checker.JmlInGroupClause

Packages that use JmlInGroupClause

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

Fields in org.jmlspecs.checker declared as JmlInGroupClause

private JmlInGroupClause[]	JmlFieldDeclaration.inGroups
private JmlInGroupClause[]	JmlFieldDeclaration.combinedInGroups
protected JmlInGroupClause[]	JmlDataGroupAccumulator.inGroups

Methods in org.jmlspecs.checker that return JmlInGroupClause

JmlInGroupClause[]	JmlFieldDeclaration.inGroupClauses()
JmlInGroupClause[]	JmlFieldDeclaration.getCombinedInGroupClauses()
JmlInGroupClause[]	JmlDataGroupAccumulator.inGroupClauses()

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

void	JmlAbstractVisitor.visitJmlInGroupClause(JmlInGroupClause self)
abstract void	JmlVisitor.visitJmlInGroupClause(JmlInGroupClause self)
void	JmlFieldDeclaration.addSelfToInDataGroups(JmlSourceField self, JmlInGroupClause inGroupClause, JmlDataGroupMemberMap dataGroupMap)
void	JmlVisitorNI.visitJmlInGroupClause(JmlInGroupClause self)
void	JmlDataGroupAccumulator.addInGroup(JmlInGroupClause fieldAssertion)
void	JmlExpressionChecker.visitJmlInGroupClause(JmlInGroupClause self) Checks visibility (and purity) of the given expression, self.

Uses of JmlInGroupClause in org.jmlspecs.jmlrac

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

void	RacPrettyPrinter.visitJmlInGroupClause(JmlInGroupClause self) Prints a JML in data group clause.