[file:line:column:][warning:]message
*/
void
-Input::message (std::string s) const
+Input::message (string s) const
{
if (source_file_)
s = location_string () + ": " + s + "\n"
}
void
-Input::warning (std::string s) const
+Input::warning (string s) const
{
message (_f ("warning: %s", s));
}
void
-Input::error (std::string s) const
+Input::error (string s) const
{
message (_f ("error: %s", s));
// UGH, fix naming or usage
}
void
-Input::non_fatal_error (std::string s) const
+Input::non_fatal_error (string s) const
{
message (_f ("error: %s", s));
}
-std::string
+string
Input::location_string () const
{
if (source_file_)
return " (" + _ ("position unknown") + ")";
}
-std::string
+string
Input::line_number_string () const
{
if (source_file_)
return "?";
}
-std::string
+string
Input::file_string () const
{
if (source_file_)