Overall format

Next: Globals and properties Up: Annotation language grammar Previous: Annotation language grammar

Overall format

Annotations
$\rightarrow$ Header

Annotation $\star$

Header $\rightarrow$ %{

C-CODE

%}

Annotation $\rightarrow$ Property_ann

$\mid$ Global_ann

$\mid$ Procedure

Annotations	$\rightarrow$	Header
		Annotation $\star$

Header	$\rightarrow$	`%{`
		C-CODE
		`%}`

Annotation	$\rightarrow$	Property_ann
	$\mid$	Global_ann
	$\mid$	Procedure

Annotations	$\rightarrow$	Header
		Annotation $\star$

Header	$\rightarrow$	`%{`
		C-CODE
		`%}`

Annotation	$\rightarrow$	Property_ann
	$\mid$	Global_ann
	$\mid$	Procedure

Samuel Z. Guyer
1999-08-25