本文整理汇总了Java中gov.nasa.jpf.util.JPFLogger类的典型用法代码示例。如果您正苦于以下问题：Java JPFLogger类的具体用法？Java JPFLogger怎么用？Java JPFLogger使用的例子？那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。
JPFLogger类属于gov.nasa.jpf.util包，在下文中一共展示了JPFLogger类的7个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: log
import gov.nasa.jpf.util.JPFLogger; //导入依赖的package包/类
private static void log (JPFLogger logger, int logLevel, String msg){
switch (logLevel){
case SEVERE:
logger.severe( msg);
break;
case WARNING:
logger.warning( msg);
break;
case INFO:
logger.info( msg);
break;
case FINE:
logger.fine( msg);
break;
case FINER:
logger.finer( msg);
break;
case FINEST:
logger.finest( msg);
break;
default:
throw new JPFException("unknown log level " + logLevel + " for logger " + logger.getName());
}
}
示例2: log__Ljava_lang_String_2ILjava_lang_String_2_3Ljava_lang_Object_2__V
import gov.nasa.jpf.util.JPFLogger; //导入依赖的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);
}
示例3: writeResultToFile
import gov.nasa.jpf.util.JPFLogger; //导入依赖的package包/类
private static void writeResultToFile(String content, String filename) {
try (PrintWriter writer = new PrintWriter(filename)) {
writer.print(content);
} catch (IOException e) {
JPFLogger.getLogger("psyco").severe(e.getStackTrace().toString());
}
}
示例4: log__Ljava_lang_String_2ILjava_lang_String_2__V
import gov.nasa.jpf.util.JPFLogger; //导入依赖的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);
}
示例5: log__Ljava_lang_String_2ILjava_lang_String_2Ljava_lang_String_2__V
import gov.nasa.jpf.util.JPFLogger; //导入依赖的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);
}
示例6: SearchEngine
import gov.nasa.jpf.util.JPFLogger; //导入依赖的package包/类
public SearchEngine(PsycoConfig pconf) {
this.pconf = pconf;
logger = JPFLogger.getLogger(HelperMethods.getLoggerName());
updateFolderName(pconf);
}
示例7: getLogger
import gov.nasa.jpf.util.JPFLogger; //导入依赖的package包/类
/**
* use this one to get a Logger that is initialized via our Config mechanism. Note that
* our own Loggers do NOT pass
*/
public static JPFLogger getLogger (String name) {
return LogManager.getLogger( name);
}