Difference between revisions of "XCSG:InvokedSignature"
From AtlasWiki
(Created page with "== Specification == {{Edge | extends = Edge | description = Connects a DynamicCallSite to the definition of that Method for the InvokedType; if the Method is not d...") |
|||
(4 intermediate revisions by one other user not shown) | |||
Line 2: | Line 2: | ||
{{Edge | {{Edge | ||
| extends = Edge | | extends = Edge | ||
− | | description = Connects a [[ | + | | description = Connects a [[XCSG:DynamicDispatchCallSite|DynamicDispatchCallSite]] to the definition of the invoked [[XCSG:Method|Method]] of the [[XCSG:InvokedType|InvokedType]]; if the Method is not defined or overridden in the InvokedType, it points to the inherited Method. |
− | | connects = | + | | connects = DynamicDispatchCallSite,Method,*,1 |
}} | }} | ||
+ | |||
+ | Note that the actual runtime method may be the method pointed to, or any overriding method in any subtype of the [[XCSG:InvokedType|InvokedType]]. In the presence of self-calls, the actual semantics may differ based on the InvokedType, even if the method itself is not overridden. |
Latest revision as of 15:58, 2 November 2015
Specification
Metaclass | InvokedSignature |
---|---|
Extends | Edge |
Description | Connects a DynamicDispatchCallSite 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 |
DynamicDispatchCallSite | ✱ ➞ 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.