/**
* adds to the transformation translator the constraint defining this top relation
*
* @param fact the constraint defining this relation
* @throws EchoError
*/
private void addRelationPred(Expr fact) throws EchoError {
try {
transformation_translator.addTopRelationCall(
new Func(
null,
AlloyUtil.relationPredName(relation, dependency.target),
model_params_decls,
null,
fact));
} catch (Err a) {
throw new ErrorAlloy(
ErrorAlloy.FAIL_CREATE_FUNC,
"Failed to create top relation constraint function: " + relation.getName(),
a,
Task.TRANSLATE_TRANSFORMATION);
}
}
