Package | Description |
---|---|
gov.nasa.jpf.util | |
gov.nasa.jpf.vm | |
gov.nasa.jpf.vm.serialize |
Modifier and Type | Field and Description |
---|---|
static FinalBitSet |
FinalBitSet.empty |
Modifier and Type | Method and Description |
---|---|
static FinalBitSet |
FinalBitSet.create(BitArray in)
Creates a pooled FinalBitSet.
|
static FinalBitSet |
FinalBitSet.create(byte[] in)
Creates a pooled FinalBitSet.
|
Modifier and Type | Method and Description |
---|---|
void |
JPFOutputStream.print(ElementInfo ei,
FinalBitSet filterMask) |
protected void |
JPFOutputStream.printFields(ElementInfo ei,
FieldInfo[] fields,
FinalBitSet filterMask) |
Modifier and Type | Method and Description |
---|---|
protected FinalBitSet |
FilteringSerializer.getInstanceFilterMask(ClassInfo ci) |
protected FinalBitSet |
FilteringSerializer.getInstanceRefMask(ClassInfo ci) |
protected FinalBitSet |
FilteringSerializer.getStaticFilterMask(ClassInfo ci) |
protected FinalBitSet |
FilteringSerializer.getStaticRefMask(ClassInfo ci) |
Modifier and Type | Method and Description |
---|---|
protected void |
DynamicAbstractionSerializer.processField(Fields fields,
int[] slotValues,
FieldInfo fi,
FinalBitSet filtered) |