Difference between revisions of "XCSG:Supertype"

From AtlasWiki
Jump to: navigation, search
m (TheodoreMurdock moved page XCSG:Extends to XCSG:Supertype)
(correct self-reference, update text)
 
Line 1: Line 1:
An Extends edge indicates both inheritance and polymorphism relationships.
+
A Supertype edge indicates both inheritance and polymorphism relationships.
  
That is, it indicates that the [[Classifier]] it comes from inherits the Instance [[InstanceVariable|Variables]] and [[InstanceMethod|Methods]] of the Classifier it points to, and that instances of the Classifier the edge comes from can be assigned to any [[Variable]] that accepts instances of the Classifier pointed to.
+
That is, it indicates that the [[Classifier]] it comes from inherits the [[InstanceVariable]]s of the Classifier it points to, as well as its [[InstanceMethod]]s (unless it [[Overrides]] them), and that instances of the Classifier the edge comes from can be assigned to any [[Variable]] that accepts instances of the Classifier pointed to.
  
 
== Specification ==
 
== Specification ==

Latest revision as of 11:45, 20 June 2014

A Supertype edge indicates both inheritance and polymorphism relationships.

That is, it indicates that the Classifier it comes from inherits the InstanceVariables of the Classifier it points to, as well as its InstanceMethods (unless it Overrides them), and that instances of the Classifier the edge comes from can be assigned to any Variable that accepts instances of the Classifier pointed to.

Specification

Metaclass Supertype
Extends Edge
Description Connects a Classifier to another Classifier that it extends.
Direct Subkinds Java:Extends, Java:Implements
Specified Connections
Predecessor Multiplicity Successor
Classifier ✱ ➞ ✱ Classifier