本文整理匯總了Java中gov.nasa.jpf.util.test.TestJPF類的典型用法代碼示例。如果您正苦於以下問題：Java TestJPF類的具體用法？Java TestJPF怎麽用？Java TestJPF使用的例子？那麽, 這裏精選的類代碼示例或許可以為您提供幫助。
TestJPF類屬於gov.nasa.jpf.util.test包，在下文中一共展示了TestJPF類的2個代碼示例，這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚，您的評價將有助於係統推薦出更棒的Java代碼示例。
示例1: movePkgOut
import gov.nasa.jpf.util.test.TestJPF; //導入依賴的package包/類
/**
* move the package, to avoid systemClassLoader loading its classes
*/
protected void movePkgOut() {
if(!TestJPF.isJPFRun()) {
movePkg(originalPath, tempPath);
}
}
示例2: movePkgBack
import gov.nasa.jpf.util.test.TestJPF; //導入依賴的package包/類
/**
* move the package back to its original place
*/
protected void movePkgBack() {
if(!TestJPF.isJPFRun()) {
movePkg(tempPath, originalPath);
}
}