|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |