reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
561 if (NewCtx.contains(D)) { 562 NewCtx = ContextFactory.remove(NewCtx, D); 562 NewCtx = ContextFactory.remove(NewCtx, D); 563 NewCtx = ContextFactory.add(NewCtx, D, 0); 563 NewCtx = ContextFactory.add(NewCtx, D, 0); 565 return NewCtx;