One-to-one mapping between formal parameter symbols in callee and memory reference handles in caller. More...
#include <iostream>#include <map>#include <OpenAnalysis/IRInterface/IRHandles.hpp>#include <OpenAnalysis/Utils/GenOutputTool.hpp>#include <OpenAnalysis/OABase/Annotation.hpp>#include <OpenAnalysis/ExprTree/ExprTree.hpp>

Go to the source code of this file.
Classes | |
| class | OA::DataFlow::ParamBindings |
| class | OA::DataFlow::ParamBindings::SymIterator |
| An iterator over Symbols. More... | |
| class | OA::DataFlow::ParamBindings::MemRefIterator |
| An iterator over MemRefHandle's. More... | |
| class | OA::DataFlow::ParamBindings::ExprIterator |
| An iterator over ExprHandles that is initialized with a list. More... | |
Namespaces | |
| namespace | OA |
Namespace for the whole OpenAnalysis Toolkit. | |
| namespace | OA::DataFlow |
One-to-one mapping between formal parameter symbols in callee and memory reference handles in caller.
Copyright (c) 2002-2005, Rice University
Copyright (c) 2004-2005, University of Chicago
Copyright (c) 2006, Contributors
All rights reserved.
See ../../../Copyright.txt for details.
Definition in file ParamBindings.hpp.
1.6.1