本文整理汇总了Java中gov.nasa.jpf.JPF.addPublisherExtension方法的典型用法代码示例。如果您正苦于以下问题：Java JPF.addPublisherExtension方法的具体用法？Java JPF.addPublisherExtension怎么用？Java JPF.addPublisherExtension使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类gov.nasa.jpf.JPF的用法示例。
在下文中一共展示了JPF.addPublisherExtension方法的12个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: CoverageAnalyzer
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
public CoverageAnalyzer(Config conf, JPF jpf) {
includes = StringSetMatcher.getNonEmpty(conf.getStringArray("coverage.include"));
excludes = StringSetMatcher.getNonEmpty(conf.getStringArray("coverage.exclude"));
showMethods = conf.getBoolean("coverage.show_methods", false);
showMethodBodies = conf.getBoolean("coverage.show_bodies", false);
excludeHandlers = conf.getBoolean("coverage.exclude_handlers", false);
showBranchCoverage = conf.getBoolean("coverage.show_branches", true);
loadedOnly = conf.getBoolean("coverage.loaded_only", true);
showRequirements = conf.getBoolean("coverage.show_requirements", false);
if (!loadedOnly) {
getCoverageCandidates(); // this might take a little while
}
jpf.addPublisherExtension(ConsolePublisher.class, this);
}
示例2: SimpleDot
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
public SimpleDot( Config config, JPF jpf){
graphAttrs = config.getString("dot.graph_attr", GRAPH_ATTRS);
genericNodeAttrs = config.getString("dot.node_attr", GENERIC_NODE_ATTRS);
genericEdgeAttrs = config.getString("dot.edge_attr", GENERIC_EDGE_ATTRS);
newEdgeAttrs = config.getString("dot.new_edge_attr", NEW_EDGE_ATTRS);
visitedEdgeAttrs = config.getString("dot.visited_edge_attr", VISITED_EDGE_ATTRS);
startNodeAttrs = config.getString("dot.start_node_attr", START_NODE_ATTRS);
endNodeAttrs = config.getString("dot.end_node_attr", END_NODE_ATTRS);
errorNodeAttrs = config.getString("dot.error_node_attr", ERROR_NODE_ATTRS);
backtrackEdgeAttrs = config.getString("dot.bt_edge_attr", BACKTRACK_EDGE_ATTRS);
restoreEdgeAttrs = config.getString("dot.restore_edge_attr", RESTORED_EDGE_ATTRS);
printFile = config.getBoolean("dot.print_file", false);
showTarget = config.getBoolean("dot.show_target", false);
// app and filename are not known until the search is started
jpf.addPublisherExtension(ConsolePublisher.class, this);
}
示例3: ChoiceTracker
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
public ChoiceTracker (Config config, JPF jpf) {
this.config = config;
vm = jpf.getVM();
search = jpf.getSearch();
String fname = config.getString("choice.trace");
if (fname == null) {
isReportExtension = true;
jpf.addPublisherExtension(ConsolePublisher.class, this);
// pw is going to be set later
} else {
try {
pw = new PrintWriter(fname);
} catch (FileNotFoundException fnfx) {
System.err.println("cannot write choice trace to file: " + fname);
pw = new PrintWriter(System.out);
}
}
excludes = config.getStringArray("choice.exclude");
cgClasses = config.getClasses("choice.class");
format = config.getEnum("choice.format", Format.values(), Format.CG);
showLocation = config.getBoolean("choice.show_location", true);
}
示例4: ObjectTracker
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
public ObjectTracker (Config conf, JPF jpf) {
includeClasses = StringSetMatcher.getNonEmpty(conf.getStringArray("ot.include"));
excludeClasses = StringSetMatcher.getNonEmpty(conf.getStringArray("ot.exclude", new String[] { "*" }));
trackedRefs = new SortedArrayIntSet();
int[] refs = conf.getIntArray("ot.refs");
if (refs != null){
for (int i=0; i<refs.length; i++){
trackedRefs.add(refs[i]);
}
}
logCalls = conf.getBoolean("ot.log_calls", true);
logFieldAccess = conf.getBoolean("ot.log_fields", true);
registerListener(jpf);
jpf.addPublisherExtension(ConsolePublisher.class, this);
}
示例5: PathOutputMonitor
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
public PathOutputMonitor (Config config, JPF jpf) {
vm = jpf.getVM();
vm.storePathOutput();
jpf.addPublisherExtension(ConsolePublisher.class, this);
printOutput = config.getBoolean("pom.print_output", true);
deferOutput = config.getBoolean("pom.defer_output", true);
psClass = config.getClass("pom.output_spec.class", PathOutputSpec.class);
if (psClass == null) {
psClass = RegexOutputSpec.class;
}
anySpecs = loadSpecs(config, "pom.any");
allSpecs = loadSpecs(config, "pom.all");
noneSpecs = loadSpecs(config, "pom.none");
violatedSpecs = new ArrayList<PathOutputSpec>();
}
示例6: MethodAnalyzer
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
public MethodAnalyzer (Config config, JPF jpf){
jpf.addPublisherExtension(ConsolePublisher.class, this);
maxHistory = config.getInt("method.max_history", Integer.MAX_VALUE);
format = config.getString("method.format", "raw");
skipInit = config.getBoolean("method.skip_init", true);
showDepth = config.getBoolean("method.show_depth", false);
showTransition = config.getBoolean("method.show_transition", false);
includes = StringSetMatcher.getNonEmpty(config.getStringArray("method.include"));
excludes = StringSetMatcher.getNonEmpty(config.getStringArray("method.exclude"));
vm = jpf.getVM();
search = jpf.getSearch();
}
示例7: StateSpaceAnalyzer
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
public StateSpaceAnalyzer(Config config, JPF jpf) {
m_maxStates = config.getInt("ssa.max_states", -1);
m_maxTime = config.getDuration("ssa.max_time", -1);
m_maxMemory = config.getMemorySize("ssa.max_memory", -1);
m_maxChoices = config.getInt("ssa.max_choices", -1);
m_maxOutputLines = config.getInt("ssa.max_output_lines", 10);
initGroupers(config);
jpf.addPublisherExtension(ConsolePublisher.class, this);
}
示例8: DeadlockAnalyzer
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
public DeadlockAnalyzer (Config config, JPF jpf){
jpf.addPublisherExtension(ConsolePublisher.class, this);
maxHistory = config.getInt("deadlock.max_history", Integer.MAX_VALUE);
format = config.getString("deadlock.format", "essential");
vm = jpf.getVM();
search = jpf.getSearch();
}
示例9: ErrorTraceGenerator
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
public ErrorTraceGenerator(Config conf, JPF jpf) {
jpf.addPublisherExtension(ConsolePublisher.class, this);
showInsn = conf.getBoolean("etg.show_insn", showInsn);
showSrc = conf.getBoolean("etg.show_src", showLoc);
showLoc = conf.getBoolean("etg.show_loc", showSrc);
}
示例10: HeapTracker
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
public HeapTracker (Config config, JPF jpf) {
maxHeapSizeLimit = config.getInt("heap.size_limit", -1);
maxLiveLimit = config.getInt("heap.live_limit", -1);
throwOutOfMemory = config.getBoolean("heap.throw_exception");
showTypeStats = config.getBoolean("heap.show_types");
maxTypesShown = config.getInt("heap.max_types", 20);
includes = StringSetMatcher.getNonEmpty(config.getStringArray("heap.include"));
excludes = StringSetMatcher.getNonEmpty(config.getStringArray("heap.exclude"));
jpf.addPublisherExtension(ConsolePublisher.class, this);
}
示例11: NullTracker
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
public NullTracker (Config config, JPF jpf){
jpf.addPublisherExtension(ConsolePublisher.class, this);
}
示例12: VarTracker
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
public VarTracker (Config config, JPF jpf){
includeVars = StringSetMatcher.getNonEmpty(config.getStringArray("vt.include"));
excludeVars = StringSetMatcher.getNonEmpty(config.getStringArray("vt.exclude",
new String[] {"java.*", "javax.*"} ));
maxVars = config.getInt("vt.max_vars", 25);
methodSpec = MethodSpec.createMethodSpec(config.getString("vt.methods", "!java.*.*"));
jpf.addPublisherExtension(ConsolePublisher.class, this);
}