JML

org.jmlspecs.samples.sets
Interface IntegerSetInterface

All Known Implementing Classes:
IntegerSetAsHashSet, IntegerSetAsTree

public interface IntegerSetInterface

Sets of integers.


Method Summary
 void insert(int elem)
          Insert the given integer into this set.
 boolean isMember(int elem)
          Tell if the argument is in this set.
 void remove(int elem)
          Remove the given integer from this set.
 

Method Detail

insert

public void insert(int elem)
Insert the given integer into this set.


isMember

public boolean isMember(int elem)
Tell if the argument is in this set.


remove

public void remove(int elem)
Remove the given integer from this set.


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.