Examples with JKindResult jkind.api.results.JKindResult used on opensource projects

Example 16 with JKindResult

use of jkind.api.results.JKindResult in project AGREE by loonwerks.

the class TestCaseGeneratorMenuListener method addOpenTestSuiteViewMenu.

private void addOpenTestSuiteViewMenu(IMenuManager manager, AnalysisResult result) {
    if (result instanceof JKindResult) {
        JKindResult jresult = (JKindResult) result;
        manager.add(new Action("View/Modify Test Suite") {

            @Override
            public void run() {
                viewTestSuite(jresult, linker);
            }
        });
    }
}