Folks, I generally agree that visibility by selection should have precedence over direct visibility, and so agree with the ultimate recommendation in the IR. However, I think there is a problem in the analysis related to interpretation of names in the examples. Specifically, a port name is visible by selection "at the place of the formal designator" of an association element. I would interpret this as meaning throughout the formal designator. In the examples, the port designator takes the form of an indexed name, X01(X01), in which the prefix and the index expression are both the name X01. Hence, both occurrences of X01 would refer to the port name. That means the formal designator is not a locally static name, and for that reason, the example is illegal. 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 AustraliaReceived on Fri Dec 2 21:38:29 2005
This archive was generated by hypermail 2.1.8 : Fri Dec 02 2005 - 21:38:42 PST