Difference between revisions of "XCSG:InvokedSignature"
From AtlasWiki
(→Specification) |
(→Specification) |
||
Line 2: | Line 2: | ||
{{Edge | {{Edge | ||
| extends = Edge | | extends = Edge | ||
− | | description = Connects a [[DynamicCallSite]] to the definition of the invoked [[Method]] | + | | description = Connects a [[DynamicCallSite]] to the definition of the invoked [[Method]] of the [[InvokedType]]; if the Method is not defined or overridden in the InvokedType, it points to the inherited Method. |
| connects = DynamicCallSite,Method,*,1 | | connects = DynamicCallSite,Method,*,1 | ||
}} | }} | ||
+ | |||
+ | Note that the actual runtime method may be the method pointed to, or any overriding method in any subtype of the [[InvokedType]]; in the presence of self-calls, the actual semantics may differ based on the InvokedType, even if the method itself is not overridden. |
Revision as of 15:20, 29 April 2014
Specification
Metaclass | InvokedSignature |
---|---|
Extends | Edge |
Description | Connects a DynamicCallSite to the definition of the invoked Method of the InvokedType; if the Method is not defined or overridden in the InvokedType, it points to the inherited Method. |
Specified Connections | ||
---|---|---|
Predecessor | Multiplicity | Successor |
DynamicCallSite | ✱ ➞ 1 | Method |
Note that the actual runtime method may be the method pointed to, or any overriding method in any subtype of the InvokedType; in the presence of self-calls, the actual semantics may differ based on the InvokedType, even if the method itself is not overridden.