Loading @EMLGenerator/generate_preamble.m +2 −2 Original line number Diff line number Diff line Loading @@ -18,7 +18,7 @@ input = []; for i= 1:size(parsed_input,2) input = [input char(parsed_input{i}(1))]; if i ~= size(parsed_input,2) input = [input ','] input = [input ',']; end end Loading @@ -30,7 +30,7 @@ if (object.data.multi_mode == 1) output = [output char(parsed_output{1}(1))]; if i ~= size(object.data.Grid1.cells,2) output = [output ','] output = [output ',']; end end else Loading @EMLGenerator/type_convert.m +1 −1 Original line number Diff line number Diff line Loading @@ -15,7 +15,7 @@ if ~isempty(type) break; end end type_index = (size(type,1)*size(type,2))/2 type_index = (size(type,1)*size(type,2))/2; if strncmp(type{i+type_index},'fixdt',5) params = type{i+type_index}(7:end-1); % check this converted = ['fi(' expression ',' params ')']; Loading @PVS_checker/generate_pvs_multi_output.m +3 −3 Original line number Diff line number Diff line Loading @@ -27,7 +27,7 @@ for i=1:size(g1.cells,2) output_parsed = EMLGenerator.parse_inputs(strtrim(char(g1.cells(i).cond_text))); output = char(output_parsed{1}(1)) output = char(output_parsed{1}(1)); %if (i == 1) code = [code sprintf('%s := ',output)]; Loading @@ -46,10 +46,10 @@ for i=1:size(g1.cells,2) else end if i ~= size(object.data.Grid1.cells,2) code = [code ','] code = [code ',']; end end code = ['(#' code '#)'] code = ['(#' code '#)']; %code1 = [code1 ']']; %code2 = [code2 ']']; %code = [code1 ' = ' code2 sprintf('\n')]; Loading @ValidationReport/populate.m +1 −1 Original line number Diff line number Diff line Loading @@ -24,7 +24,7 @@ else % need to do some translation back to matlab syntax new_value = regexprep(char(object.PVS_results(object.page).ce(i+1)),'FALSE',' 0 '); new_value = regexprep(new_value,'TRUE',' 1 '); eval(['value = ' char(new_value)]); eval(['value = ' char(new_value) ';']); counter = [counter char(object.PVS_results(object.page).ce(i)) ' = ' num2str(value) ';' sprintf('\n')]; end Loading statusbar.m +2 −2 Original line number Diff line number Diff line Loading @@ -258,8 +258,8 @@ function addOrUpdateProp(handle,propName,propValue) schema.prop(handle,propName,'mxArray'); end set(handle,propName,propValue); catch catch exception % never mind... lasterr end %end %#ok for Matlab 6 compatibility No newline at end of file Loading
@EMLGenerator/generate_preamble.m +2 −2 Original line number Diff line number Diff line Loading @@ -18,7 +18,7 @@ input = []; for i= 1:size(parsed_input,2) input = [input char(parsed_input{i}(1))]; if i ~= size(parsed_input,2) input = [input ','] input = [input ',']; end end Loading @@ -30,7 +30,7 @@ if (object.data.multi_mode == 1) output = [output char(parsed_output{1}(1))]; if i ~= size(object.data.Grid1.cells,2) output = [output ','] output = [output ',']; end end else Loading
@EMLGenerator/type_convert.m +1 −1 Original line number Diff line number Diff line Loading @@ -15,7 +15,7 @@ if ~isempty(type) break; end end type_index = (size(type,1)*size(type,2))/2 type_index = (size(type,1)*size(type,2))/2; if strncmp(type{i+type_index},'fixdt',5) params = type{i+type_index}(7:end-1); % check this converted = ['fi(' expression ',' params ')']; Loading
@PVS_checker/generate_pvs_multi_output.m +3 −3 Original line number Diff line number Diff line Loading @@ -27,7 +27,7 @@ for i=1:size(g1.cells,2) output_parsed = EMLGenerator.parse_inputs(strtrim(char(g1.cells(i).cond_text))); output = char(output_parsed{1}(1)) output = char(output_parsed{1}(1)); %if (i == 1) code = [code sprintf('%s := ',output)]; Loading @@ -46,10 +46,10 @@ for i=1:size(g1.cells,2) else end if i ~= size(object.data.Grid1.cells,2) code = [code ','] code = [code ',']; end end code = ['(#' code '#)'] code = ['(#' code '#)']; %code1 = [code1 ']']; %code2 = [code2 ']']; %code = [code1 ' = ' code2 sprintf('\n')]; Loading
@ValidationReport/populate.m +1 −1 Original line number Diff line number Diff line Loading @@ -24,7 +24,7 @@ else % need to do some translation back to matlab syntax new_value = regexprep(char(object.PVS_results(object.page).ce(i+1)),'FALSE',' 0 '); new_value = regexprep(new_value,'TRUE',' 1 '); eval(['value = ' char(new_value)]); eval(['value = ' char(new_value) ';']); counter = [counter char(object.PVS_results(object.page).ce(i)) ' = ' num2str(value) ';' sprintf('\n')]; end Loading
statusbar.m +2 −2 Original line number Diff line number Diff line Loading @@ -258,8 +258,8 @@ function addOrUpdateProp(handle,propName,propValue) schema.prop(handle,propName,'mxArray'); end set(handle,propName,propValue); catch catch exception % never mind... lasterr end %end %#ok for Matlab 6 compatibility No newline at end of file