ResultContext resultContext = config.getResultContextResolver().resolve(getSourceContext(), "oval-results_", ".xml");
File resultFile = resultContext.getResultFile();
exec.setResultsFile(resultFile);
OvalVariablesDocument variablesDocument = getVariablesDocument(getExports(), config);
if (variablesDocument != null) {
File variablesFile = resultContext.getAuxiliaryFile("oval-variables_", ".xml");
variablesDocument.save( variablesFile, new XmlOptions().setSavePrettyPrint() );
exec.setExternalVariableFile( variablesFile );
variablesDocumentContent = new FileResultContent(variablesFile);
}
Set<String> defList = getCheckedDefinitions();