12 #ifndef CPROVER_JSIL_JSIL_PARSE_TREE_H 13 #define CPROVER_JSIL_JSIL_PARSE_TREE_H 32 add(ID_declarator, expr);
49 add(ID_return).
set(ID_value, value);
50 add(ID_return).
set(ID_label, label);
55 return find(ID_return).
get(ID_value);
60 return find(ID_return).
get(ID_label);
67 add(ID_throw).
set(ID_value, value);
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;
109 items.swap(other.
items);
117 void output(std::ostream &out)
const;
120 #endif // CPROVER_JSIL_JSIL_PARSE_TREE_H symbol_exprt & declarator()
void to_symbol(symbolt &symbol) const
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
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
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)
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)