本文整理汇总了Java中edu.umd.cs.findbugs.ba.obl.StateSet.getPrefixStates方法的典型用法代码示例。如果您正苦于以下问题：Java StateSet.getPrefixStates方法的具体用法？Java StateSet.getPrefixStates怎么用？Java StateSet.getPrefixStates使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类edu.umd.cs.findbugs.ba.obl.StateSet的用法示例。
在下文中一共展示了StateSet.getPrefixStates方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: getTransferState
import edu.umd.cs.findbugs.ba.obl.StateSet; //导入方法依赖的package包/类
private State getTransferState(InstructionHandle handle) {
StateSet stateSet;
try {
stateSet = dataflow.getFactAtLocation(new Location(handle, curBlock));
} catch (DataflowAnalysisException e) {
bugReporter.logError("Error checking obligation state at " + handle, e);
return null;
}
List<State> prefixes = stateSet.getPrefixStates(state.getPath());
if (prefixes.size() != 1) {
// Could this happen?
if (DEBUG_FP) {
System.out.println("at " + handle + " in " + xmethod + " found " + prefixes.size()
+ " states which are prefixes of error state");
}
return null;
}
return prefixes.get(0);
}