本文整理汇总了Java中gov.nasa.jpf.search.Search.getDepth方法的典型用法代码示例。如果您正苦于以下问题:Java Search.getDepth方法的具体用法?Java Search.getDepth怎么用?Java Search.getDepth使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类gov.nasa.jpf.search.Search
的用法示例。
在下文中一共展示了Search.getDepth方法的11个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: stateAdvanced
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced(Search search) {
if (trace != null) {
// there is no backtracking or restoring as long as we replay
trace = trace.getNext();
if (trace == null){
search.getVM().setTraceReplay(false);
if (searchAfterTrace){
singleChoice = false;
}
}
} else {
if (singleChoice && !depthReached && (startDepth >= 0)) {
if (search.getDepth() == startDepth) {
depthReached = true;
checkSingleChoiceCond();
}
}
}
}
示例2: stateAdvanced
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced(Search search) {
steps += search.getTransition().getStepCount();
if (isHeuristic)
queueSize = ((HeuristicSearch)(search)).getQueueSize();
if (search.isNewState()) {
searchLevel = search.getDepth();
if (searchLevel > maxSearchLevel)
maxSearchLevel = searchLevel;
newStates++;
currentHeapCount = search.getVM().getHeap().size();
if (currentHeapCount > maxHeapCount)
maxHeapCount = currentHeapCount;
if (search.isEndState()) {
endStates++;
}
} else {
revisitedStates++;
}
}
示例3: stateAdvanced
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced (Search search){
long m = Runtime.getRuntime().totalMemory();
if (m > maxUsed) {
maxUsed = m;
}
if (search.isNewState()){
newStates++;
int depth = search.getDepth();
if (depth > maxDepth){
maxDepth = depth;
}
} else {
visitedStates++;
}
if (search.isEndState()){
endStates++;
}
}
示例4: stateRestored
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateRestored(Search search) {
id = search.getStateId();
depth = search.getDepth();
operation = "restored";
detail = null;
}
示例5: stateAdvanced
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced(Search search) {
id = search.getStateId();
depth = search.getDepth();
operation = "forward";
if (search.isNewState()) {
detail = "new";
} else {
detail = "visited";
}
if (search.isEndState()) {
detail += " end";
}
}
示例6: stateBacktracked
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateBacktracked(Search search) {
id = search.getStateId();
depth = search.getDepth();
operation = "backtrack";
detail = null;
}
示例7: stateAdvanced
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced(Search search) {
if (search.isNewState()) { // don't count twice
int stateId = search.getStateId();
nStates++;
int depth = search.getDepth();
if (depth > maxDepth) maxDepth = depth;
if (!queue.isEmpty()) {
for (Iterator<VarChange> it = queue.iterator(); it.hasNext(); ){
VarChange change = it.next();
String id = change.getVariableId();
VarStat s = stat.get(id);
if (s == null) {
s = new VarStat(id, stateId);
stat.put(id, s);
} else {
// no good - we should filter during reg (think of large vectors or loop indices)
if (s.lastState != stateId) { // count only once per new state
s.nChanges++;
s.lastState = stateId;
}
}
}
}
}
queue.clear();
}
示例8: stateAdvanced
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced (Search search){
if (search.getDepth() == storeDepth){
storeTrace("search depth reached: " + storeDepth);
checkSearchTermination();
}
}
示例9: stateRestored
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateRestored (Search search) {
depth = search.getDepth();
}
示例10: stateRestored
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateRestored(Search search) {
searchLevel = search.getDepth();
restoredStates++;
}
示例11: stateBacktracked
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateBacktracked(Search search) {
searchLevel = search.getDepth();
backtracks++;
}