Covariance and contravariance (computer science): Difference between revisions

Revision as of 03:02, 4 July 2006

Revision as of 21:07, 10 August 2006

Line 25:

===Java===

Exception covariance has been supported since the introduction of the language. Return type covariance is implemented in the [[Java programming language|Java]] programming language version J2SE 5.0. Parameter types have to be exactly the same (invariant) for [[Method overriding (programming)|method overriding]], otherwise the method is [[Type polymorphism|overloaded]] with a parallel definition instead.

===REALbasic===