|
|
Page | 15/24 | Date | 23.04.2018 | Size | 1.37 Mb. | | #46651 |
| Alternation Productions
Production ::= Production[1] | Production
Sequencing Productions
Production[1] ::= Production[2] Production[1]
Production[2] ::= Identifier : Production[3]
Quantifier Productions
Production[3] ::= Production[4] *
Production[3] ::= Production[4] +
Production[3] ::= Production[4] ?
Transformation Productions
Production[4] ::= => Expression
Production[4] ::= [| Expression|]
Parenthesize Productions
Production[4] ::= ( Production )
Pattern Reference Productions
Production[4] ::= ReferencePattern TypeArguments
Production[4] ::= ReferencePattern from Reference
Production[4] ::= StringLiteral
Production[4] ::= regex BlockLiteral
Production[4] ::= BinaryLiteral
Scenarios
TopScenario ::= BacktrackScenario
TopScenario ::= TopScenario |> TopScenario[0]
TopScenario[0] ::= ( TopScenario )
Backtracking
BacktrackScenario ::= Scenario
BacktrackScenario ::= backtrack (Pattern) Scenario
Alternation
Scenario[0] ::= Scenario[0] ( | | or ) Scenario[1]
Scenario[1] ::= Scenario[1] ( || | fork ) Scenario[2]
Sequencing
Scenario[2] ::= Scenario[2] (next)? Scenario[3]
Scenario[3] ::= Scenario[3] ( -> | later ) Scenario[4]
Scenario[4] ::= Scenario[4] ( & | permute ) Scenario[5]
Scenario[5] ::= Scenario[6] ( * | repeat ) Range?
Scenario[5] ::= Scenario[6] +
Scenario[5] ::= Scenario[6] interleave UnboundedRange? (until Scenario)?
Scenario[5] ::= Scenario[6] interleave BoundedRange
Range ::= BoundedRange | UnboundedRange
BoundedRange ::= [Expression ,Expression] | [,Expression]
UnboundedRange ::=[Expression ,]
Scenario[5] ::= Scenario[6] ( ? | optional )
Scenario[6] ::= [| Expression |]
Drop
Scenario[6] ::= drop(Scenario)
Parenthesis
Scenario[6] ::= ( Scenario )
Negation
Scenario[6] ::= (! | not) Scenario[6]
Terminals
Scenario[6] ::= \\ ? (issues | accepts)? ReferencePattern FieldPatterns? ( (\ |\\ ) (issues | accepts)?ReferencePattern FieldPatterns? )*
Scenario[6] ::= _
Scenario[6] ::= QualifiedIdentifier ScenarioTypeArguments?
ScenarioTypeArguments ::= [ ( ScenarioTypeArgument ( , ScenarioTypeArgument )* )? ]
ScenarioTypeArgument ::= Expression | ScenarioParameter
ScenarioParameter ::= out ( var | PrimaryPattern ) Identifier Constraint? Aspects?
Share with your friends: |
The database is protected by copyright ©ininet.org 2024
send message
|
|