Object structure

Next: Definitions and uses Up: Annotation language grammar Previous: Procedures

Object structure

Structure_ann
$\rightarrow$ on_entry { Structures }

$\mid$ on_exit { Structures }

Structures $\rightarrow$ Structure [ , Structures ]

Structure $\rightarrow$ Source -> Target

$\mid$ IDENTIFIER copyof IDENTIFIER

Source $\rightarrow$ [ IDENTIFIER of ] IDENTIFIER

Target $\rightarrow$ IDENTIFIER

$\mid$ null

Structure_ann	$\rightarrow$	`on_entry` `{` Structures `}`
	$\mid$	`on_exit` `{` Structures `}`

Structures	$\rightarrow$	Structure [ `,` Structures ]

Structure	$\rightarrow$	Source `->` Target
	$\mid$	IDENTIFIER `copyof` IDENTIFIER

Source	$\rightarrow$	[ IDENTIFIER `of` ] IDENTIFIER

Target	$\rightarrow$	IDENTIFIER
	$\mid$	`null`

Samuel Z. Guyer
1999-08-25