private String findGeneratorForPath(
VariablePathExpression setPath, FORule rule, MappingTask mappingTask) {
List<FormulaVariable> universalVariables = rule.getUniversalFormulaVariables(mappingTask);
TGDGeneratorsMap generatorsMap = rule.getGenerators(mappingTask);
IValueGenerator generator = generatorsMap.getGeneratorForSetPath(setPath);
if (generator == null) {
return "SK_" + setPath.toString() + "()";
}
if (generator instanceof NullValueGenerator) {
return NullValueGenerator.getInstance().toString();
}
SkolemFunctionGenerator skolemGenerator = (SkolemFunctionGenerator) generator;
return skolemGenerator.toStringWithVariableArguments(universalVariables);
}
