Difference between revisions of "XCSG:TypeChecked"
From AtlasWiki
(Created page with "== Specification == {{Edge | extends = Edge | description = Connects a Type (usually a Classifier) to an InstanceOf test. | connects = Type,InstanceOf,1,* }}") |
|||
| Line 2: | Line 2: | ||
{{Edge | {{Edge | ||
| extends = Edge | | extends = Edge | ||
| − | | description = Connects a [[Type]] (usually a [[Classifier]]) to an [[InstanceOf]] test. | + | | description = Connects a [[Type]] (usually a [[Classifier]]) to an [[XCSG:InstanceOf|InstanceOf]] test. |
| connects = Type,InstanceOf,1,* | | connects = Type,InstanceOf,1,* | ||
}} | }} | ||
Latest revision as of 16:56, 29 October 2015
Specification
| Metaclass | TypeChecked |
|---|---|
| Extends | Edge |
| Description | Connects a Type (usually a Classifier) to an InstanceOf test. |
| Specified Connections | ||
|---|---|---|
| Predecessor | Multiplicity | Successor |
| Type | 1 ➞ ✱ | InstanceOf |
