reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
455 Context getEmptyContext() { return ContextFactory.getEmptyMap(); } 531 Context NewCtx = ContextFactory.add(Ctx, D, newID); 539 Context NewCtx = ContextFactory.add(Ctx, D, newID); 549 Context NewCtx = ContextFactory.remove(Ctx, D); 550 NewCtx = ContextFactory.add(NewCtx, D, newID); 562 NewCtx = ContextFactory.remove(NewCtx, D); 563 NewCtx = ContextFactory.add(NewCtx, D, 0); 572 NewCtx = ContextFactory.remove(NewCtx, D);