Commit 5d506540 authored by Matthew Dawson's avatar Matthew Dawson
Browse files

Add first run at integration, doing variables. 

Add first run of matlab integration, by having the java code
generate the variable preamble.  It also parses the variable
information for future use.


git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/branches/TableTool_javization@9652 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
parent bb8d9b9f

@CVC_checker/generate_file.m

+2 −9
Original line number Diff line number Diff line
@@ -19,15 +19,8 @@ function_name = char(function_names{1}(1)); 


code = [];

% output the input variables

inputs = EMLGenerator.parse_inputs(object.data.function_inputs);

for i = 1:size(inputs,2)

    if size(inputs{i},2) > 1

        cvc_type = CVC_checker.pvs_to_cvc_subtypes(inputs{i}(2));

    else

        cvc_type = 'REAL';

    end

    code = [code char(inputs{i}(1)) ':' char(cvc_type) ';' char(10)];

end

inputs = ca.mcmaster.cas.matlab2smt.VariableParser(object.data.function_inputs);

code = char(inputs.getCVC3Output())





% call the recursive function to generate the queries