Language Change Specification for Function Interface Proposal

Details of Language Change

LRM 4.2.2.1 Formal parameter lists

002.1: Page 21 near top, second paragraph

[author comment: text for composite of a protected type depends on LCS_2016_014 being approved].

Change as indicated by red font. [Editing Note: This is the Laisee Faire version. Paragraph about procedures and impure functions were merged]

For those parameters with modes, the only modes that are allowed for formal parameters of a procedure or an impure function are in, inout, and out. If the mode is in and no object class is explicitly specified, constant is assumed. If the mode is inout or out, and no object class is explicitly specified, variable is assumed.

For those parameters with modes, the only mode that is allowed for formal parameters of a pure function is the mode in (whether this mode is specified explicitly or implicitly). The object class shall be constant, signal, or file. If no object class is explicitly given, constant is assumed.

NOTE -- Variable class parameters of access and protected types are allowed for procedures and impure functions.

Comments