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.
