generate error message for slotted expressions for TPTP

tmitsi · tmitsi · commit 4aa538ed8354 · 2018-10-21T20:00:04.000+03:00
diff --git a/PSOA2X/src/main/antlr3/org/ruleml/psoa/psoa2x/psoa2tptp/TPTPConverter.g b/PSOA2X/src/main/antlr3/org/ruleml/psoa/psoa2x/psoa2tptp/TPTPConverter.g
@@ -280,7 +280,11 @@ psoa
                     else
                        replace(startIdx, 7, "sloterm");
                  }
-                 append(")");
+				 else
+				 {
+		         	throw new TranslatorException("Slotted expressions are not supported");
+				 }
+		         append(")");
               }
            |  // No slot or tuples  
 		      {

Original file line number	Diff line number	Diff line change
`@@ -280,7 +280,11 @@ psoa`
`280`	`280`	`else`
`281`	`281`	`replace(startIdx, 7, "sloterm");`
`282`	`282`	`}`
`283`		`- append(")");`
	`283`	`+ else`
	`284`	`+ {`
	`285`	`+ throw new TranslatorException("Slotted expressions are not supported");`
	`286`	`+ }`
	`287`	`+ append(")");`
`284`	`288`	`}`
`285`	`289`	`\| // No slot or tuples`
`286`	`290`	`{`