本文整理汇总了Java中jkind.results.UnknownProperty类的典型用法代码示例。如果您正苦于以下问题:Java UnknownProperty类的具体用法?Java UnknownProperty怎么用?Java UnknownProperty使用的例子?那么, 这里精选的类代码示例或许可以为您提供帮助。
UnknownProperty类属于jkind.results包,在下文中一共展示了UnknownProperty类的6个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: addViewCounterexampleMenu
import jkind.results.UnknownProperty; //导入依赖的package包/类
private void addViewCounterexampleMenu(IMenuManager manager, PropertyResult result) {
final Counterexample cex = getCounterexample(result);
if (cex == null) {
return;
}
boolean inductive = result.getProperty() instanceof UnknownProperty;
String text = "View " + (inductive ? "Inductive " : "") + "Counterexample in ";
manager.add(new Action(text + "spreadsheet") {
@Override
public void run() {
viewCexSpreadsheet(cex, layout);
}
});
manager.add(new Action(text + "Eclipse") {
@Override
public void run() {
viewCexEclipse(cex,layout);
}
});
}
示例2: addViewCounterexampleMenu
import jkind.results.UnknownProperty; //导入依赖的package包/类
private void addViewCounterexampleMenu(IMenuManager manager, PropertyResult result) {
final Counterexample cex = getCounterexample(result);
if (cex == null) {
return;
}
boolean inductive = result.getProperty() instanceof UnknownProperty;
String text = "View " + (inductive ? "Inductive " : "") + "Counterexample in ";
manager.add(new Action(text + "Spreadsheet") {
@Override
public void run() {
viewCexSpreadsheet(cex, layout);
}
});
manager.add(new Action(text + "Eclipse") {
@Override
public void run() {
viewCexEclipse(cex, layout);
}
});
}
示例3: receiveCex
import jkind.results.UnknownProperty; //导入依赖的package包/类
public void receiveCex(final ComponentImplementation compImpl, Property property, EObject agreeProperty, final Counterexample cex, final Map<String, EObject> refMap, final Mode mode) {
// Launch the simulation
final SimulationService simulationService = Objects.requireNonNull((SimulationService)PlatformUI.getWorkbench().getActiveWorkbenchWindow().getService(SimulationService.class), "Unable to retrieve simulation service");
final SimulationLaunchShortcut launchShortcut = new SimulationLaunchShortcut();
try {
final boolean isInductiveCex = property instanceof UnknownProperty;
final ILaunch launch = launchShortcut.launch(compImpl, isInductiveCex ? mode.inductiveEngineTypeId : mode.engineTypeId, ILaunchManager.RUN_MODE);
// Get the simulation engine
final SimulationEngine simulationEngine = getSimulationEngine(launch);
if(simulationEngine instanceof AGREESimulationEngine) {
final AGREESimulationEngine agreeSimulationEngine = (AGREESimulationEngine)simulationEngine;
final SimulationUIService simulationUIService = Objects.requireNonNull((SimulationUIService)PlatformUI.getWorkbench().getActiveWorkbenchWindow().getService(SimulationUIService.class), "Unable to retrieve simulation UI service");
final Map<String, Object> signalNameToSimStateElementMap = buildAgreeNameToSimulationStateElementMap(agreeSimulationEngine);
simulateCounterexample(cex, 0, signalNameToSimStateElementMap, agreeSimulationEngine, simulationService, simulationUIService);
}
} catch (final Exception e) {
simulationService.getExceptionHandler().handleException(e);
}
}
示例4: renameKind2Prop
import jkind.results.UnknownProperty; //导入依赖的package包/类
private Property renameKind2Prop(Property property){
if(property instanceof InvalidProperty){
InvalidProperty renamedInvalid = (InvalidProperty)property;
return new InvalidProperty(renamedInvalid.getName(),
renamedInvalid.getSource(),
rename(renamedInvalid.getCounterexample()),
renamedInvalid.getConflicts(),
renamedInvalid.getRuntime());
}else if(property instanceof UnknownProperty){
UnknownProperty renamedUnknown = (UnknownProperty)property;
UnknownProperty newProp = new UnknownProperty(renamedUnknown.getName(),
renamedUnknown.getTrueFor(),
rename(renamedUnknown.getInductiveCounterexample()),
renamedUnknown.getRuntime());
return newProp;
}
if(!(property instanceof ValidProperty)){
throw new AgreeException("Unexpected property type");
}
return property;
}
示例5: getCounterexample
import jkind.results.UnknownProperty; //导入依赖的package包/类
private static Counterexample getCounterexample(PropertyResult result) {
Property prop = result.getProperty();
if (prop instanceof InvalidProperty) {
return ((InvalidProperty) prop).getCounterexample();
} else if (prop instanceof UnknownProperty) {
return ((UnknownProperty) prop).getInductiveCounterexample();
} else {
return null;
}
}
示例6: getCounterexampleType
import jkind.results.UnknownProperty; //导入依赖的package包/类
private static String getCounterexampleType(AnalysisResult result) {
if (result instanceof PropertyResult) {
Property prop = ((PropertyResult) result).getProperty();
if (prop instanceof UnknownProperty) {
return "Inductive ";
}
}
return " ";
}