Otawa  0.10
CFG Input / Output

This plugin is responsible to perform input / output of the CFG collection. More...

Classes

class  otawa::cfgio::Output
 Output the current CFG collection in XML matching the DTA ${OTAWA_HOME}/share/Otawa/dtd/cfg.dtd . More...
 

Functions

Identifier< Pathotawa::cfgio::FROM ("otawa::cfgio::FROM")
 

Variables

Identifier< Path > otawa::cfgio::FROM
 

Detailed Description

This plugin is responsible to perform input / output of the CFG collection.

This allows external work on the CFG provided by OTAWA. As a default, XML is provided with files matching the DTD from ${OTAWA_HOME}/share/Otawa/dtd/cfg.dtd .

You can use this module in a script or embed it in an executable using the following otawa-config result:

otawa-config --libs --rpath cfgio

Function Documentation

Identifier<Path> otawa::cfgio::FROM ( "otawa::cfgio::FROM"  )

Variable Documentation

Identifier<Path> otawa::cfgio::FROM("otawa::cfgio::FROM")