32 #ifdef ENABLE_DOCSERVER 38 vector<string> tokens;
40 void begin_page(
string title);
50 void insert_title(
const string& title =
"");
51 void insert_breadcrumb_token(
size_t token_id);
52 void insert_breadcrumbs();
53 void insert_error_message(
const string& error =
"");
55 void insert_stylesheet();
56 void insert_broken_doc_links();
57 vector<string> find_broken_description_links(
const String& desc,
const String& mname =
"");
60 void insert_error(
const string& error);
65 void list_variables();
69 void doc_method(
const string& mname);
70 void doc_variable_methods(
const string& vname);
71 void doc_variable(
const string& vname);
72 void doc_agenda(
const string& aname);
73 void doc_group(
const string& gname);
75 void find_token_type();
77 string html_escape_char(
const char ch);
78 string html_escape_string(
const string& s);
80 void split_tokens(
const string& s);
89 if (!mos)
throw runtime_error(
"Output stream for docserver is NULL.");
94 Docserver(
const Index port,
const string& baseurl =
"");
96 string new_page(
const string& url);
98 void set_ostream(ostream& os) { mos = &os; }
99 void clear_ostream() { mos = NULL; }
101 const string& get_baseurl() {
return mbaseurl; }
102 int launch(
bool daemon);
INDEX Index
The type to use for all integer numbers and indices.
The implementation for String, the ARTS string class.
The global header file for ARTS.
The declarations of all the exception classes.
void limit_line_length(ostream &os, ostringstream &curline, ostringstream &token, const String &indent, size_t linelen)
Limit length of output.