Otawa  0.10
cfg_io.cpp File Reference
#include <otawa/cfg/CFGSaver.h>
#include <elm/sys/System.h>
#include <elm/xom.h>
#include <elm/xom/Serializer.h>
#include <otawa/cfg/CFG.h>
#include <otawa/cfg/BasicBlock.h>
#include <otawa/cfg/Edge.h>

Namespaces

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

Functions

Identifier< sys::Path > otawa::CFG_IO_PATH ("otawa::CFG_IO_PATH")
 This property allows to configure the file used by CFGLoader and CFGSaver. More...