JML

org.jmlspecs.checker
Class JmlDataGroupAccumulator

java.lang.Object
  extended byorg.jmlspecs.checker.JmlDataGroupAccumulator

public class JmlDataGroupAccumulator
extends Object

This class represents a set of jml-data-group-assertion's in JML ASTs.

Version:
$Revision: 1.5 $
Author:
Clyde Ruby

Field Summary
protected  ArrayList inGroupList
           
protected  JmlInGroupClause[] inGroups
           
protected  ArrayList mapsIntoList
           
 
Constructor Summary
JmlDataGroupAccumulator()
           
 
Method Summary
 void addInGroup(JmlInGroupClause fieldAssertion)
           
 void addMapsInto(JmlMapsIntoClause fieldAssertion)
           
 JmlMapsIntoClause[] getMapsIntoClausesFor(String fieldId)
           
 JmlInGroupClause[] inGroupClauses()
           
 ArrayList mapsIntoClauses()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

inGroupList

protected ArrayList inGroupList

mapsIntoList

protected ArrayList mapsIntoList

inGroups

protected JmlInGroupClause[] inGroups
Constructor Detail

JmlDataGroupAccumulator

public JmlDataGroupAccumulator()
Method Detail

addInGroup

public void addInGroup(JmlInGroupClause fieldAssertion)

inGroupClauses

public JmlInGroupClause[] inGroupClauses()

addMapsInto

public void addMapsInto(JmlMapsIntoClause fieldAssertion)

mapsIntoClauses

public ArrayList mapsIntoClauses()

getMapsIntoClausesFor

public JmlMapsIntoClause[] getMapsIntoClausesFor(String fieldId)

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.