Lines Matching refs:Environment
121 Environment &Env) final { in transferTypeErased()
127 TypeErasedLattice &E, Environment &Env) final { in transferBranchTypeErased()
158 Environment &Env)
167 TypeErasedLattice &, Environment &) {} in transferBranchInternal() argument
178 Environment Env;
235 const Environment &InitEnv,
297 const AdornedCFG &ACFG, AnalysisT &Analysis, const Environment &InitEnv,
311 auto createAnalysis(ASTContext &ASTCtx, Environment &Env)
316 auto createAnalysis(ASTContext &ASTCtx, Environment &Env)
348 Environment Env(AnalysisContext, FuncDecl);
411 class DataflowModel : public Environment::ValueModel {
414 virtual bool transfer(const CFGElement &Element, Environment &Env) = 0;