Difference between revisions of "XCSG:Field"
From AtlasWiki
(→Specification: removing tags not relevant to XCSG plans) |
(simplifying semantics) |
||
| Line 1: | Line 1: | ||
| − | + | A Field is a [[Variable]] associated with a [[Classifier]] (a [[ClassVariable]]), or with instances of a [[Classifier]] (an [[InstanceVariable]]). | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
== Specification == | == Specification == | ||
{{Node | {{Node | ||
| − | | extends = | + | | extends = Variable |
| description = A feature whose value is a part of the state of an object or class, e.g. an attribute or association. | | description = A feature whose value is a part of the state of an object or class, e.g. an attribute or association. | ||
| − | |||
}} | }} | ||
==Language mappings== | ==Language mappings== | ||
| − | Field maps to the concept of a field in Java, and to the concept of a data member in C++ | + | Field maps to the concept of a field in Java, and to the concept of a data member in C++. |
Revision as of 13:10, 16 April 2014
A Field is a Variable associated with a Classifier (a ClassVariable), or with instances of a Classifier (an InstanceVariable).
Specification
| Metaclass | Field |
|---|---|
| Extends | Variable |
| Description | A feature whose value is a part of the state of an object or class, e.g. an attribute or association. |
| Direct Subkinds | ClassVariable, InstanceVariable |
|---|
| All Superkinds | Variable, Node, ModelElement |
|---|
| Specified In Edges
| ||||
|---|---|---|---|---|
| Inherited From | In Edge | Predecessor | Multiplicity | Description |
| Variable | DataFlow (Edge) | DataFlow (Node) | ✱ | Connects DataFlow nodes to one another and to Variables, linking the origin of data to locations that it is modified or consumed. |
| Specified Out Edges
| ||||
|---|---|---|---|---|
| Inherited From | Out Edge | Successor | Multiplicity | Description |
| Variable | DataFlow (Edge) | DataFlow (Node) | ✱ | Connects DataFlow nodes to one another and to Variables, linking the origin of data to locations that it is modified or consumed.
|
| DefinedAs | TypeAlias | 0..1 | Connects a Variable or DataFlow node which received its Type via a TypeAlias (such as a C/C++ typedef) to that TypeAlias. | |
| InstanceVariableWritten | InstanceVariableAssignment | ✱ | Connects a value (DataFlow (Node) or Variable) representing an object instance to an InstanceVariableAssignment representing a write to a field of that object. | |
| TypeOf | Type | 1 | Links a Variable or DataFlow node to its Type | |
| Known Possible In Edges
| ||||
|---|---|---|---|---|
| Inherited From | In Edge | Predecessor | Multiplicity | Description |
| Variable | HasVariable | Namespace | 1 | Links a Classifier or Package to one of its Variables.
|
| InterproceduralDataFlow | Assignment | ✱ | Represents data flows between Functions, or involving Variables visible to multiple Functions. | |
| 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 |
| Variable | InterproceduralDataFlow | DataFlow (Node) | ✱ | Represents data flows between Functions, or involving Variables visible to multiple Functions. |
| Node | Contains | Node | ✱ | Indicates that the predecessor contains the successor in a sense specified by the specific type of Contains edge. |
Language mappings
Field maps to the concept of a field in Java, and to the concept of a data member in C++.
