Searched refs:addPostInvariant (Results 1 – 7 of 7) sorted by relevance
680 virtual bool addPostInvariant();725 bool addPostInvariant();744 bool addPostInvariant();756 bool addPostInvariant();771 bool addPostInvariant();785 bool addPostInvariant();811 bool addPostInvariant();832 bool addPostInvariant();850 bool addPostInvariant();863 bool addPostInvariant();
1876 bool addPostInvariant() in addPostInvariant() function3719 override bool addPostInvariant() in addPostInvariant() function3842 override bool addPostInvariant() in addPostInvariant() function3885 override bool addPostInvariant() in addPostInvariant() function3950 override bool addPostInvariant() in addPostInvariant() function4008 override final bool addPostInvariant() @nogc nothrow pure @safe in addPostInvariant() function4101 override final bool addPostInvariant() in addPostInvariant() function4174 override bool addPostInvariant() in addPostInvariant() function4238 override bool addPostInvariant() in addPostInvariant() function4286 override bool addPostInvariant() in addPostInvariant() function
546 if (funcdecl.addPostInvariant()) in visit()558 if (needEnsure || funcdecl.addPostInvariant()) in visit()
4701 … (sc.func && sc.func.isInvariantDeclaration() && ue.e1.op == EXP.this_ && exp.f.addPostInvariant()) in visit()
657 virtual bool addPostInvariant();716 bool addPostInvariant();736 bool addPostInvariant();750 bool addPostInvariant();768 bool addPostInvariant();785 bool addPostInvariant();815 bool addPostInvariant();839 bool addPostInvariant();859 bool addPostInvariant();877 bool addPostInvariant();[all …]
1658 if (addPostInvariant()) in semantic3()1670 if (needEnsure || addPostInvariant()) in semantic3()4144 bool FuncDeclaration::addPostInvariant() in addPostInvariant() function4743 bool FuncLiteralDeclaration::addPostInvariant() in addPostInvariant() function4929 bool CtorDeclaration::addPostInvariant() in addPostInvariant() function4997 bool PostBlitDeclaration::addPostInvariant() in addPostInvariant() function5074 bool DtorDeclaration::addPostInvariant() in addPostInvariant() function5201 bool StaticCtorDeclaration::addPostInvariant() in addPostInvariant() function5329 bool StaticDtorDeclaration::addPostInvariant() in addPostInvariant() function5414 bool InvariantDeclaration::addPostInvariant() in addPostInvariant() function[all …]
3170 exp->f->addPostInvariant() in visit()