+string
+Source_file::quote_input (char const *pos_str0) const
+{
+ if (!contains (pos_str0))
+ return " (" + _ ("position unknown") + ")";
+
+ int l, ch, col;
+ get_counts (pos_str0, &l, &ch, &col);
+ string line = line_string (pos_str0);
+ string context = line.substr (0, ch)
+ + to_string ('\n')
+ + to_string (' ', col)
+ + line.substr (ch, line.length ()-ch);
+ return context;
+}
+
+string