XCSG:InstanceMethod
From AtlasWiki
An InstanceMethod is a Method associated with instances of a Classifier, it has an implicit this parameter, which is reified in an XCSG graph; Methods of inner classes result in additional implicit parameters, which are likewise reified.
Specification
| Metaclass | InstanceMethod |
|---|---|
| Extends | Method |
| Description | A Method associated with instances of a Classifier |
| All Superkinds | Method, Function, Node, ModelElement |
|---|
| Specified In Edges | ||||
|---|---|---|---|---|
| In Edge | Predecessor | Multiplicity | Description | |
| Overrides | InstanceMethod | ✱ | Connects an InstanceMethod to another InstanceMethod that it overrides.
| |
| Inherited From | In Edge | Predecessor | Multiplicity | Description |
| Method | InvokedSignature | DynamicDispatchCallSite | ✱ | 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. |
| Function | Call | Function | ✱ | Indicates the possibility of one or more calls to the Function pointed to within the Function that the edge comes from.
|
| InvokedFunction | StaticCallSite | ✱ | Connects a StaticCallSite to the exact Function called. | |
| ReadsFunctionAddress | Function | 1 | Connects a Function to a Function that it takes the address of. | |
| Specified Out Edges | ||||
|---|---|---|---|---|
| Out Edge | Successor | Multiplicity | Description | |
| Overrides | InstanceMethod | 0..1 | Connects an InstanceMethod to another InstanceMethod that it overrides.
| |
| Inherited From | Out Edge | Successor | Multiplicity | Description |
| Method | Java:AnnotatedWith | Java:Annotation | ✱ | Connects a Java element to an annotation on that Java element. |
| Function | Call | Function | ✱ | Indicates the possibility of one or more calls to the Function pointed to within the Function that the edge comes from.
|
| HasControlFlow | ControlFlow (Node) | ✱ | Connects a Function to any ControlFlow (Node)s it contains. | |
| HasParameter | Parameter | ✱ | Connects a Function to a Parameter of that Function. | |
| HasReturnValue | ReturnValue | 0..1 | Connects a (non-void) Function to its MasterReturn node. | |
| ReadsFunctionAddress | Function | ✱ | Connects a Function to a Function that it takes the address of. | |
| ReadsVariable | InstanceVariable | ✱ | Connects a Function to a InstanceVariable or ProgramVariable that it reads.
| |
| ProgramVariable | ✱ | |||
| Returns | Type | 1 | Connects a Function to the Type of its return value (which may be Void). | |
| Known Possible In Edges
| ||||
|---|---|---|---|---|
| Inherited From | In Edge | Predecessor | Multiplicity | Description |
| Node | Contains | Node | 1 | Indicates that the predecessor contains the successor in a sense specified by the specific type of Contains edge. |
| Known Possible Out Edges
| ||||
|---|---|---|---|---|
| Inherited From | Out Edge | Successor | Multiplicity | Description |
| Method | Java:ThrowsClause | Java:Class | ✱ | Indicates a Java Method specifies that it may throw an exception of the indicated type (which must extend java.lang.Throwable). |
| Node | Contains | Node | ✱ | Indicates that the predecessor contains the successor in a sense specified by the specific type of Contains edge. |
