Summary Calculates conflicting patterns in an AST from an SDF syntax definition. Description sdf2ast-conflicts calculates a list of conflicting patterns in an AST ...

Tools STARTINCLUDE parse-unit unit testing of SDF2 syntax definitions gen-renamed-sdf-module generates an SDF module that renames all sorts in an SDF syntax definition ...