Skip to content
Snippets Groups Projects
Commit f01d637b authored by dgelessus's avatar dgelessus
Browse files

Use new printProlog method from theory mapping parser

This allows extending/modifying the Prolog term format for theory
mappings in the future.
parent 51547bdd
No related branches found
No related tags found
No related merge requests found
Pipeline #122158 failed
......@@ -245,15 +245,8 @@ public class Theories {
private static void printMappings(Collection<OperatorMapping> mappings,
IPrologTermOutput pto) {
pto.openList();
// Currently, we support only one kind of operator mapping, just tagging
// an operator to indicate that an optimized ProB implementation should
// be used. We do not invest any effort in preparing future kinds of
// other operator mappings.
for (OperatorMapping mapping : mappings) {
pto.openTerm("tag");
pto.printAtom(mapping.getOperatorName());
pto.printAtom(mapping.getSpec());
pto.closeTerm();
mapping.printProlog(pto);
}
pto.closeList();
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment