13 #ifndef ___messagesHandling___
14 #define ___messagesHandling___
28 std::string messageIfFalse);
33 std::string inputSourceName,
38 EXP
void msrMusicXMLWarning (
39 std::string inputSourceName,
44 EXP
void lpsrMusicXMLWarning (
45 std::string inputSourceName,
50 EXP
void msrInternalWarning (
51 std::string inputSourceName,
58 std::string inputSourceName,
60 std::string sourceCodeFileName,
61 int sourceCodeLineNumber,
65 EXP
void msrMusicXMLError (
66 std::string inputSourceName,
68 std::string sourceCodeFileName,
69 int sourceCodeLineNumber,
73 EXP
void lpsrMusicXMLError (
74 std::string inputSourceName,
76 std::string sourceCodeFileName,
77 int sourceCodeLineNumber,
81 EXP
void msrInternalError (
82 std::string inputSourceName,
84 std::string sourceCodeFileName,
85 int sourceCodeLineNumber,
89 EXP
void msrLimitation (
90 std::string inputSourceName,
92 std::string sourceCodeFileName,
93 int sourceCodeLineNumber,
97 EXP
void msrStreamsError (
99 std::string sourceCodeFileName,
100 int sourceCodeLineNumber,
101 std::string message);
103 EXP
void msrStreamsWarning (
105 std::string sourceCodeFileName,
106 int sourceCodeLineNumber,
107 std::string message);
110 EXP
extern std::set<int> gWarningsInputLineNumbers;
111 EXP
extern std::set<int> gErrorsInputLineNumbers;
113 EXP
void displayWarningsAndErrorsInputLineNumbers ();