Declarations of an AnnotationManager that generates an InterUseful using the ICFGDFSolver. More...
#include <cassert>#include <OpenAnalysis/Alias/InterAliasInterface.hpp>#include <OpenAnalysis/SideEffect/InterSideEffectInterface.hpp>#include <OpenAnalysis/IRInterface/ActivityIRInterface.hpp>#include <OpenAnalysis/DataFlow/ICFGDFProblem.hpp>#include <OpenAnalysis/DataFlow/ICFGDFSolver.hpp>#include <OpenAnalysis/DataFlow/ParamBindings.hpp>#include <OpenAnalysis/DataFlow/LocDFSet.hpp>#include <OpenAnalysis/Activity/InterUseful.hpp>#include <OpenAnalysis/Activity/ICFGDep.hpp>#include "ManagerUsefulStandard.hpp"

Go to the source code of this file.
Classes | |
| class | OA::Activity::ManagerICFGUseful |
Namespaces | |
| namespace | OA |
Namespace for the whole OpenAnalysis Toolkit. | |
| namespace | OA::Activity |
Declarations of an AnnotationManager that generates an InterUseful using the ICFGDFSolver.
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 ManagerICFGUseful.hpp.
1.6.1