Previous

10.3.4.4. Boolean patterns

10.3.4.4.1. Syntax a) NEST boolean pattern{A341c } : NEST unsuppressible boolean frame{A341j } .

b) boolean marker{A341j ,A348b} : letter b{94a } symbol. {Example:

}

a)
14x b
{For the semantics of boolean-patterns see 10.3.4.1.2.e .} {

aa) The mode which is output (input) compatible with a 'boolean' pattern is that specified by BOOL (REF BOOL)

bb) A value V is converted to a string using a 'boolean' pattern as follows:

· if V is true (false), then the string is that yielded by flip (flop).

cc) A string S is converted to a boolean value, using a 'boolean' pattern, as follows:

· if S is the same as the string yielded by flip (flop), then the required value is true (false).}



 
Next