12#ifndef CPROVER_JSIL_JSIL_PARSE_TREE_H
13#define CPROVER_JSIL_JSIL_PARSE_TREE_H
97 void output(std::ostream &)
const;
103 typedef std::list<jsil_declarationt>
itemst;
116 void output(std::ostream &out)
const;
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
A codet representing sequential composition of program statements.
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Base class for all expressions.
const irept & find(const irep_idt &name) const
void set(const irep_idt &name, const irep_idt &value)
irept & add(const irep_idt &name)
void add_returns(const irep_idt &value, const irep_idt &label)
const code_blockt & value() const
const irep_idt & throws_label() const
const irep_idt & throws_value() const
const symbol_exprt & declarator() const
void output(std::ostream &) const
symbolt to_symbol() const
void add_throws(const irep_idt &value, const irep_idt &label)
void add_declarator(const symbol_exprt &expr)
const irep_idt & returns_label() const
void add_value(const code_blockt &code)
symbol_exprt & declarator()
const irep_idt & returns_value() const
void output(std::ostream &out) const
void swap(jsil_parse_treet &other)
std::list< jsil_declarationt > itemst
Expression to hold a symbol (variable)