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 |