The external references recorded for an invocation expression include references to any external parameters. However, if the invocation is not directly for a behavior or an operation (e.g., it is a signal send or a data type constructor), then the effective parameters for the invocation are constructed from relevant referent attributes, and, so, they are never external, even if the original attribute properties are. The external references should be recorded for the actual external properties in these cases, not the effective parameters.
seidewitz
commented
5 years ago
The external references recorded for an invocation expression include references to any external parameters. However, if the invocation is not directly for a behavior or an operation (e.g., it is a signal send or a data type constructor), then the effective parameters for the invocation are constructed from relevant referent attributes, and, so, they are never external, even if the original attribute properties are. The external references should be recorded for the actual external properties in these cases, not the effective parameters.