Search in sources :

Example 6 with TestSuite

use of com.rockwellcollins.atc.tcg.suite.TestSuite in project AGREE by loonwerks.

the class SaveHandler method doAnalysis.

protected IStatus doAnalysis(final IProgressMonitor monitor) {
    Thread analysisThread = new Thread() {

        String filePath;

        TestSuiteView view;

        @Override
        public void run() {
            activateTerminateHandler(monitor);
            Shell activeShell = getWindow().getShell();
            System.out.println("Saving test suite...");
            syncExec(() -> {
                view = (TestSuiteView) getWindow().getActivePage().findView(TestSuiteView.ID);
            });
            if (view != null) {
                TestSuite suite = view.getInput();
                if (suite != null) {
                    System.out.println("Bringing up file dialog...");
                    syncExec(() -> {
                        FileDialog dialog = new FileDialog(activeShell, SWT.SAVE);
                        if (startingFilePath != null) {
                            dialog.setFileName(startingFilePath);
                        }
                        String[] filterNames = new String[] { "XML Files", "All Files (*)" };
                        String[] filterExtensions = new String[] { "*.xml", "*" };
                        dialog.setFilterNames(filterNames);
                        dialog.setFilterExtensions(filterExtensions);
                        dialog.setOverwrite(true);
                        filePath = dialog.open();
                    });
                    if (filePath != null) {
                        startingFilePath = filePath;
                        System.out.println("filePath: " + filePath);
                        TestSuiteLinker linker = (TestSuiteLinker) view.getMenuListener().getLinker();
                        AnalysisResult result = view.getMenuListener().getAnalysisResult();
                        List<Type> types = linker.getAgreeProgram(result).globalTypes;
                        try {
                            TcgXmlWriter tcgXmlWriter = new TcgXmlWriter(filePath, types, false);
                            tcgXmlWriter.writeSuite(suite);
                            System.out.println("This would be where test suite written to " + filePath);
                        } catch (FileNotFoundException fnfe) {
                            fnfe.printStackTrace();
                        }
                    // TcgXmlWriter consoleWriter = new TcgXmlWriter(null, null, true);
                    // consoleWriter.writeSuite(suite);
                    }
                } else {
                    syncExec(() -> {
                        MessageBox mb = new MessageBox(activeShell);
                        mb.setMessage("Error: no test suite loaded.  Please open a test suite\n");
                        mb.open();
                    });
                }
            } else {
                syncExec(() -> {
                    MessageBox mb = new MessageBox(activeShell);
                    mb.setMessage("Error: test suite view needs to be active in order to save.\n");
                    mb.open();
                });
            }
            deactivateTerminateHandler();
        }
    };
    analysisThread.start();
    return Status.OK_STATUS;
}
Also used : TestSuiteView(com.rockwellcollins.atc.tcg.views.TestSuiteView) TestSuiteLinker(com.rockwellcollins.atc.tcg.views.TestSuiteLinker) FileNotFoundException(java.io.FileNotFoundException) AnalysisResult(jkind.api.results.AnalysisResult) TcgXmlWriter(com.rockwellcollins.atc.tcg.writers.TcgXmlWriter) MessageBox(org.eclipse.swt.widgets.MessageBox) Shell(org.eclipse.swt.widgets.Shell) Type(jkind.lustre.Type) TestSuite(com.rockwellcollins.atc.tcg.suite.TestSuite) FileDialog(org.eclipse.swt.widgets.FileDialog)

Aggregations

TestSuite (com.rockwellcollins.atc.tcg.suite.TestSuite)6 TcgException (com.rockwellcollins.atc.tcg.TcgException)2 IOException (java.io.IOException)2 Shell (org.eclipse.swt.widgets.Shell)2 PartInitException (org.eclipse.ui.PartInitException)2 TcgRenaming (com.rockwellcollins.atc.tcg.obligations.ufc.TcgRenaming)1 TcgXmlReader (com.rockwellcollins.atc.tcg.readers.TcgXmlReader)1 TcgLinkerFactory (com.rockwellcollins.atc.tcg.views.TcgLinkerFactory)1 TestSuiteLinker (com.rockwellcollins.atc.tcg.views.TestSuiteLinker)1 TestSuiteView (com.rockwellcollins.atc.tcg.views.TestSuiteView)1 TcgXmlWriter (com.rockwellcollins.atc.tcg.writers.TcgXmlWriter)1 FileInputStream (java.io.FileInputStream)1 FileNotFoundException (java.io.FileNotFoundException)1 InputStream (java.io.InputStream)1 JKindException (jkind.JKindException)1 KindApi (jkind.api.KindApi)1 AnalysisResult (jkind.api.results.AnalysisResult)1 JKindResult (jkind.api.results.JKindResult)1 Program (jkind.lustre.Program)1 Type (jkind.lustre.Type)1