本文整理汇总了Java中gov.nasa.jpf.JPF.getLogger方法的典型用法代码示例。如果您正苦于以下问题：Java JPF.getLogger方法的具体用法？Java JPF.getLogger怎么用？Java JPF.getLogger使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类gov.nasa.jpf.JPF的用法示例。
在下文中一共展示了JPF.getLogger方法的10个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: log__Ljava_lang_String_2ILjava_lang_String_2_3Ljava_lang_Object_2__V
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
@MJI
public static void log__Ljava_lang_String_2ILjava_lang_String_2_3Ljava_lang_Object_2__V (MJIEnv env, int clsObjRef,
int loggerIdRef, int logLevel, int fmtRef, int argsRef){
String loggerId = env.getStringObject(loggerIdRef);
String fmt = env.getStringObject(fmtRef);
JPFLogger logger = JPF.getLogger(loggerId);
int[] argRefs = env.getReferenceArrayObject( argsRef);
Object[] args = new Object[argRefs.length];
for (int i=0; i<args.length; i++){
ElementInfo eiArg = env.getElementInfo(argRefs[i]);
if (eiArg.isStringObject()){
args[i] = env.getStringObject(argRefs[i]);
} else if (eiArg.isBoxObject()){
args[i] = eiArg.asBoxObject();
} else {
args[i] = eiArg.toString();
}
}
String msg = String.format(fmt, args);
log( logger, logLevel, msg);
}
示例2: JDart
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
/**
* Constructor. Initializes JDart from a JPF config only.
*
* @param conf the JPF config
*/
public JDart(Config conf) {
//this(conf, true);
// due to some bug the log manager has to be initialized first.
LogManager.init(conf);
this.config = conf;
this.cc = new ConcolicConfig(conf);
logger = JPF.getLogger("jdart");
}
示例3: log__Ljava_lang_String_2ILjava_lang_String_2__V
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
@MJI
public static void log__Ljava_lang_String_2ILjava_lang_String_2__V (MJIEnv env, int clsObjRef,
int loggerIdRef, int logLevel, int msgRef){
String loggerId = env.getStringObject(loggerIdRef);
String msg = env.getStringObject(msgRef);
JPFLogger logger = JPF.getLogger(loggerId);
log( logger, logLevel, msg);
}
示例4: log__Ljava_lang_String_2ILjava_lang_String_2Ljava_lang_String_2__V
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
@MJI
public static void log__Ljava_lang_String_2ILjava_lang_String_2Ljava_lang_String_2__V (MJIEnv env, int clsObjRef,
int loggerIdRef, int logLevel, int arg1Ref, int arg2Ref){
String loggerId = env.getStringObject(loggerIdRef);
String msg = env.getStringObject(arg1Ref) + env.getStringObject(arg2Ref);
JPFLogger logger = JPF.getLogger(loggerId);
log( logger, logLevel, msg);
}
示例5: TestSuiteExample
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
public TestSuiteExample(Config conf) {
this.conf = conf;
LogManager.init(conf);
logger = JPF.getLogger("psyco");
}
示例6: MethodSummarizer
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
public MethodSummarizer(Config conf) {
this.config = conf;
LogManager.init(conf);
logger = JPF.getLogger("jdart");
}
示例7: Psyco
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
public Psyco(Config conf) {
this.config = conf;
LogManager.init(conf);
logger = JPF.getLogger("psyco");
}
示例8: SearchShell
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
public SearchShell(Config conf) {
this.config = conf;
LogManager.init(conf);
logger = JPF.getLogger("psyco");
}
示例9: SymbolicTransitionHelper
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
public SymbolicTransitionHelper() {
this.assignmentVisitor = new VariableAssignmentVisitor();
this.replacementVisitor = new VariableReplacementVisitor();
this.restrictionsVisitor = new VariableRestrictionsVisitor();
this.logger = JPF.getLogger(SymbolicSearchEngine.getSearchLoggerName());
}
示例10: LoggablePeer
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
protected LoggablePeer (String loggerId) {
delegatee = JPF.getLogger(loggerId);
}