Go to the documentation of this file.
17 result.
set(ID_statement_list_type, ID_statement_list_identifier);
24 result.
set(ID_statement_list_type, ID_statement_list_title);
31 result.
set(ID_statement_list_type, ID_statement_list_version);
38 std::string value = src.substr(0, src.length() - 1);
Statement List Language Conversion.
string_constantt convert_title(const std::string &src)
Converts a string into a Statement List title.
code_labelt convert_label(const std::string &src)
Converts a string into a Statement List label.
string_constantt convert_identifier(const std::string &src)
Converts a string into a Statement List identifier.
codet representation of a label for branch targets.
void set(const irep_namet &name, const irep_idt &value)
string_constantt convert_version(const std::string &src)
Converts a string into a Statement List version.
Data structure for representing an arbitrary statement in a program.