From 16db948f18e264345f34204348d8fa6d1ee2d9b5 Mon Sep 17 00:00:00 2001
From: Colin Eles <elesc@mcmaster.ca>
Date: Fri, 15 Oct 2010 19:09:05 +0000
Subject: [PATCH] tagged next version of tool

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/tags/TableTool/v0.2@6384 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
---
 @GUI/GUI.m              |  2 +-
 @GUI/pvs_ext_call_sim.m | 57 +++++++++++++++++++++++++++++++++++++++++
 2 files changed, 58 insertions(+), 1 deletion(-)
 create mode 100644 @GUI/pvs_ext_call_sim.m

diff --git a/@GUI/GUI.m b/@GUI/GUI.m
index 1acd574..e82037b 100644
--- a/@GUI/GUI.m
+++ b/@GUI/GUI.m
@@ -61,7 +61,7 @@ classdef GUI < handle
         multi_grp = [];
         multi_opt_reg = [];
         multi_opt_out = [];
-        version = '0.1';
+        version = '0.2';
         undo_man = [];
         undo_opt = [];
         redo_opt = [];
diff --git a/@GUI/pvs_ext_call_sim.m b/@GUI/pvs_ext_call_sim.m
new file mode 100644
index 0000000..477a1f3
--- /dev/null
+++ b/@GUI/pvs_ext_call_sim.m
@@ -0,0 +1,57 @@
+function [  ] = pvs_ext_call_sim( object, event, src )
+%PVS_EXT_CALL_SIM Summary of this function goes here
+%   Detailed explanation goes here
+object.save_call([],[]);
+object.save_data;
+
+if (object.validation_report_handle ~= 0)
+    delete(object.validation_report_handle);
+end
+error = object.check_call;
+
+    [object.PVS.input_type,object.PVS.output_type] = object.compiled_types;
+    %[is, os] = object.compiled_types;
+    %object.PVS.output_type = object.output_data_type;
+    
+    %object.PVS.input_type = object.input_data_type;
+
+
+object.PVS.type_mode = 1;
+
+
+% copy pvs theory to pwd
+copyfile(fullfile(fileparts(which('TTdiag')),'PVS_theories','matlab_types.pvs'),pwd);
+
+% inputs = regexp(object.Data.function_inputs,',','split');
+% for i=1:size(inputs,2)
+%     varname = regexp(inputs(i),':','split');
+%     for j=1:size(is,2)
+%         if(strcmp(varname(1),is(j))
+%             inputs(i)=PVS_Checker.replace_types_sim(inputs(i)
+%         end
+%     end
+% end
+
+if (~error)
+    [check,result] = object.PVS.pvs_check;
+    if (check == 1)
+        msgbox('table is valid');
+    elseif (check == 0 && strcmp(result,'canceled'))
+        return;
+    else
+        Valid_Report = ValidationReport(object);
+        Valid_Report.set_results(result);
+        Valid_Report.init();
+    end
+    object.pvs_checked = check;
+    object.update_Statusbar;
+    if (object.mode == 1)
+        
+        TableBlock.set_block_display(object.block_handle,object.pvs_checked);
+    end
+end
+
+end
+
+
+
-- 
GitLab