Skip to content

Commit 67144a1

Browse files
committed
print the Presentation Syntax parsed tree if debugMode is enabled
1 parent 3f24c27 commit 67144a1

File tree

2 files changed

+10
-0
lines changed

2 files changed

+10
-0
lines changed

PSOACore/src/main/java/org/ruleml/psoa/PSOAKB.java

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -342,6 +342,11 @@ public PSOAKB transform(String name, ANTLRTreeStreamConsumer actor, boolean newK
342342
* */
343343
@Override
344344
public PSOAKB FOLnormalize(RelationalTransformerConfig config) {
345+
if (m_printAfterTransformation)
346+
{
347+
m_printStream.println("After parsing:");
348+
printTree();
349+
}
345350
return schemalessChecking(config.forallWrap).
346351
unnest().
347352
rewriteSubclass().

PSOACore/src/main/java/org/ruleml/psoa/PSOAQuery.java

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -110,6 +110,11 @@ public PSOAQuery transform(String name, ANTLRTreeStreamConsumer actor, boolean n
110110
* */
111111
@Override
112112
public PSOAQuery FOLnormalize(RelationalTransformerConfig config) {
113+
if (m_printAfterTransformation)
114+
{
115+
m_printStream.println("After parsing:");
116+
printTree();
117+
}
113118
return unnest().
114119
objectify(config.differentiateObj, config.dynamicObj).
115120
describute(config.omitMemtermInNegativeAtoms);

0 commit comments

Comments
 (0)