Home | History | Annotate | Download | only in dmd

Lines Matching refs:contract

284         //printf(" sc.incontract = %d\n", (sc.flags & SCOPE.contract));
307         // Remember whether we need to generate an 'out' contract.
336                 sc2.flags = sc.flags & ~SCOPE.contract;
553             // Pre/Postcondition contract
573                 // scope of out contract (need for vresult.semantic)
991                 sc2.flags = (sc2.flags & ~SCOPE.contract) | SCOPE.require;
1023                 sc2.flags = (sc2.flags & ~SCOPE.contract) | SCOPE.ensure;
1583      * funcdecl has an in contract.
1594                     funcdecl.error("cannot have an in contract when overridden function `%s` does not have an in contract", fdv.toPrettyChars());