Association of properties to definitions
 
This module determines whether a NAMEFirstOcc occurrence of an object
is the first one in left-to-right depth-first tree order.
The result is obtained by the attribute NAMEFirstOcc.IsNAMEFirstOcc
that has the value 1 if it is the first occurrence, 0 otherwise.
The computations of the module use the property named NAMEFirstOcc.
(The same task can be solved using the more general module OccCnt,
See Count Occurrences of Objects.)
The role NAMERangeFirstOcc is automatically associated
to the grammar root (see Common Aspects of Property Modules).
The module is instantiated by
$/Prop/FirstOcc.gnrc+instance=NAME +referto=KEY :inst
|
