cprover
|
Jsil Language. More...
Go to the source code of this file.
Functions | |
static bool | insert_at_label (const codet &code, const irep_idt &label, code_blockt &dest) |
Jsil Language.
Definition in file jsil_parse_tree.cpp.
|
static |
Definition at line 20 of file jsil_parse_tree.cpp.
References code_labelt::code(), Forall_operands, code_labelt::get_label(), codet::get_statement(), to_code(), and to_code_label().
Referenced by jsil_declarationt::to_symbol().