generate_file.m

function [ filename, queries ] = generate_file( object )
%GENERATE_FILE Summary of this function goes here
%   Detailed explanation goes here

function_names = EMLGenerator.parse_inputs(object.data.function_name);
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


% call the recursive function to generate the queries
new_code = '';
queries = [];
%generate grid 2
if size(object.data.Grid2.cells,2) > 1  
    [new_code,queries] = CVC_checker.generate_cvc_grid(object.data.Grid2,0);
end
code = [code new_code];

if size(object.data.Grid1.cells,2) > 1
    [new_code,new_queries] = CVC_checker.generate_cvc_grid(object.data.Grid1,size(queries,2));
    queries = [queries new_queries];
    code = [code new_code];

end   


% generate grid 2



char(code);

fileid = fopen([function_name '.cvc'],'w');
fprintf(fileid,'%s',char(code));
fclose(fileid);


filename = [function_name '.cvc'];


end