circle-ellipse problem
final method
abstract class
abstract method
mixin
non-virtual interface
contramodule
final class
quasivariety
subclass
regular map
arithmetic geometry
singleton pattern
unclassable
supermethod
anabelian geometry
dependency inversion principle
submethod
rig
rng
abstract
eigenclass
misclassification
homotopy theory
non-virtual interface pattern
Scott's trick
sealed
polynomial basis
group object
composite reuse principle
typeless
Kodaira vanishing theorem
elementary algebra
pseudoclass
diophantine geometry
affine geometry
class invariant
Monsky's theorem
inner product
Belyi's theorem
pseudo-complement
Neukirch-Uchida theorem
anti-algebra
const
algebraic combinatorics
Morita equivalence
static class
virtual class
type-safe
commutative algebra
supersingular
Nullstellensatz
allotrious
factory class
absolute geometry
box
semimodule
non-associative algebra
Tschirnhaus transformation
misclass
root system
templatic
algebra
classifier
convex envelope
class-based
direct system
member function
hyperexpansive
simple algebra
feature envy
non-Euclidean geometry
bicategory
Kochen-Specker theorem
subcategory
hull
polygon soup
trait
commutator
birational geometry
Cartan subalgebra
scheme theory
penultimate
universal property
classifying morphism
straight
abstract algebra
overmold
extend
Klein geometry
magic
subset classifier
unique factorization ring
Killing form
Rice's theorem
protected
instantiate
inverse system

English words for 'The problematic situation where a base class contains methods which mutate an object in a manner which may invalidate a (stronger) invariant found in a derived class, violating the Liskov substitution principle. For example, if a circle is modelled as a subtype of an ellipse, and the ellipse has a method that stretches it on one axis, the circle must also implement that method despite it making no sense for a circle.'

As you may have noticed, above you will find words for "The problematic situation where a base class contains methods which mutate an object in a manner which may invalidate a (stronger) invariant found in a derived class, violating the Liskov substitution principle. For example, if a circle is modelled as a subtype of an ellipse, and the ellipse has a method that stretches it on one axis, the circle must also implement that method despite it making no sense for a circle.". Hover the mouse over the word you'd like to know more about to view its definition. Click search related words by phrase or description. to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.

Recent Queries