本文整理汇总了Java中gov.nasa.jpf.Config.getEssentialInstance方法的典型用法代码示例。如果您正苦于以下问题:Java Config.getEssentialInstance方法的具体用法?Java Config.getEssentialInstance怎么用?Java Config.getEssentialInstance使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类gov.nasa.jpf.Config
的用法示例。
在下文中一共展示了Config.getEssentialInstance方法的8个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: init
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
static boolean init (Config config) {
ClassInfo.config = config;
setSourceRoots(config);
//buildBCELModelClassPath(config);
fieldsFactory = config.getEssentialInstance("vm.fields_factory.class",
FieldsFactory.class);
autoloadAnnotations = config.getNonEmptyStringSet("listener.autoload");
if (autoloadAnnotations != null) {
autoloaded = new HashSet<String>();
if (logger.isLoggable(Level.INFO)) {
for (String s : autoloadAnnotations){
logger.info("watching for autoload annotation @" + s);
}
}
}
return true;
}
示例2: getConcolicExplorer
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
public static ConcolicExplorer getConcolicExplorer(Config config) {
ConcolicExplorer exp = config.getEssentialInstance(CONFIG_KEY_CONCOLIC_EXPLORER, ConcolicExplorer.class);
if (!exp.isConfigured()) {
exp.configure(new ConcolicConfig(config));
}
return exp;
}
示例3: KernelState
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
/**
* Creates a new kernel state object.
*/
public KernelState (Config config) {
Class<?>[] argTypes = { Config.class, KernelState.class };
Object[] args = { config, this };
classLoaders = new ClassLoaderList();
heap = config.getEssentialInstance("vm.heap.class", Heap.class, argTypes, args);
threads = config.getEssentialInstance("vm.threadlist.class", ThreadList.class, argTypes, args);
}
示例4: initFields
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
public void initFields (Config config) {
path = new Path("fix-this!");
out = null;
ss = new SystemState(config, this);
stateSet = config.getInstance("vm.storage.class", StateSet.class);
if (stateSet != null) stateSet.attach(this);
backtracker = config.getEssentialInstance("vm.backtracker.class", Backtracker.class);
backtracker.attach(this);
scheduler = config.getEssentialInstance("vm.scheduler.class", Scheduler.class);
newStateId = -1;
}
示例5: JPF_gov_nasa_jpf_EventProducer
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
public JPF_gov_nasa_jpf_EventProducer (Config config){
eventTree = config.getEssentialInstance(EventTree.CONFIG_KEY, EventTree.class);
ctx = config.getInstance("event.context.class", EventContext.class);
logger.info("event tree generated by: ", eventTree.getClass().getName());
if (ctx != null){
logger.info("using context event: ", ctx.getClass().getName());
}
}
示例6: createDefaultCodeBuilder
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
/**
* override this if you need a different default CodeBuilder
*/
protected JVMCodeBuilder createDefaultCodeBuilder (Config config, int appId) {
String key = config.getIndexableKey("jvm.insn_factory.class", appId);
JVMInstructionFactory insnFactory = config.getEssentialInstance(key, JVMInstructionFactory.class);
return new JVMCodeBuilder(insnFactory);
}
示例7: DelegatingScheduler
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
public DelegatingScheduler (Config config){
syncPolicy = config.getEssentialInstance("vm.scheduler.sync.class", SyncPolicy.class);
sharednessPolicy = config.getEssentialInstance("vm.scheduler.sharedness.class", SharednessPolicy.class);
}
示例8: initTimeModel
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
protected void initTimeModel (Config config){
Class<?>[] argTypes = { VM.class, Config.class };
Object[] args = { this, config };
timeModel = config.getEssentialInstance("vm.time.class", TimeModel.class, argTypes, args);
}