Comment on IR1.99.05

Folks,

In IR1.99.05, the analysis includes:

  Perhaps it would have been better if the text (LRM 3.5.1, first
paragraph),

  "A scalar nature definition defines a scalar nature, its branch types,
  and the name of its reference terminal."

  were modified to read:

  "A scalar nature definition defines a scalar nature and its branch types,
  and declares the name of the reference terminal which is of the nature."

  ...but it seems a minor point.

The clarification is significant, in that is makes it clear that the
reference terminal name is declared by a nature declaration. The
ramification is that the reference terminal name has a scope and is visible.
The rules for scope and visibility only apply to declarations. If the
reference terminal name were not treated as a declaration, it would not have
scope or visibility, and so could not be referred to by name.

Cheers,

PA

--
Dr. Peter J. Ashenden                peter@ashenden.com.au
Ashenden Designs Pty. Ltd.           www.ashenden.com.au
PO Box 640                           VoIP: 0871270078@sip.internode.on.net
Stirling, SA 5152                    Phone (mobile):  +61 414 709 106
Australia