Previous

5.5. Units associated with values of any mode

5.5.1. Casts

{Casts may be used to provide a strong position. For example, REF REAL(xx) in REF REAL(xx) := 1, REF BOOK(NIL) in next OF draft :=: REF BOOK(NIL) and STRING(p | c | r) in s +:= STRING(p | c | r).}

5.5.1.1. Syntax

a) MOID NEST cast{5D } : formal MOID NEST declarer{46b } , strong MOID NEST ENCLOSED clause{31a,33a,c,d,e,34a,35a,-}. {Example:

}

a)
REF BOOK(NIL)
{The yield of a cast is that of its ENCLOSED-clause, by way of pre-elaboration {2.1.4.1.c }.}

5.5.2. Skips

5.5.2.1. Syntax

a) strong MOID NEST skip{5A } : skip{94f} token.

5.5.2.2. Semantics

The yield of a skip is some {undefined} value equal in scope to the primal environ.

{The mode of the yield of a MOID-skip is 'MOID'. A void-skip serves as a dummy statement and may be used, for example, after a label which marks the end of a serial-clause.}
 
Next