%% user_imports
%   returns the string importing a user selected pvs file to import
% inputs:
%   object:PVS_checker - PVS_checker object
% outputs;
%   string:string - string of pvs code to add to generated file
% Author: Colin Eles elesc@mcmaster.ca
% Organization: McMaster Centre for Software Certification
function [string] = user_imports(object)
string = [];
if ~isempty(object.data.settings.inputs)
    files = regexp(object.data.settings.inputs,',','split');
    
    for i=1:size(files,2)
        file_no_ext = regexp(files{i},'\w*(?=\.\w*)','match');
        string = [string sprintf('IMPORTING %s\n', char(file_no_ext)) ];
    end
end
end

