本文整理汇总了Java中gov.nasa.jpf.util.FinalBitSet.get方法的典型用法代码示例。如果您正苦于以下问题：Java FinalBitSet.get方法的具体用法？Java FinalBitSet.get怎么用？Java FinalBitSet.get使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类gov.nasa.jpf.util.FinalBitSet的用法示例。
在下文中一共展示了FinalBitSet.get方法的4个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: processNamedFields
import gov.nasa.jpf.util.FinalBitSet; //导入方法依赖的package包/类
protected void processNamedFields (ClassInfo ci, Fields fields){
FinalBitSet filtered = getInstanceFilterMask(ci);
FinalBitSet refs = getInstanceRefMask(ci);
// using a block operation probably doesn't buy us much here since
// we would have to blank the filtered slots and then visit the
// non-filtered reference slots, i.e. do two iterations over
// the mask bit sets
int[] values = fields.asFieldSlots();
for (int i = 0; i < values.length; i++) {
if (!filtered.get(i)) {
int v = values[i];
if (refs.get(i)) {
processReference(v);
} else {
buf.add(v);
}
}
}
}
示例2: serializeClass
import gov.nasa.jpf.util.FinalBitSet; //导入方法依赖的package包/类
protected void serializeClass (StaticElementInfo sei){
buf.add(sei.getStatus());
Fields fields = sei.getFields();
ClassInfo ci = sei.getClassInfo();
FinalBitSet filtered = getStaticFilterMask(ci);
FinalBitSet refs = getStaticRefMask(ci);
int max = ci.getStaticDataSize();
for (int i = 0; i < max; i++) {
if (!filtered.get(i)) {
int v = fields.getIntValue(i);
if (refs.get(i)) {
processReference(v);
} else {
buf.add(v);
}
}
}
}
示例3: processNamedInstanceReferenceFields
import gov.nasa.jpf.util.FinalBitSet; //导入方法依赖的package包/类
protected void processNamedInstanceReferenceFields(ClassInfo ci, Fields fields) {
FinalBitSet filtered = getInstanceFilterMask(ci);
FinalBitSet refs = getInstanceRefMask(ci);
int[] slotValues = fields.asFieldSlots(); // for non-attributed fields
for (int i = 0; i < slotValues.length; i++) {
if (!filtered.get(i)) {
if (refs.get(i)) {
processReference(slotValues[i]);
}
}
}
}
示例4: processNamedStaticReferenceFields
import gov.nasa.jpf.util.FinalBitSet; //导入方法依赖的package包/类
protected void processNamedStaticReferenceFields(ClassInfo ci, Fields fields) {
FinalBitSet filtered = getStaticFilterMask(ci);
FinalBitSet refs = getStaticRefMask(ci);
int[] slotValues = fields.asFieldSlots(); // for non-attributed fields
for (int i = 0; i < slotValues.length; i++) {
if (!filtered.get(i)) {
if (refs.get(i)) {
processReference(slotValues[i]);
}
}
}
}