ManagerReachDefsOverwriteStandard.cpp File Reference

The AnnotationManager that generates ReachDefsOverwriteStandards which map each statement to a set of reaching definitions that reach that statement and a set of overwriting statements. More...

#include "ManagerReachDefsOverwriteStandard.hpp"

Include dependency graph for ManagerReachDefsOverwriteStandard.cpp:

Go to the source code of this file.

Namespaces
namespace	OA
	Namespace for the whole OpenAnalysis Toolkit.
namespace	OA::ReachDefsOverwrite
Variables
static bool	OA::ReachDefsOverwrite::debug = false

---

Detailed Description

The AnnotationManager that generates ReachDefsOverwriteStandards which map each statement to a set of reaching definitions that reach that statement and a set of overwriting statements.

Authors:

Michelle Strout

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 ManagerReachDefsOverwriteStandard.cpp.