ManagerReachDefsStandard.cpp File Reference

The AnnotationManager that generates ReachDefsStandards which map each statement to a set of reaching definitions that reach that statement. More...

#include "ManagerReachDefsStandard.hpp"

Include dependency graph for ManagerReachDefsStandard.cpp:

Go to the source code of this file.

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

---

Detailed Description

The AnnotationManager that generates ReachDefsStandards which map each statement to a set of reaching definitions that reach that statement.

Authors:

Michelle Strout

Version:

Id

ManagerReachDefsStandard.cpp,v 1.32 2005/06/10 02:32:05 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 ManagerReachDefsStandard.cpp.