cfg_CFGCollector.cpp File Reference

#include <elm/assert.h>
#include <otawa/cfg/CFGCollector.h>
#include <otawa/cfg.h>
#include <otawa/proc/CFGProcessor.h>
#include <otawa/prog/Manager.h>

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

Functions
Identifier< const CFGCollection * >	otawa::INVOLVED_CFGS ("otawa::INVOLVED_CFGS", 0)
	This property is used to link the current computation involved CFG on the framework. More...
Identifier< Edge * >	otawa::CALLED_BY ("otawa::CALLED_BY", 0)
	This properties are put on a CFG to get the list of edges calling it. More...
SilentFeature	otawa::COLLECTED_CFG_FEATURE ("otawa::COLLECTED_CFG_FEATURE", COLLECTED_CFG_MAKER)
	This feature asserts that all CFG involved in the current computation has been collected and accessible thanks to INVOLVED_CFGS property. More...