Skip to content
check_system.m 944 B
Newer Older
% Author: Colin Eles elesc@mcmaster.ca
% Organization: McMaster Centre for Software Certification
function [ output_args ] = check_system(system)
%UNTITLED Summary of this function goes here
%   Detailed explanation goes here
blocks = find_system(system,'MaskDescription','Table Block');
msg = [];
for i = 1:size(blocks,1)
    if ~strncmp(blocks(i),'TableLibrary',12)
        block_data = get_param(char(blocks(i)),'UserData');
        if ~isempty(block_data)
            PVS = PVS_checker(block_data);
            [check,result] = PVS.pvs_check;
            if (check == 1)
                msg = [msg char(blocks(i)) ' is valid' sprintf('\n')];
                msg = [msg char(blocks(i)) ' is not valid' sprintf('\n')];
            end
            block_data.checked = check;
            TableBlock.set_block_display(char(blocks(i)),block_data.checked)