22 #ifndef OTAWA_UTIL_SYMADDRESS_H_
23 #define OTAWA_UTIL_SYMADDRESS_H_
string _label
Definition: SymAddress.h:60
virtual void print(io::Output &out)=0
Print the symbolic address.
t::int32 _offset
Definition: SymAddress.h:61
elm::io::Output & operator<<(elm::io::Output &out, Address addr)
Definition: base.cpp:188
Control Flow Graph representation.
Definition: CFG.h:42
Abstraction of a program address that may be expressed using several ways: absolute address...
Definition: SymAddress.h:34
Symbolic address as an absolute address.
Definition: SymAddress.h:43
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
The representation of an address in OTAWA.
Definition: base.h:54
sys::SystemOutStream & out
A label address formed by a label and a possible signed offset.
Definition: SymAddress.h:53
dtd::Element cfg(dtd::make("cfg", _CFG).attr(id).content((entry,*bb, exit,*edge)))
Address _addr
Definition: SymAddress.h:50