Search in sources :

Example 1 with SyntaxExtensionTranslator

use of de.be4.classicalb.core.parser.analysis.transforming.SyntaxExtensionTranslator in project probparsers by bendisposto.

the class BParser method applyAstTransformations.

private void applyAstTransformations(final Start rootNode) throws CheckException {
    // default transformations
    OpSubstitutions.transform(rootNode, getDefinitions());
    rootNode.apply(new SyntaxExtensionTranslator());
// more AST transformations?
}
Also used : SyntaxExtensionTranslator(de.be4.classicalb.core.parser.analysis.transforming.SyntaxExtensionTranslator)

Aggregations

SyntaxExtensionTranslator (de.be4.classicalb.core.parser.analysis.transforming.SyntaxExtensionTranslator)1