Lines Matching full:environment

1 //===- Environment.cpp - Map from Stmt* to Locations/Values ---------------===//
9 //  This file defined the Environment and EnvironmentManager classes.
13 #include "clang/StaticAnalyzer/Core/PathSensitive/Environment.h"
80 SVal Environment::lookupExpr(const EnvironmentEntry &E) const {  in lookupExpr()
89 SVal Environment::getSVal(const EnvironmentEntry &Entry,  in getSVal()
95          "Environment can only argue about Exprs, since only they express "  in getSVal()
96          "a value! Any non-expression statement stored in Environment is a "  in getSVal()
138 Environment EnvironmentManager::bindExpr(Environment Env,  in bindExpr()
144       return Environment(F.remove(Env.ExprBindings, E));  in bindExpr()
148   return Environment(F.add(Env.ExprBindings, E, V));  in bindExpr()
179 Environment
180 EnvironmentManager::removeDeadBindings(Environment Env,  in removeDeadBindings()
183   // We construct a new Environment object entirely, as this is cheaper than  in removeDeadBindings()
186   Environment NewEnv = getInitialEnvironment();  in removeDeadBindings()
196   for (Environment::iterator I = Env.begin(), End = Env.end(); I != End; ++I) {  in removeDeadBindings()
217 void Environment::printJson(raw_ostream &Out, const ASTContext &Ctx,  in printJson()
220   Indent(Out, Space, IsDot) << "\"environment\": ";  in printJson()