util_ContextTree.cpp File Reference

#include <otawa/util/ContextTree.h>
#include <otawa/util/Dominance.h>
#include <otawa/util/LoopInfoBuilder.h>
#include <elm/genstruct/Vector.h>
#include <otawa/cfg.h>
#include <otawa/dfa/IterativeDFA.h>
#include <otawa/dfa/BitSet.h>
#include <otawa/prog/WorkSpace.h>

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

Macros
#define	TRACE(x)

Functions
Feature< ContextTreeBuilder >	otawa::CONTEXT_TREE_FEATURE ("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 ("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 ("otawa::CONTEXT_TREE", 0)
	This property identifier provides a context tree hooked to a framework. More...
Identifier< ContextTree * >	otawa::OWNER_CONTEXT_TREE ("otawa::OWNER_CONTEXT_TREE", 0)
	Annotations with this identifier are hooked to basic blocks and gives the owner context tree (ContextTree * data). More...

Macro Definition Documentation

#define TRACE

(

x

)

Referenced by otawa::ContextTree::addBB(), otawa::ContextTree::addChild(), and otawa::ContextTree::ContextTree().