本文整理汇总了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);
}
}