X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;ds=sidebyside;f=lily%2Finput.cc;h=b6378af67f1d1761bfea7a44a29cb1a15da24b5c;hb=e8b9253c5405efaf70cdc473d80eb9764ebc0149;hp=3d377f60f7e6147c41e5b1b50f74adb7c5b1d7ab;hpb=4ecdbd7d70ca7441be4dddd15ac01cc255bc2a35;p=lilypond.git diff --git a/lily/input.cc b/lily/input.cc index 3d377f60f7..b6378af67f 100644 --- a/lily/input.cc +++ b/lily/input.cc @@ -3,7 +3,7 @@ source file of the LilyPond music typesetter - (c) 1997--2005 Han-Wen Nienhuys + (c) 1997--2008 Han-Wen Nienhuys */ #include "input.hh" @@ -11,8 +11,9 @@ #include using namespace std; -#include "source.hh" +#include "international.hh" #include "source-file.hh" +#include "sources.hh" #include "warn.hh" Input::Input (Input const &i) @@ -66,22 +67,31 @@ Input::set_location (Input const &i_start, Input const &i_end) [file:line:column:][warning:]message */ void -Input::message (String s) const +Input::message (string s) const { if (source_file_) s = location_string () + ": " + s + "\n" - + source_file_->quote_input (start_); + + source_file_->quote_input (start_) + "\n"; ::message (s); } + +void +Input::programming_error (string s) const +{ + message (_f ("programming error: %s", s.c_str ())); + message (_ ("continuing, cross fingers") + "\n"); +} + + void -Input::warning (String s) const +Input::warning (string s) const { message (_f ("warning: %s", s)); } void -Input::error (String s) const +Input::error (string s) const { message (_f ("error: %s", s)); // UGH, fix naming or usage @@ -89,12 +99,12 @@ Input::error (String s) const } void -Input::non_fatal_error (String s) const +Input::non_fatal_error (string s) const { message (_f ("error: %s", s)); } -String +string Input::location_string () const { if (source_file_) @@ -102,7 +112,7 @@ Input::location_string () const return " (" + _ ("position unknown") + ")"; } -String +string Input::line_number_string () const { if (source_file_) @@ -110,7 +120,7 @@ Input::line_number_string () const return "?"; } -String +string Input::file_string () const { if (source_file_)