Chapter 10. Productions
A production is a pattern and an optional constructor. Each production is a scope. The pattern may establish variable bindings which can be referenced in the constructor. A production can be qualified with a precedence that is used to resolve a tie if two productions match the same text (see Section 10.4.1).
ProductionDeclaration: ProductionPrecedenceopt PatternDeclaration ConstructoroptConstructor => TermConstructorProductionPrecedence: precedence IntegerLiteral :
10.1 Pattern Declaration
A pattern declaration is a sequence of term declarations or the built-in pattern empty which matches "".
PatternDeclaration:
empty
TermDeclarationsopt
TermDeclarations:
TermDeclaration
TermDeclarations TermDeclaration
10.2 Term Declaration ...
Get The “Oslo” Modeling Language now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
