Statements

The grammar rules for statements are:

		 stmt::				   lhstup : type ;

$\vert$		 lhs [:=$\vert$<-] expr ;

$\vert$		 { block }

$\vert$		 if ( expr ) stmt

$\vert$		 case  { cblk }

$\vert$		 switch ( tuple ) { cblk }

$\vert$		 [for$\vert$chain] ( atom = expr ;                                 expr ;                                atom = expr ) stmt




lhs::				    id

$\vert$		 next ( id )

$\vert$		 ( lhstup )


lhstup::				 $\epsilon$

$\vert$		 lhs

$\vert$		 lhstup lhs




block::				  stmt

$\vert$		 block stmt


cblk::				   expr : stmt

$\vert$		 cblk expr : stmt