reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
547 if (Ctx.contains(D)) { 549 Context NewCtx = ContextFactory.remove(Ctx, D); 550 NewCtx = ContextFactory.add(NewCtx, D, newID); 551 VarDefinitions.push_back(VarDefinition(D, Exp, Ctx));