3.1.1.12.2.1.2 Parameter Fields as Terminal Values
In EBNF, an __expression__ is a substitution rule that is made up of a set of operators and either terminal values or non-terminals. In EBNF-M, parameter fields are terminals. When a parameter field is used as a terminal, the meaning is to use the value of the field as a terminal value. The following is an example of this usage.
Given:
-
type tuple1 = [ field1: string ] tuple1 Instance1 = [field1= "b"] productionRule1(tuple1) = "a" , tuple1.field1, "c";
Then:
-
productionRule1(Instance1) == "abc"