ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
xmlt Class Reference

#include <xml.h>

Public Types

typedef std::list< xmlt > elementst
typedef std::map< std::string, std::string > attributest

Public Member Functions

 xmlt ()=default
 xmlt (std::string _name)
elementst::const_iterator find (const std::string &name) const
elementst::iterator find (const std::string &name)
void set_attribute (const std::string &attribute, unsigned value)
void set_attribute (const std::string &attribute, const std::string &value)
std::string get_attribute (const std::string &attribute) const
void set_attribute_bool (const std::string &attribute, bool value)
bool get_attribute_bool (const std::string &attribute) const
std::string get_element (const std::string &element) const
xmlt & new_element (const std::string &name)
xmlt & new_element ()
void swap (xmlt &xml)
void clear ()
void output (std::ostream &out, unsigned indent=0) const

Static Public Member Functions

static std::string escape (const std::string &s)
static std::string escape_attribute (const std::string &s)
static std::string unescape (const std::string &s)

Public Attributes

std::string name
std::string data
attributest attributes
elementst elements

Static Protected Member Functions

static void do_indent (std::ostream &out, unsigned indent)

Friends

std::ostream & operator<< (std::ostream &out, const xmlt &xml)

Member Typedef Documentation

◆ attributest

typedef std::map<std::string, std::string> xmlt::attributest

◆ elementst

typedef std::list<xmlt> xmlt::elementst

Constructor & Destructor Documentation

◆ xmlt() [1/2]

xmlt::xmlt ( )
default

◆ xmlt() [2/2]

xmlt::xmlt ( std::string _name)
inline

Member Function Documentation

◆ clear()

void xmlt::clear ( )

◆ do_indent()

void xmlt::do_indent ( std::ostream & out,
unsigned indent )
staticprotected

◆ escape()

std::string xmlt::escape ( const std::string & s)
static

◆ escape_attribute()

std::string xmlt::escape_attribute ( const std::string & s)
static

◆ find() [1/2]

xmlt::elementst::iterator xmlt::find ( const std::string & name)

◆ find() [2/2]

xmlt::elementst::const_iterator xmlt::find ( const std::string & name) const

◆ get_attribute()

std::string xmlt::get_attribute ( const std::string & attribute) const
inline

◆ get_attribute_bool()

bool xmlt::get_attribute_bool ( const std::string & attribute) const
inline

◆ get_element()

std::string xmlt::get_element ( const std::string & element) const
inline

◆ new_element() [1/2]

xmlt & xmlt::new_element ( )
inline

◆ new_element() [2/2]

xmlt & xmlt::new_element ( const std::string & name)
inline

◆ output()

void xmlt::output ( std::ostream & out,
unsigned indent = 0 ) const

◆ set_attribute() [1/2]

void xmlt::set_attribute ( const std::string & attribute,
const std::string & value )

◆ set_attribute() [2/2]

void xmlt::set_attribute ( const std::string & attribute,
unsigned value )

◆ set_attribute_bool()

void xmlt::set_attribute_bool ( const std::string & attribute,
bool value )
inline

◆ swap()

void xmlt::swap ( xmlt & xml)

◆ unescape()

std::string xmlt::unescape ( const std::string & s)
static

◆ operator<<

std::ostream & operator<< ( std::ostream & out,
const xmlt & xml )
friend

Member Data Documentation

◆ attributes

attributest xmlt::attributes

◆ data

std::string xmlt::data

◆ elements

elementst xmlt::elements

◆ name

std::string xmlt::name

The documentation for this class was generated from the following files: