ContextTree.h File Reference

#include <elm/assert.h>
#include <elm/genstruct/Vector.h>
#include <otawa/properties.h>
#include <otawa/proc/CFGProcessor.h>
#include <otawa/proc/Feature.h>

Go to the source code of this file.

Classes
class	otawa::ContextTree
class	otawa::ContextTree::ChildrenIterator
	Iterator for the children of a context tree. More...
class	otawa::ContextTree::BBIterator
class	otawa::ContextTreeBuilder
	This processor produces context tree information. More...
class	otawa::ContextTreeByCFGBuilder
	Build a context tree for each CFG involved in the current computation. More...

Namespaces
	otawa
	$Id$ Copyright (c) 2007, IRIT - UPS casse.nosp@m.@iri.nosp@m.t.fr

Functions
Output &	otawa::operator<< (Output &out, ContextTree *ct)

Variables
Feature< ContextTreeBuilder >	otawa::CONTEXT_TREE_FEATURE
	This feature asserts that a context tree of the task is available in the framework. More...
Feature< ContextTreeByCFGBuilder >	otawa::CONTEXT_TREE_BY_CFG_FEATURE
	Assert that a context tree has been built for each CFG involved in the current computation. More...
Identifier< ContextTree * >	otawa::CONTEXT_TREE
	This property identifier provides a context tree hooked to a framework. More...
Identifier< ContextTree * >	otawa::OWNER_CONTEXT_TREE
	Annotations with this identifier are hooked to basic blocks and gives the owner context tree (ContextTree * data). More...