Babylon 10
The world's best online dictionary

Download it's free

Definition of Supertype

Supertype Definition from Computer & Internet Dictionaries & Glossaries
Noman's Java(TM) Glossary
The supertypes of a type are all the interfaces and classes that are extended or implemented by that type. See also subtype, superclass.
Supertype Definition from Encyclopedia Dictionaries & Glossaries
Wikipedia English - The Free Encyclopedia
In programming language theory, subtyping (also subtype polymorphism or inclusion polymorphism) is a form of type polymorphism in which a subtype is a datatype that is related to another datatype (the supertype) by some notion of substitutability, meaning that program elements, typically subroutines or functions, written to operate on elements of the supertype can also operate on elements of the subtype. If S is a subtype of T, the subtyping relation is often written S <: T, to mean that any term of type S can be safely used in a context where a term of type T is expected. The precise semantics of subtyping crucially depends on the particulars of what "safely used in a context where" means in a given programming language. The type system of a programming language essentially defines its own subtyping relation, which may well be trivial.

See more at
© This article uses material from Wikipedia® and is licensed under the GNU Free Documentation License and under the Creative Commons Attribution-ShareAlike License