(5.1.1.3) Identification of diagnostics:

Error messages have the following format:

filename, line line number: message

Warning messages have the following format:

filename, line line number: warning message

Where:

• filename is the name of the file containing the error or warning

• line number is the number of the line on which the error or warning is found

• message is the diagnostic message