Procedures

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

Procedures

Procedure
$\rightarrow$ procedure IDENTIFIER ( identifiers )

{ Proc_ann $\star$ }

Proc_ann $\rightarrow$ Structure_ann

$\mid$ Def_use_ann

$\mid$ Analyze_ann

$\mid$ Specialize_ann

Procedure	$\rightarrow$	`procedure` IDENTIFIER `(` identifiers `)`
		`{` Proc_ann $\star$ `}`

Proc_ann	$\rightarrow$	Structure_ann
	$\mid$	Def_use_ann
	$\mid$	Analyze_ann
	$\mid$	Specialize_ann

Samuel Z. Guyer
1999-08-25