11.4 Class expressions11.4 Class expressions
11 PVS translator 11 PVS translator
11.6 Type expressions 11.6 Type expressions
11.5 Object expressions

11.5 Object expressions

An object expression which is a name is accepted as an actual scheme parameter or as a qualification.

A fitting object expression is accepted as an actual scheme parameter.

Neither element object expressions nor array object expressions are accepted.

Chris George, April 17, 2008

11.5 Object expressions
11.4 Class expressions11.4 Class expressions
11 PVS translator 11 PVS translator
11.6 Type expressions 11.6 Type expressions