Go to the documentation of this file.
12 #ifndef CPROVER_JSIL_JSIL_PARSE_TREE_H
13 #define CPROVER_JSIL_JSIL_PARSE_TREE_H
32 add(ID_declarator, expr);
50 add(ID_return).
set(ID_label, label);
55 return find(ID_return).
get(ID_value);
60 return find(ID_return).
get(ID_label);
68 add(ID_throw).
set(ID_label, label);
73 return find(ID_throw).
get(ID_value);
78 return find(ID_throw).
get(ID_label);
98 void output(std::ostream &)
const;
104 typedef std::list<jsil_declarationt>
itemst;
117 void output(std::ostream &out)
const;
120 #endif // CPROVER_JSIL_JSIL_PARSE_TREE_H
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
A codet representing sequential composition of program statements.
const irep_idt & throws_label() const
const symbol_exprt & declarator() const
irept & add(const irep_namet &name)
std::list< jsil_declarationt > itemst
const irep_idt & returns_label() const
const irept & find(const irep_namet &name) const
const irep_idt & throws_value() const
Base class for all expressions.
const irep_idt & returns_value() const
void add_throws(const irep_idt &value, const irep_idt &label)
Expression to hold a symbol (variable)
void add_returns(const irep_idt &value, const irep_idt &label)
void output(std::ostream &out) const
void swap(jsil_parse_treet &other)
void to_symbol(symbolt &symbol) const
void output(std::ostream &) const
void add_value(const code_blockt &code)
const irep_idt & get(const irep_namet &name) const
void set(const irep_namet &name, const irep_idt &value)
symbol_exprt & declarator()
void add_declarator(const symbol_exprt &expr)
API to expression classes.
const code_blockt & value() const