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{array}{r}\begin{array}{llcl}& \mathtt{codemetadataannot}(\mathtt{T})& ::=& \text{‘}\mathtt{(}\mathtt{@}\mathtt{metadata}\mathtt{.}\mathtt{code}\mathtt{.}\mathtt{T}\text{’}\mathit{data}:\mathtt{T}\text{‘}\mathtt{)}\text{’}\end{array}\end{array}$$

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