reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
571 if (NewCtx.contains(D)) { 572 NewCtx = ContextFactory.remove(NewCtx, D); 572 NewCtx = ContextFactory.remove(NewCtx, D); 574 return NewCtx;