CFGIRInterface.hpp File Reference

Abstract interface that the CFG AnnotationManagers require. More...

#include <iostream>
#include "IRHandles.hpp"
#include <OpenAnalysis/Utils/OA_ptr.hpp>

Include dependency graph for CFGIRInterface.hpp:

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

Go to the source code of this file.

Classes
class	OA::CFG::CFGIRInterface
Namespaces
namespace	OA
	Namespace for the whole OpenAnalysis Toolkit.
namespace	OA::CFG
Enumerations
enum	OA::CFG::IRStmtType {   OA::CFG::SIMPLE, OA::CFG::COMPOUND, OA::CFG::LOOP, OA::CFG::END_TESTED_LOOP,   OA::CFG::STRUCT_TWOWAY_CONDITIONAL, OA::CFG::STRUCT_MULTIWAY_CONDITIONAL, OA::CFG::USTRUCT_TWOWAY_CONDITIONAL_T, OA::CFG::USTRUCT_TWOWAY_CONDITIONAL_F,   OA::CFG::USTRUCT_MULTIWAY_CONDITIONAL, OA::CFG::RETURN, OA::CFG::BREAK, OA::CFG::LOOP_CONTINUE,   OA::CFG::ALTERNATE_PROC_ENTRY, OA::CFG::UNCONDITIONAL_JUMP, OA::CFG::UNCONDITIONAL_JUMP_I, OA::CFG::NONE }
	Statements are classified into one of the following types for CFG: More...

---

Detailed Description

Abstract interface that the CFG AnnotationManagers require.

Authors:

Michelle Strout

Version:

Id:

CFGIRInterface.hpp,v 1.12.10.1 2005/12/01 04:48:29 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.

A CFG AnnotationManager generates a CFG representation of the program. The analysis engine within the CFG AnnotationManager requires that the CFGIRInterface be implemented so that queries can be made to the Source IR relevant to constructing control flow graphs. Some of the methods in this interface return an IRRegionStmtIterator.

Definition in file CFGIRInterface.hpp.