Loading GUI.m +14 −0 Original line number Diff line number Diff line Loading @@ -205,6 +205,20 @@ classdef GUI < handle end % Set up Menu filemenu = uimenu('Label','File'); editmenu = uimenu('Label','Edit'); pvsmenu = uimenu('Label','PVS'); uimenu(filemenu,'Label','New','Accelerator','n'); uimenu(filemenu,'Label','Open...'); uimenu(filemenu,'Label','Save to Block','Separator','on'); uimenu(filemenu,'Label','Save to M-File'); uimenu(editmenu,'Label','Show edit controls','Checked','on'); uimenu(pvsmenu,'Label','Typecheck'); uimenu(pvsmenu,'Label','PVS Settings'); obj.set_command_pos; obj.reset_wh(); obj.draw_allgrids(1); Loading TTdiag.m +8 −17 Original line number Diff line number Diff line Loading @@ -6,12 +6,13 @@ orig_gcbh = gcbh; Action = varargin{1}; Mode = varargin{2}; if 1 ~= nargin DAStudio.warning('improper function use') end switch Action, case 'Open', if 1 ~= nargin DAStudio.warning('improper function use') end blockHandleTTTopMask = orig_gcbh; switch Mode, case 'Simulink' Loading @@ -37,7 +38,7 @@ end end function LocalCopyBlockFcn(blockHandleTTTopMask) data = get(blockHandleTTTopMask,'UserData') data = get(blockHandleTTTopMask,'UserData'); if(~isempty(data)) data_new = data.clone(blockHandleTTTopMask); Loading @@ -46,7 +47,7 @@ function LocalCopyBlockFcn(blockHandleTTTopMask) end function LocalOpenBlockFcn(blockHandleTTTopMask,mode) data = [] data = []; if (mode == 1) modelHandle = bdroot(blockHandleTTTopMask); Loading Loading @@ -105,8 +106,7 @@ function LocalCloseRequestBlockFcn(blockHandleTTTopMask) modelHandle = bdroot(blockHandleTTTopMask); data = get_param(blockHandleTTTopMask,'UserData') data = get_param(blockHandleTTTopMask,'UserData'); Loading @@ -116,17 +116,8 @@ if ~isempty(data) end end %set_param(gui.fig,'Visible','off') end % Make a copy of a handle object. function new = copy(this,h) % Instantiate new object of the same class. new = feval(class(this),h); % Copy all non-hidden properties. p = properties(this); for i = 1:length(p) new.(p{i}) = this.(p{i}); end end Loading
GUI.m +14 −0 Original line number Diff line number Diff line Loading @@ -205,6 +205,20 @@ classdef GUI < handle end % Set up Menu filemenu = uimenu('Label','File'); editmenu = uimenu('Label','Edit'); pvsmenu = uimenu('Label','PVS'); uimenu(filemenu,'Label','New','Accelerator','n'); uimenu(filemenu,'Label','Open...'); uimenu(filemenu,'Label','Save to Block','Separator','on'); uimenu(filemenu,'Label','Save to M-File'); uimenu(editmenu,'Label','Show edit controls','Checked','on'); uimenu(pvsmenu,'Label','Typecheck'); uimenu(pvsmenu,'Label','PVS Settings'); obj.set_command_pos; obj.reset_wh(); obj.draw_allgrids(1); Loading
TTdiag.m +8 −17 Original line number Diff line number Diff line Loading @@ -6,12 +6,13 @@ orig_gcbh = gcbh; Action = varargin{1}; Mode = varargin{2}; if 1 ~= nargin DAStudio.warning('improper function use') end switch Action, case 'Open', if 1 ~= nargin DAStudio.warning('improper function use') end blockHandleTTTopMask = orig_gcbh; switch Mode, case 'Simulink' Loading @@ -37,7 +38,7 @@ end end function LocalCopyBlockFcn(blockHandleTTTopMask) data = get(blockHandleTTTopMask,'UserData') data = get(blockHandleTTTopMask,'UserData'); if(~isempty(data)) data_new = data.clone(blockHandleTTTopMask); Loading @@ -46,7 +47,7 @@ function LocalCopyBlockFcn(blockHandleTTTopMask) end function LocalOpenBlockFcn(blockHandleTTTopMask,mode) data = [] data = []; if (mode == 1) modelHandle = bdroot(blockHandleTTTopMask); Loading Loading @@ -105,8 +106,7 @@ function LocalCloseRequestBlockFcn(blockHandleTTTopMask) modelHandle = bdroot(blockHandleTTTopMask); data = get_param(blockHandleTTTopMask,'UserData') data = get_param(blockHandleTTTopMask,'UserData'); Loading @@ -116,17 +116,8 @@ if ~isempty(data) end end %set_param(gui.fig,'Visible','off') end % Make a copy of a handle object. function new = copy(this,h) % Instantiate new object of the same class. new = feval(class(this),h); % Copy all non-hidden properties. p = properties(this); for i = 1:length(p) new.(p{i}) = this.(p{i}); end end