% Author: Colin Eles elesc@mcmaster.ca
% Organization: McMaster Centre for Software Certification
classdef ValidationReport < handle
    %UNTITLED Summary of this class goes here
    %   Detailed explanation goes here
    
    properties
        fig = [];
        PVS_results = [];
        fig_height = 400;
        fig_width = 800;
        edit_tcc = [];
        edit_seq = [];
        edit_ce = [];
        pb_next = [];
        pb_prev = [];
        pb_open = [];
        label_tcc = [];
        label_seq = [];
        label_ce = [];
        label_page = [];
        label_title = [];
        label_height = 15;
        TCC_width = 200;
        TCC_height = 200;
        seq_width = 300;
        seq_height = 200;
        ce_width = 200;
        ce_height = 200;
        header_height = 60;
        gui = [];
        pb_nav_width = 60;
        pb_nav_height = 20;
        
        offset = 10;
        page = 1;
        keyword = '1234a';
        tc_mode = [];
    end
    
    methods
        
        %% ValidationReport
        %    constructor
        % inputs:
        %   guinew:GUI - main gui object
        % outputs:
        %   object:ValidationReport - current object
        
        function object = ValidationReport(guinew)
            object.gui = guinew;
        end
        
        
        
    end
    
end

