Matches in DBpedia 2015-10 for { ?s ?p "In computer programming, specifically object-oriented programming, a class invariant (or type invariant) is an invariant used to constrain objects of a class. Methods of the class should preserve the invariant. The class invariant constrains the state stored in the object.Class invariants are established during construction and constantly maintained between calls to public methods."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- Class_invariant comment "In computer programming, specifically object-oriented programming, a class invariant (or type invariant) is an invariant used to constrain objects of a class. Methods of the class should preserve the invariant. The class invariant constrains the state stored in the object.Class invariants are established during construction and constantly maintained between calls to public methods.".