ASTProlog.open(Node)), print the sub-nodes, and close it later in
ASTProlog.defaultOut(Node)ASTProlog.defaultIn(Node)APredicateDefinitionDefinition,
ASubstitutionDefinitionDefinition
and
AExpressionDefinitionDefinition
nodes, i.e.ADefinition nodes which were found by the PreParser and
stores them into a mapping "definition identifer" -> "rhs of definition".PositionedNode,
i.e.PositionedNode begins.PositionedNode, i.e.PositionedNode ends.filename.Nodes that are relevant for this exception.Token which caused the parse exception.ITokens belonging to this
PositionedNode.BParser.parse(String, boolean, IFileContentProvider), but with
NoContentProvider as last parameter, i.e., loading of referenced
files is not enabled.ParseOptions.restrictPrimedIdentifiers is true
Note, this semantic check do not ensure that a primed identifier only occurs
at a correct place, i.e.PrologTermOutput instance that should be used to print
the position information