Searched refs:useInvariants (Results 1 – 10 of 10) sorted by relevance
109 bool useInvariants; // generate class invariant checks member
4139 global.params.useInvariants && in addPreInvariant()4150 global.params.useInvariants && in addPostInvariant()4931 return (isThis() && vthis && global.params.useInvariants); in addPostInvariant()4999 return (isThis() && vthis && global.params.useInvariants); in addPostInvariant()5071 return (isThis() && vthis && global.params.useInvariants); in addPreInvariant()
168 CHECKENABLE useInvariants; // generate class invariant checks member
190 CHECKENABLE useInvariants = CHECKENABLE._default; // generate class invariant checks variable
1873 …return (ad && !(cd && cd.isCPPclass()) && global.params.useInvariants == CHECKENABLE.on && (visibi… in addPreInvariant()1880 …return (ad && !(cd && cd.isCPPclass()) && ad.inv && global.params.useInvariants == CHECKENABLE.on … in addPostInvariant()3844 return (isThis() && vthis && global.params.useInvariants == CHECKENABLE.on); in addPostInvariant()3887 return (isThis() && vthis && global.params.useInvariants == CHECKENABLE.on); in addPostInvariant()3947 return (isThis() && vthis && global.params.useInvariants == CHECKENABLE.on); in addPreInvariant()
283 global.params.useInvariants = true; in d_init_options()499 global.params.useInvariants = value; in d_handle_option()740 global.params.useInvariants = false; in d_post_options()
2016 if (global.params.useInvariants) in visit()
541 global.params.useInvariants = value ? CHECKENABLEon : CHECKENABLEoff; in d_handle_option()889 if (global.params.useInvariants == CHECKENABLEdefault) in d_post_options()891 global.params.useInvariants = global.params.release in d_post_options()
493 if (global.params.useInvariants == CHECKENABLEon) in d_init_versions()
1952 if (global.params.useInvariants == CHECKENABLEon) in visit()