| Ted Kremenek | 8133a26 | 2008-07-08 21:46:56 +0000 | [diff] [blame] | 1 | //== Environment.cpp - Map from Expr* to Locations/Values -------*- C++ -*--==// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file defined the Environment and EnvironmentManager classes. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #include "clang/Analysis/PathSensitive/Environment.h" |
| 15 | #include "llvm/ADT/ImmutableMap.h" |
| 16 | |
| 17 | using namespace clang; |
| 18 | |
| 19 | //===----------------------------------------------------------------------===// |
| 20 | // Environment. |
| 21 | //===----------------------------------------------------------------------===// |
| 22 | |
| 23 | |
| 24 | |
| 25 | |
| 26 | |
| 27 | //===----------------------------------------------------------------------===// |
| 28 | // Environment Manager. |
| 29 | //===----------------------------------------------------------------------===// |