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
	OA
	Namespace for the whole OpenAnalysis Toolkit.
	OA::Activity

Constant Groups
	OA
	Namespace for the whole OpenAnalysis Toolkit.
	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 2007/10/08 19:19:09 utke 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.