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