Environment.cpp revision 8133a26c166be89fb4f0a339db1e2fe923c51a70
18133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek//== Environment.cpp - Map from Expr* to Locations/Values -------*- C++ -*--==// 28133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek// 38133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek// The LLVM Compiler Infrastructure 48133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek// 58133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek// This file is distributed under the University of Illinois Open Source 68133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek// License. See LICENSE.TXT for details. 78133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek// 88133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek//===----------------------------------------------------------------------===// 98133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek// 108133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek// This file defined the Environment and EnvironmentManager classes. 118133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek// 128133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek//===----------------------------------------------------------------------===// 138133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek 148133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek#include "clang/Analysis/PathSensitive/Environment.h" 158133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek#include "llvm/ADT/ImmutableMap.h" 168133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek 178133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenekusing namespace clang; 188133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek 198133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek//===----------------------------------------------------------------------===// 208133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek// Environment. 218133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek//===----------------------------------------------------------------------===// 228133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek 238133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek 248133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek 258133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek 268133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek 278133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek//===----------------------------------------------------------------------===// 288133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek// Environment Manager. 298133a26c166be89fb4f0a339db1e2fe923c51a70Ted Kremenek//===----------------------------------------------------------------------===//