Difference between revisions of "Relation:isA"
Jump to navigation
Jump to search
(Created page) |
|||
| Line 1: | Line 1: | ||
| − | {{Infobox relation|name=isA|addr=prim::isA|category=basic|degree=2|transitive=yes|equivalent=isa}} | + | {{Infobox relation|name=isA|addr=prim::isA|category=basic|degree=2|transitive=yes|reflexive=yes|equivalent=isa}} |
'''isA''' is a built-in relation between classes and types. The subject A is the subclass of the object B. | '''isA''' is a built-in relation between classes and types. The subject A is the subclass of the object B. | ||
| Line 5: | Line 5: | ||
== Example == | == Example == | ||
{{Fact|isA|[[Type:uint8|uint8]]|[[Type:integer|integer]]}} | {{Fact|isA|[[Type:uint8|uint8]]|[[Type:integer|integer]]}} | ||
| + | |||
| + | == Shortcut == | ||
| + | The relation <tt>isa</tt> is defined as a shortcut and thus as an equivalent to this relation because it is easier to type. Nevertheless, any source code formatter or pretty printer should should replace any occurrence of the <tt>isa</tt> relation by the <tt>isA</tt> relation due to naming scheme consistency. | ||
Latest revision as of 21:31, 21 January 2021
| isA relation | |
| Address | prim::isA |
| Category | basic |
| Degree | 2 (binary) |
| Reflexive | yes |
| Symmetric | no |
| Transitive | yes |
| Functional | no |
| Inverse fct. | no |
| Irreflexive | no |
| Asymmetric | no |
| Equivalent to | isa |
isA is a built-in relation between classes and types. The subject A is the subclass of the object B.
Example
Shortcut
The relation isa is defined as a shortcut and thus as an equivalent to this relation because it is easier to type. Nevertheless, any source code formatter or pretty printer should should replace any occurrence of the isa relation by the isA relation due to naming scheme consistency.