Commit 863f90a8 authored by Colin Eles's avatar Colin Eles
Browse files

suppressed output so that stuff does not print to command window when using tool, used new utility 

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

@CVC_checker/CVC_checker.m

+5 −5
Original line number Diff line number Diff line
@@ -4,7 +4,7 @@ classdef CVC_checker 
    

    properties

        

        command = 'cvc3'

        command = 'cvc3';

        data = [];

        

    end
@@ -12,10 +12,10 @@ classdef CVC_checker 
    

    methods(Static)

        

        [ code , query] = generate_cvc_grid( grid , level)

        [ code ] = find_parents( grid )

        cvc_string = matlab_to_cvc_syntax_translation(matlab_string)

        [ cvc_type ] = pvs_to_cvc_subtypes( pvs_type )

        [ code , query] = generate_cvc_grid( grid , level);

        [ code ] = find_parents( grid );

        cvc_string = matlab_to_cvc_syntax_translation(matlab_string);

        [ cvc_type ] = pvs_to_cvc_subtypes( pvs_type );

        

    end

@CVC_checker/cvc_check.m

+2 −2
Original line number Diff line number Diff line
@@ -7,12 +7,12 @@ function [ check, seqs ] = cvc_check( object ) 


    waitbar(.10,box,'Running Proof');



[status, result] = system(['cvc3 ' filename ' +model'])

[status, result] = system(['cvc3 ' filename ' +model']);



if (status ~= 0)

    

    if (status == 127)

        msgbox('CVC3 command not found')

        msgbox('CVC3 command not found');

    else

        msgbox(['an error has occured!' char(10) result]);

    end

@CVC_checker/generate_file.m

+1 −1
Original line number Diff line number Diff line
@@ -40,7 +40,7 @@ end 






char(code)

char(code);



fileid = fopen([function_name '.cvc'],'w');

fprintf(fileid,'%s',char(code));

@EMLGenerator/EMLGenerator.m

+2 −2
Original line number Diff line number Diff line
@@ -11,11 +11,11 @@ classdef EMLGenerator < handle 
    end

    

    methods(Static)

        revised_input = parse_inputs(input_string)

        revised_input = parse_inputs(input_string);

        

        

        

        converted = type_convert(name,type,expression)

        converted = type_convert(name,type,expression);

@GUI/GUI.m

+1 −1
Original line number Diff line number Diff line
@@ -92,7 +92,7 @@ classdef GUI < handle 
    end

    

    methods(Static)

        msgbox_scroll(msg)

        msgbox_scroll(msg);

        

    end

end