JML

Uses of Class
java.util.BitSet

Packages that use BitSet
java.util JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
org.multijava.mjc Implements mjc, a MultiJava compiler. 
 

Uses of BitSet in java.util
 

Methods in java.util that return BitSet
 BitSet BitSet.get(int fromIndex, int toIndex)
           
 

Methods in java.util with parameters of type BitSet
 boolean BitSet.intersects(BitSet set)
           
 void BitSet.and(BitSet set)
           
 void BitSet.or(BitSet set)
           
 void BitSet.xor(BitSet set)
           
 void BitSet.andNot(BitSet set)
           
 

Uses of BitSet in org.multijava.mjc
 

Fields in org.multijava.mjc declared as BitSet
protected  BitSet CMethod.specArgs
          If this is a top method, we record which arguments of the generic function are specialized.
 

Methods in org.multijava.mjc that return BitSet
 BitSet CMethod.getSpecArgs()
          Return the bit set indicating which arguments of the associated generic function are specialized.
 


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.