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 symbol_exprt & declarator()
void to_symbol(symbolt &symbol) const
const symbol_exprt & declarator() const
const irep_idt & throws_value() const
void swap(jsil_parse_treet &other)
API to expression classes.
const irep_idt & get(const irep_namet &name) const
void add_throws(const irep_idt &value, const irep_idt &label)
std::list< jsil_declarationt > itemst
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
void output(std::ostream &out) const
const irep_idt & throws_label() const
void add_declarator(const symbol_exprt &expr)
void add_value(const code_blockt &code)
void add_returns(const irep_idt &value, const irep_idt &label)
const irep_idt & returns_label() const
Base class for all expressions.
irept & add(const irep_namet &name)
A codet representing sequential composition of program statements.
Expression to hold a symbol (variable)
void output(std::ostream &) const
const irep_idt & returns_value() const
const code_blockt & value() const
const irept & find(const irep_namet &name) const
void set(const irep_namet &name, const irep_idt &value)