56
edits
Changes
Jump to navigation
Jump to search
Line 1:
Line 1: − + Line 5:
Line 5: + + +
no edit summary
{{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.
== 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.