Specialize

Next: About this document ... Up: Annotation language grammar Previous: Analyze

Specialize

Specialize
$\rightarrow$ specialize { Spec $\star$ }

Spec $\rightarrow$ Condition => Replacement ;

Replacement $\rightarrow$ remove

$\mid$ replace C-CODE

Specialize	$\rightarrow$	`specialize {` Spec $\star$ `}`

Spec	$\rightarrow$	Condition `=>` Replacement `;`

Replacement	$\rightarrow$	`remove`
	$\mid$	`replace` C-CODE

Samuel Z. Guyer
1999-08-25