本文整理汇总了Java中gov.nasa.jpf.Config.getInstances方法的典型用法代码示例。如果您正苦于以下问题:Java Config.getInstances方法的具体用法?Java Config.getInstances怎么用?Java Config.getInstances使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类gov.nasa.jpf.Config
的用法示例。
在下文中一共展示了Config.getInstances方法的6个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: initializeAttributors
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
protected void initializeAttributors (VM vm, int appId){
attributors = new ArrayList<Attributor>();
Config conf = vm.getConfig();
String key = conf.getIndexableKey("vm.attributors", appId);
if (key != null){
for (Attributor a : conf.getInstances(key, Attributor.class)){
attributors.add(a);
}
}
}
示例2: getProperties
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
/**
* return set of configured properties
* note there is a name clash here - JPF 'properties' have nothing to do with
* Java properties (java.util.Properties)
*/
protected ArrayList<Property> getProperties (Config config) {
Class<?>[] argTypes = { Config.class, Search.class };
Object[] args = { config, this };
ArrayList<Property> list = config.getInstances("search.properties", Property.class,
argTypes, args);
return list;
}
示例3: appendConfiguredFrameAmmendments
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
protected void appendConfiguredFrameAmmendments(Config config) {
ArrayList<FrameAmmendment> fas =
config.getInstances("filter.frame_ammendments", FrameAmmendment.class);
if (fas != null) frameAmmendments.append(fas);
}
示例4: appendConfiguredInstanceAmmendments
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
protected void appendConfiguredInstanceAmmendments(Config config) {
ArrayList<InstanceAmmendment> ias =
config.getInstances("filter.instance_ammendments", InstanceAmmendment.class);
if (ias != null) instanceAmmendments.append(ias);
}
示例5: appendConfiguredStaticAmmendments
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
protected void appendConfiguredStaticAmmendments(Config config) {
ArrayList<StaticAmmendment> sas =
config.getInstances("filter.static_ammendments", StaticAmmendment.class);
if (sas != null) staticAmmendments.append(sas);
}
示例6: appendConfiguredInstanceOverrides
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
protected void appendConfiguredInstanceOverrides(Config config) {
ArrayList<InstanceOverride> ios =
config.getInstances("filter.instance_overrides", InstanceOverride.class);
if (ios != null) instanceOverrides.append(ios);
}