Commit b206bdec authored by Colin Eles's avatar Colin Eles
Browse files

Rename Settings to TTSettings, to avoid conflict with Matlab class 

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

@GUI/init.m

+1 −1
Original line number Diff line number Diff line
@@ -185,7 +185,7 @@ object.setPBenable; 
object.default_prover = object.CVC_const;





object.settings = Settings();

object.settings = TTSettings();

if isfield(object.Data.settings,'set')

    object.settings.setvalues(object.Data.settings);

else

@TTSettings/Settings.m

0 → 100644
+49 −0
Original line number Diff line number Diff line 
% Author: Colin Eles elesc@mcmaster.ca

% Organization: McMaster Centre for Software Certification

classdef Settings < handle

    %UNTITLED Summary of this class goes here

    %   Detailed explanation goes here

    

    properties

        % settings

        pvs_includes = [];

        counter_trials = [];

        counter_range = [];

        except = [];

        

        % gui elements

        fig_width = 400;

        fig_height = 300;

        open = 0;

        fig = [];

        button_width = 60;

        button_height = 30;

        button_offset = 10;

        title_height = 30;

        label_height = 30;

        label_width = 75;

        text_offset = 10;

        

        include_text = [];

        count_text = [];

        range_text = [];

        except_check = [];

    end

    

    methods

        

        %% Settings

        %    constructor

        % inputs:

        %   none

        % outputs:

        %   object:Settings - created object

        function object = Settings()

        end

        

        

        

    end

    

end

@TTSettings/apply_call.m

0 → 100644
+15 −0
Original line number Diff line number Diff line 
%% apply_call

%    callback for apply button, save the settings but do not close

%    figure.

% inputs:

%   object:Settings - current object

%   src - source of the callback calling

%   event - event that triggered the callback

% outputs:

%   none

% Author: Colin Eles elesc@mcmaster.ca

% Organization: McMaster Centre for Software Certification

function err = apply_call(object,src,event)

object.save;

end

@TTSettings/cancel_call.m

0 → 100644
+13 −0
Original line number Diff line number Diff line 
%% cancel_call

%    callback for cancel button, cose figure don't save settings

% inputs:

%   object:Settings - current object

%   src - source of the callback calling

%   event - event that triggered the callback

% outputs:

%   none

% Author: Colin Eles elesc@mcmaster.ca

% Organization: McMaster Centre for Software Certification

function [] = cancel_call(object,src,event)

object.close_fig([],[]);

end

@TTSettings/close_fig.m

0 → 100644
+16 −0
Original line number Diff line number Diff line 
%% close_fig

%    when close button is pressed delete the figure, allow a new

%    one to be opened

% inputs:

%   object:Settings - current object

%   src - source of the callback calling

%   event - event that triggered the callback

% outputs:

%   none

% Author: Colin Eles elesc@mcmaster.ca

% Organization: McMaster Centre for Software Certification

function [] = close_fig(object,src,event)

delete(object.fig);

object.open = 0;

end