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.