Text Format

Code Metadata

Code Metadata items appear in the text format as custom annotations, and are considered attached to the first instruction that follows them.

\[\begin{split}\begin{array}{llclll} \def\mathdef121#1{{}}\mathdef121{code metadata annotation} & \href{text.html#text-codemetadata}{\mathtt{codemetadataannot}}(\mathtt{T}) &::=& \def\mathdef160#1{\mbox{‘}\mathtt{#1}\mbox{’}}\mathdef160{(@metadata.code.T}~\mathit{data}{:}\mathtt{T}~\def\mathdef161#1{\mbox{‘}\mathtt{#1}\mbox{’}}\mathdef161{)} \\ \end{array}\end{split}\]

Where T is the format name of the item, and data is a byte string containing the same payload as in the binary format.