Go to the source code of this file.
Classes
Namespaces
Functions
- string repeated (const string &s, nat n)
- nat get_indentation (const string &s)
- string add_indentation (const string &s, int delta)
- void store_interactive_number (nat n)
- nat get_interactive_number (void)
- void store_interactive_source (const string &data, nat n=get_interactive_number())
- string get_interactive_source (nat i)
- static string get_interactive_source (nat i, nat l)
- void store_file_source (const string &file_name, const string &data)
- string get_file_source (const string &file_name)
- static string get_file_source (const string &file_name, nat line)
- string get_source (const string &file_name, nat i)
- string get_source (const string &file_name, nat input_number, nat line)
- table< source_location,
generic, gen_eq_table > & source_locs ()
- void source_insert (const generic &g, const source_location &l)
- void source_delete (const generic &g)
- generic source_extend (const generic &g1, const generic &g2)
- void source_locate (const generic &g, source_location &l)
- source_location source_locate (const generic &g)
- bool source_exists (const generic &g)
- string source_file (const generic &g)
- int source_line (const generic &g, const bool &last)
- int source_column (const generic &g, const bool &last)
- string source_begin (const generic &g)
- string source_end (const generic &g)
- string source_string (const generic &g)
- string source_string_unindented (const generic &g)
- static string underlined (const string &file_name, const nat &n, const source_position &b, const source_position &e)
- string source_underlined (const generic &g)
- string source_error (const string &msg, const generic &where)
- string backtrace (const generic &g)
- string source_exception (const exception &e)
Variables