Code Reference Grammar
A code reference constructed of a back trail and a base reference of the form:
| code-ref | ::= | back-trail base-ref |
|---|---|---|
| back-trail | ::= | base-ref |
| | | base-ref , back-trail | |
| base-ref | ::= | pc-ref |
| | | label-ref | |
| | | function-ref | |
| | | endpoint-ref | |
| | | srclabel-ref | |
| | | call-ref | |
| pc-ref | ::= | pc-class hex-constant |
| label-ref | ::= | label-class label-string |
| function-ref | ::= | function-class function-name |
| | | function-class hex-constant | |
| endpoint-ref | ::= | endpoint-class file-line |
| | | endpoint-class endpoint-label | |
| | | endpoint-class hex-constant | |
| srclabel-ref | ::= | srclabel-class label-string |
| call-ref | ::= | call-class label-string |
| | | call-class hex-constant | |
| pc-class | ::= | |
| | | PC: | |
| label-class | ::= | |
| | | LABEL: | |
| functionclass | ::= | |
| | | FUNCTION: | |
| endpointclass | ::= | |
| | | ENDPOINT: | |
| srclabelclass | ::= | |
| | | SRCLABEL: | |
| call-class | ::= | |
| | | CALL: | |
| file-line | ::= | file-name : integer-constant |