Commit 6125d2eb authored by Colin Eles's avatar Colin Eles
Browse files

added button to open pvs if typechecking fails 

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5854 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
parent cd0bebec

ValidationReport.m

+17 −0
Original line number Diff line number Diff line
@@ -12,6 +12,7 @@ classdef ValidationReport < handle 
        edit_ce = [];

        pb_next = [];

        pb_prev = [];

        pb_open = [];

        label_tcc = [];

        label_seq = [];

        label_ce = [];
@@ -28,6 +29,7 @@ classdef ValidationReport < handle 
        gui = [];

        pb_nav_width = 60;

        pb_nav_height = 20;

       

        offset = 10;

        page = 1;

        keyword = '1234a';
@@ -143,6 +145,15 @@ classdef ValidationReport < handle 
                'FontWeight','bold',...

                'FontSize',15,...

                'BackgroundColor',get(obj.fig,'Color'));

            

            obj.pb_open = uicontrol('style','push',...

                    'units','pix',...

                    'string','Open PVS',...

                    'HorizontalAlign','left',...

                    'Parent',obj.fig,...

                    'enable','on',...

                    'callback',@(src,event)pb_open_call(obj,src,event));

                

                obj.position;

                obj.populate;

            end
@@ -162,6 +173,7 @@ classdef ValidationReport < handle 
            set(obj.label_page,'position',[obj.fig_width-obj.pb_nav_width*2-obj.offset*2, obj.fig_height-obj.offset-obj.header_height+obj.label_height+obj.pb_nav_height+obj.offset/2,obj.pb_nav_width*2+obj.offset,obj.pb_nav_height]);

            set(obj.pb_next,'position',[obj.fig_width - obj.pb_nav_width - obj.offset, obj.fig_height - obj.offset - obj.header_height + obj.label_height + obj.offset/2, obj.pb_nav_width, obj.pb_nav_height]);

            set(obj.pb_prev,'position',[obj.fig_width - obj.pb_nav_width - obj.offset - obj.offset - obj.pb_nav_width, obj.fig_height - obj.offset - obj.header_height + obj.label_height+obj.offset/2, obj.pb_nav_width, obj.pb_nav_height]);

            set(obj.pb_open,'position',[obj.fig_width - obj.pb_nav_width - obj.offset - obj.offset - obj.pb_nav_width - obj.offset - obj.pb_nav_width, obj.fig_height - obj.offset - obj.header_height + obj.label_height+obj.offset/2, obj.pb_nav_width, obj.pb_nav_height]);

        end

        

        function [] = pb_prev_call(obj,src,event)
@@ -193,6 +205,11 @@ classdef ValidationReport < handle 
                    delete(obj.fig);

        end

        

         function [] = pb_open_call(obj,src,event)

                                [status, result] = system(['pvs ' get(obj.gui.function_name_control,'String') '.pvs']);



        end

        

        function [] = populate(obj)

            % temporarily used to reset colours

            obj.gui.check_call([],[]);