Is-a
From The Art and Popular Culture Encyclopedia
Related e |
Featured: |
In knowledge representation, object-oriented programming and design (see object oriented program architecture), is-a (is_a or is a) is a subsumption relationship between abstractions (e.g. types, classes), where one class A is a subclass of another class B (and so B is a superclass of A). In other words, type A is a subtype of type B when A’s specification implies B’s specification. That is, any object (or class) that satisfies A’s specification also satisfies B’s specification, because B’s specification is weaker.
[edit]
See also
- Inheritance (object-oriented programming)
- Liskov substitution principle (in object-oriented programming)
- Subsumption
- Is-a
- Has-a
Unless indicated otherwise, the text in this article is either based on Wikipedia article "Is-a" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.