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\mathdef97#1{{}}\mathdef97{code metadata annotation} & \href{text.html#text-codemetadata}{\mathtt{codemetadataannot}}(\mathtt{T}) &::=& \def\mathdef128#1{\mbox{‘}\mathtt{#1}\mbox{’}}\mathdef128{(@metadata.code.T}~\mathit{data}{:}\mathtt{T}~\def\mathdef129#1{\mbox{‘}\mathtt{#1}\mbox{’}}\mathdef129{)} \\ \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.