About us
Definitions for "class invariant"
Keywords:  invariant, constraint, true, byevery, eiffel
Related Terms: Instance method, Class , Class definition, Abstract class, Instance of a class, Class method, Constructor, Inheritance , Metaclass , Static method, Instance, Getter, Class object, Abstract, Concrete class, Parent class, Instantiate, Singleton, Object instance, This, Method, Accessor, Class instance, Class variable, Abstract base class, Derived class, Mixin, Member, Instance variable, Superclass, Singleton class, Instantiation, Copy constructor, Subclass, Super , Mixin class, Destructor , Static, Class hierarchy, Delegate , Member variable, Type, Object class, Protected, Concept, Final, Factory method, Abstract method, Generalization, Instance of this class
a boolean expression that must be true after a constructor has created an object of the class, and that must be true after an operation has modified an object of the class
enel.ucalgary.ca
a condition that defines all valid states for an object
techinterviews.com
a condition that should always be true about a class
javaranch.com
View 7 more results
Keywords:  crosscutting, concern, example
an example of a crosscutting concern
artima.com
Keywords:  devised, whenever, simple, rule, hold
a simple rule, devised by the designer of the class, that must hold whenever a member function is called
giref.ulaval.ca
Keywords:  pre, condition, post, kind, entire
a condition that applies to an entire class
artima.com
a kind of pre- and post-condition
stateofflow.com