parameter covariance

If a class is inherited and a feature/method/attribute redefined, a parameter or return type can be changed to be a more specialised type. So if we have a feature A that takes a formal argument T. We redefine A, the new A must have a formal argument of T, or any descendent of T. Covariant parameters are not safe, but return types are. In Eiffel you can get compile errors, because the polymorphism breaks.

<< Previous

Word Browser

Next >>

division i
stobar
john hopkins
generalized star height problem
bumba
robert l. park
erik ivar fredholm
paris peace accords
normality
kusarigama
arrestor wires

northern snakehead
roger dean
gottfried van swieten
star height
aperiodic monoid
richard decosta
fitzgerald marine reserve
don haskins
final fantasy vii: advent children
salem river
breaching experiment

zelda: the wand of gamelon
joint force harrier
meriden
syntactic monoid
viscount somerset
artin conjecture
meriden, west midlands
powell peralta
dino stamatopoulos
gillian gilbert
robodoc

russian estonia
kai, death of dreams
bert campaneris
hamath zobah
crystal springs park, california
committee of safety (hawaii)
lili damita
crossgain
andrew strauss
list of english words of hungarian origin
faro (mythology)