ManagerICFGVaryActive.hpp File Reference

Declarations of an AnnotationManager that generates an ActivePerStmt by doing Vary analysis and using results of Useful analysis. 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/InterVary.hpp>
#include <OpenAnalysis/Activity/InterUseful.hpp>
#include <OpenAnalysis/Activity/ICFGDep.hpp>
#include "ManagerUsefulStandard.hpp"
#include "ActivePerStmt.hpp"

Include dependency graph for ManagerICFGVaryActive.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	OA::Activity::ManagerICFGVaryActive
Namespaces
namespace	OA
	Namespace for the whole OpenAnalysis Toolkit.
namespace	OA::Activity

---

Detailed Description

Declarations of an AnnotationManager that generates an ActivePerStmt by doing Vary analysis and using results of Useful analysis.

Authors:

Michelle Strout

Version:

Id:

ManagerICFGVaryActive.hpp,v 1.1 2005/07/01 02:49:56 mstrout Exp

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 ManagerICFGVaryActive.hpp.