ALF — Pins in class semantics

[Sridhar Iyengar] 37. Page 2-274 : Changes to semantics of Class "a
method realizing ... parameters of kind in and out match input pins...".
For some one not concerned with implementing Action Semantics - it is an
optional compliance point after all, adding this text to the basic Class
specification causes additional confusion because this introduces new
terminology 'pins' without providing appropriate context. This text can
simply be in the Actions package specifciation and reference parameters
without any loss of information. If for some reason submitters believe
this explanatory text is important, please refer to the Action Semantics
spec sections to provide additional context that explains why this
information is relevant.

[Conrad] BTW, the relation of parameters to pins is added to the seventh
paragraph of the semantics of Class on page 2-74, starting with a
modification of the seventh sentence (see asterisks)

A method realizing an operation has the same signature as the
operation and match those of a procedure implementing the
specification of the operation. Pins of procedures have two
direction: in and out, while method and operation parameters have
direction in, out, inout, and return.

accept