|
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,
int)
|
| Methods in java.util with parameters of type BitSet | |
void |
BitSet.and(BitSet)
|
void |
BitSet.andNot(BitSet)
|
void |
BitSet.or(BitSet)
|
void |
BitSet.xor(BitSet)
|
boolean |
BitSet.intersects(BitSet)
|
| 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 | ||||||||||