Difference between revisions of "XCSG:InvokedSignature"

From AtlasWiki
Jump to: navigation, search
(Specification)
(Specification)
Line 2: Line 2:
 
{{Edge
 
{{Edge
 
| extends = Edge
 
| extends = Edge
| description = Connects a [[DynamicCallSite]] to the definition of the invoked [[Method]] for the [[InvokedType]]; if the Method is not defined or overridden in the InvokedType, it points to the inherited 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.