cfgio_Input.cpp File Reference

#include <otawa/proc/Processor.h>
#include <otawa/cfg/features.h>
#include <otawa/cfgio/features.h>
#include <otawa/prog/TextDecoder.h>
#include <otawa/cfg/CFGCollector.h>
#include <elm/xom.h>
#include <elm/genstruct/HashTable.h>
#include <otawa/cfg/VirtualCFG.h>
#include <elm/util/AutoDestructor.h>
#include <elm/io/BlockInStream.h>

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

Typedefs
typedef Element::Make	elm::dtd::make

Enumerations
enum	otawa::cfgio::entity_t {   otawa::cfgio::_NONE, otawa::cfgio::_COLL, otawa::cfgio::_CFG, otawa::cfgio::_ENTRY,   otawa::cfgio::_BB, otawa::cfgio::_EXIT, otawa::cfgio::_EDGE }

Functions
Content &	elm::dtd::operator* (Content &c)
Content &	elm::dtd::operator+ (Content &c1, Content &c2)
Content &	elm::dtd::operator| (Content &c1, Content &c2)
Content &	elm::dtd::operator, (Content &c1, Content &c2)
Content &	elm::dtd::operator& (Content &c1, Content &c2)
dtd::IDAttr	otawa::cfgio::id ("id", dtd::STRICT|dtd::REQUIRED)
dtd::IntAttr	otawa::cfgio::address ("address", dtd::STRICT|dtd::REQUIRED)
dtd::IntAttr	otawa::cfgio::size ("size", dtd::STRICT|dtd::REQUIRED)
dtd::RefAttr< BasicBlock * >	otawa::cfgio::source ("source", dtd::STRICT|dtd::REQUIRED)
dtd::RefAttr< BasicBlock * >	otawa::cfgio::target ("target", dtd::STRICT|dtd::REQUIRED)
dtd::RefAttr< CFG * >	otawa::cfgio::called ("called", dtd::STRICT)
dtd::Element	otawa::cfgio::entry (dtd::make("entry", _ENTRY).attr(id))
dtd::Element	otawa::cfgio::bb (dtd::make("bb", _BB).attr(id).attr(address).attr(size))
dtd::Element	otawa::cfgio::exit (dtd::make("exit", _EXIT).attr(id))
dtd::Element	otawa::cfgio::edge (dtd::make("edge", _EDGE).attr(source).attr(target).attr(called))
dtd::Element	otawa::cfgio::cfg (dtd::make("cfg", _CFG).attr(id).content((entry,*bb, exit,*edge)))
dtd::Element	otawa::cfgio::cfg_collection (dtd::make("cfg-collection", _COLL).content((cfg,*cfg)))
Identifier< Path >	otawa::cfgio::FROM ("otawa::cfgio::FROM")

Variables
Content &	elm::dtd::empty = _empty
GC	elm::dtd::_gc
const t::uint32	elm::dtd::STRICT = Attribute::STRICT
const t::uint32	elm::dtd::REQUIRED = Attribute::REQUIRED