--- Begin Message ---Try all combinations given on page 75 to show all the errors Message FormatThese flags control how messages are printed. They may be set at the command line, in options files, or locally in syntactic comments. The line-len and limit flags may be preceded by + or - with the same meaning; for the other flags, + turns on the describe printing and - turns it off. The box to the left of each flag gives its default value. show-column Show column number where error is found. show-func Show name of function (or macro) definition containing error. The function name is printed once before the first message detected in that function. show-all-conjs Show all possible alternate types (see Section 4.4). paren-file-format Use <file>(<line>) format in messages. (Default is + for Win32 for compatibility with Microsoft VisualStudio.) hints Provide hints describing an error and how a message may be suppressed for the first error reported in each error class. force-hints Provide hints for all errors reported, even if the hint has already been displayed for the same error class. line-len <number> Set length of maximum message line to <number> characters. Splint will split messages longer than <number> characters long into multiple lines. indentspaces <number> Set number of spaces to indent sub-messages. locindentspaces <number> Set number of spaces to indent sub-messages that start with file locations. showdeephistory Show all available information about storage mentioned in warnings. showloadloc Show location information for load files. csv Produce comma-separated values (CSV) warnings output file. csvoverwrite Overwrite exisiting CVS output file Show location information for load files. htmlfileformat Show file locations as links. streamoverwrite Warn and exit if a stream output file would overwrite an existing file.<<winmail.dat>>
--- End Message ---
Disclaimer: This message and any attachment(s) contained here are information that is confidential, proprietary to NEC HCL System Technologies and its customers. Contents may be privileged or otherwise protected by law. The information is solely intended for the individual or the entity it is addressed to. If you are not the intended recipient of this message, you are not authorized to read, forward, print, retain, copy or disseminate this message or any part of it. If you have received this e-mail in error, please notify the sender immediately by return e-mail and delete it from your computer.
_______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss