Examples with TcgLinkerFactory com.rockwellcollins.atc.tcg.views.TcgLinkerFactory used on opensource projects

Example 1 with TcgLinkerFactory

use of com.rockwellcollins.atc.tcg.views.TcgLinkerFactory in project AGREE by loonwerks.

the class OpenHandler method doAnalysis.

protected IStatus doAnalysis(final IProgressMonitor monitor) {
    try {
        System.out.println("Loading test suite...");
        TestSuite testSuite = loadTests();
        if (testSuite != null) {
            ComponentImplementation ci = getComponentImplFromString(testSuite.getSystemImplUnderTest());
            TcgLinkerFactory linkerFactory = new TcgLinkerFactory(ci, false, false);
            showSuiteView(testSuite, linkerFactory.getLinker(), extractJKindResult(linkerFactory.getAnalysisResult()));
        }
    } catch (Exception e) {
        System.out.println("Error" + e.toString());
        throw e;
    } finally {
        System.out.println("Test suite loading complete");
    }
    return Status.OK_STATUS;
}

Example 2 with TcgLinkerFactory

use of com.rockwellcollins.atc.tcg.views.TcgLinkerFactory in project AGREE by loonwerks.

the class VerifyHandler method runJob.

@Override
protected final IStatus runJob(Element root, IProgressMonitor monitor) {
    handlerService = getWindow().getService(IHandlerService.class);
    if (!(root instanceof ComponentImplementation)) {
        return new Status(IStatus.ERROR, Activator.PLUGIN_ID, "Must select an AADL Component Implementation");
    }
    if (isRecursive() && AgreeUtils.usingKind2()) {
        throw new AgreeException("Kind2 only supports monolithic verification");
    }
    try {
        TcgLinkerFactory factory = new TcgLinkerFactory((ComponentImplementation) root, isMonolithic(), isRecursive());
        AnalysisResult result = factory.getAnalysisResult();
        linker = factory.getLinker();
        queue = factory.getWorkQueue();
        showView(result, linker);
        return doAnalysis(root, monitor);
    } catch (Throwable e) {
        String messages = getNestedMessages(e);
        return new Status(IStatus.ERROR, Activator.PLUGIN_ID, 0, messages, e);
    }
}