本文整理汇总了Java中jkind.api.results.JKindResult.getPropertyResults方法的典型用法代码示例。如果您正苦于以下问题：Java JKindResult.getPropertyResults方法的具体用法？Java JKindResult.getPropertyResults怎么用？Java JKindResult.getPropertyResults使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类jkind.api.results.JKindResult的用法示例。
在下文中一共展示了JKindResult.getPropertyResults方法的4个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: testSuiteFromJKindResult
import jkind.api.results.JKindResult; //导入方法依赖的package包/类
public static TestSuite testSuiteFromJKindResult(JKindResult result, String implUnderTest, String name, String description) {
List<TestCase> tests = new ArrayList<>();
for (PropertyResult pr : result.getPropertyResults()) {
if (pr.getProperty() instanceof InvalidProperty) {
InvalidProperty invalidProp = (InvalidProperty)pr.getProperty();
tests.add(new TestCase(pr.getName(), "", invalidProp.getCounterexample()));
}
}
return new TestSuite(implUnderTest, name, description, tests, TestSuite.State.INSTANTIATED);
}
示例2: addTraceabilityMatrixMenu
import jkind.api.results.JKindResult; //导入方法依赖的package包/类
private void addTraceabilityMatrixMenu(IMenuManager manager, AnalysisResult result) {
IPreferenceStore prefs = Activator.getDefault().getPreferenceStore();
if (prefs.getString(PreferenceConstants.PREF_MODEL_CHECKER)
.equals(PreferenceConstants.MODEL_CHECKER_JKIND) &&
prefs.getBoolean(PreferenceConstants.PREF_SUPPORT) &&
result instanceof JKindResult) {
JKindResult jresult = (JKindResult)result;
Set<String> reqs = new HashSet<String>();
for (PropertyResult pr : jresult.getPropertyResults()) {
if (pr.getProperty() instanceof ValidProperty) {
ValidProperty vp = (ValidProperty) pr.getProperty();
Set<String> ivc = vp.getIvc();
if (ivc != null && !ivc.isEmpty()) {
reqs.addAll(ivc);
}
}
}
String nodeName = linker.getComponent(result).getName();
manager.add(
new Action("View traceability matrix for " + nodeName) {
public void run() {
viewTraceabilityMatrix(jresult, reqs);
}
});
}
}
示例3: usedCandidates
import jkind.api.results.JKindResult; //导入方法依赖的package包/类
public List<String> usedCandidates(JKindResult result) {
Set<String> reqs = new HashSet<String>();
for (PropertyResult pr : result.getPropertyResults()) {
if (pr.getProperty() instanceof ValidProperty) {
ValidProperty vp = (ValidProperty) pr.getProperty();
Set<String> ivc = vp.getIvc();
if (ivc != null && !ivc.isEmpty()) {
reqs.addAll(ivc);
}
}
}
return reqs.stream().collect(Collectors.toList());
}
示例4: createContent
import jkind.api.results.JKindResult; //导入方法依赖的package包/类
private void createContent(JKindResult result, List<String> raw) {
for (PropertyResult pr : result.getPropertyResults()) {
if (pr.getProperty() instanceof ValidProperty) {
ValidProperty vp = (ValidProperty) pr.getProperty();
Set<String> ivc = vp.getIvc();
if (ivc != null && !ivc.isEmpty()) {
createRow(vp.getName(), ivc, raw);
}
}
}
}