blob: fbdd841402656451ff8ffa767a2f5352921a0233 [file] [log] [blame] [edit]
.. LINK MACROS
.. External Standards
.. ------------------
.. External Definitions
.. --------------------
.. MATH MACROS
.. Abstract Syntax
.. ---------------
.. Values, non-terminals
.. Binary Format
.. -------------
.. Code Metadata, non-terminals
.. |Bcodemetadatasec| mathdef:: \xref{binary}{binary-codemetadata}{\B{codemetadatasec}}
.. |Bcodemetadata| mathdef:: \xref{binary}{binary-codemetadata}{\B{codemetadata}}
.. |Bcodemetadatafunc| mathdef:: \xref{binary}{binary-codemetadata}{\B{codemetadatafunc}}
.. |Bcodemetadataitem| mathdef:: \xref{binary}{binary-codemetadata}{\B{codemetadataitem}}
.. Branch Hints, non-terminals
.. |Bbranchhintsec| mathdef:: \xref{binary}{binary-branchhints}{\B{branchhintsec}}
.. |Bbranchhint| mathdef:: \xref{binary}{binary-branchhints}{\B{branchhint}}
.. |Bunlikely| mathdef:: \xref{binary}{binary-branchhints}{\B{unlikely}}
.. |Blikely| mathdef:: \xref{binary}{binary-branchhints}{\B{likely}}
.. Text Format
.. -----------
\production{code metadata annotation} & \Tcodemetadataannot(\B{T}) &::=&
.. Branch Hints, non-terminals
.. |Tcodemetadataannot| mathdef:: \xref{text}{text-codemetadata}{\T{codemetadataannot}}