Home | History | Annotate | Download | only in Core

Lines Matching refs:Env

48 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env,
51     Env(env),
61       Env(RHS.Env),
92   NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state);
270     getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V,
272   if (NewEnv == Env)
276   NewSt.Env = NewEnv;
285     getStateManager().EnvMgr.bindExprAndLocation(Env,
289   if (NewEnv == Env)
293   NewSt.Env = NewEnv;
409   Env.print(Out, NL, Sep);