Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

fix prolog output of abstract constants in event b contexts

  • Loading branch information...
commit f17721f81f447d39fd4742b759bf874dcbf9b0b4 1 parent fc8b07c
@wysiib wysiib authored
View
7 bparser/src/main/java/de/be4/classicalb/core/parser/analysis/prolog/ASTProlog.java
@@ -10,6 +10,7 @@
import de.be4.classicalb.core.parser.Utils;
import de.be4.classicalb.core.parser.analysis.DepthFirstAdapter;
+import de.be4.classicalb.core.parser.node.AAbstractConstantsContextClause;
import de.be4.classicalb.core.parser.node.AAbstractConstantsMachineClause;
import de.be4.classicalb.core.parser.node.AAbstractMachineParseUnit;
import de.be4.classicalb.core.parser.node.AAnySubstitution;
@@ -1010,6 +1011,12 @@ public void caseAConstantsContextClause(final AConstantsContextClause node) {
}
@Override
+ public void caseAAbstractConstantsContextClause(
+ final AAbstractConstantsContextClause node) {
+ printOCAsList(node, node.getIdentifiers());
+ }
+
+ @Override
public void caseAAxiomsContextClause(final AAxiomsContextClause node) {
printOCAsList(node, node.getPredicates());
}
Please sign in to comment.
Something went wrong with that request. Please try again.