About: Class invariant

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Unchanging property for all objects of a class

Property	Value
dbo:description	unchanging property for all objects of a class (en)
dbo:wikiPageWikiLink	dbr:Mutex dbr:Object_(computer_science) dbr:C++ dbr:Object-oriented_programming dbr:Eiffel_(programming_language) dbr:Constructor_(object-oriented_programming) dbr:D_(programming_language) dbr:Java_Modeling_Language dbr:Logical_conjunction dbr:Reference_(computer_science) dbr:Precondition dbr:Design_by_contract dbr:Concurrent_computing dbr:Exception_safety dbr:Postcondition dbr:Software_testing dbr:Ada_(programming_language) dbr:Invariant_(computer_science) dbr:Class_(computer_science) dbr:Computer_programming dbc:Class_(computer_programming) dbr:Composition_over_inheritance dbr:Loki_(C++) dbr:Java_programming_language dbr:Richard_Sposato dbr:Method_(computer_science) dbr:Assertion_(computing)
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:More_citations_needed dbt:About dbt:Citation_needed dbt:Short_description
dct:subject	dbc:Class_(computer_programming)
gold:hypernym	dbr:Invariant
rdfs:label	Class invariant (en) صنف لامتغير (ar) Invariantes de clase (es) Invariant de classe (fr) Invariante di classe (it) Инвариант класса (ru)
owl:sameAs	freebase:Class invariant wikidata:Class invariant dbpedia-it:Class invariant dbpedia-fr:Class invariant dbpedia-es:Class invariant dbpedia-ru:Class invariant dbpedia-ar:Class invariant dbpedia-global:Class invariant dbr:Class invariant
prov:wasDerivedFrom	wikipedia-en:Class_invariant?oldid=1294058919&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Class_invariant
is dbo:wikiPageDisambiguates of	dbr:Invariant
is dbo:wikiPageRedirects of	dbr:Class_invariants dbr:Object_invariant
is dbo:wikiPageWikiLink of	dbr:Whiley_(programming_language) dbr:Object_lifetime dbr:Resource_management_(computing) dbr:Eiffel_(programming_language) dbr:Constructor_(object-oriented_programming) dbr:Finalizer dbr:Resource_acquisition_is_initialization dbr:ParaSail_(programming_language) dbr:D_(programming_language) dbr:Java_Modeling_Language dbr:Precondition dbr:Design_by_contract dbr:Extended_static_checking dbr:ProActive dbr:Object_resurrection dbr:Invariant_(mathematics) dbr:Class_(computer_programming) dbr:Invariant dbr:Dispose_pattern dbr:Loop_invariant dbr:EiffelStudio dbr:Class_invariants dbr:Object_invariant
is foaf:primaryTopic of	wikipedia-en:Class_invariant