splineのオプション（display）

Splineのディスプレイオプションについて

• linelenとlimitsフラグは+でも-でも同じ意味。
• その他は＋がフラグON、−がフラグOFF
• Numeric Argumentは数字の引数がいるオプション
• Filename Argumentはファイル名の引数がいるオプション

1. csv ファイル名 +csvoverwrite はCSVで出力しそう。
2. htmlfileformatはhtmlで出力するのかな？

display (34 flags) control what is displayed

1. fcnpost
   • display function post conditions
   • Categories: memorybounds, display Default Setting: - Set locally
   • Display function post conditions.
2. redundantconstraints
   • display seemingly redundant constraints
   • Categories: memorybounds, display Default Setting: - Set locally
   • Display seemingly redundant constraints
3. showconstraintparens
   • display parentheses around constraint terms
   • Categories: memorybounds, display Default Setting: - Set locally
4. boundscompacterrormessages
   • Display fewer new lines in bounds checking error messages
   • Categories: memorybounds, display Default Setting: - Set locally
5. showconstraintlocation
   • display location for every constraint generated
   • Categories: memorybounds, display Default Setting: + Set locally
6. linelen
   • set length of messages (number of chars)
   • Categories: format, display Default Setting: - Set locally
   • Numeric Argument. Default: 80
7. indentspaces
   • set number of spaces to indent sub-messages
   • Categories: format, display Default Setting: - Set locally
   • Numeric Argument. Default: 3
8. locindentspaces
   • set number of spaces to indent sub-messages that start with file locations
   • Categories: format, display Default Setting: - Set locally
   • Numeric Argument. Default: 3
9. showdeephistory
   • show all available information about storage mentioned in warnings
   • Categories: format, display Default Setting: - Set locally
10. showcolumn
    • show column number where error is found
    • Categories: format, display Default Setting: + Set locally
11. showloadloc
    • show location information for load files
    • Categories: format, display Default Setting: - Set locally
12. csv
    • produce comma-separated values (CSV) warnings output file
    • Categories: format, display Default Setting: - Set globally only
    • Filename argument. No default.
13. csvoverwrite
    • overwrite exisiting CVS output file
    • Categories: format, display Default Setting: - Set locally
14. parenfileformat
    • show column number where error is found
    • Categories: format, display Default Setting: + Set locally
15. htmlfileformat
    • show file locations as links
    • Categories: format, display Default Setting: - Set locally
16. repeatunrecog
    • do not suppress repeated unrecognized identifier messages (instead of only reporting the first error)
    • Categories: unrecognized, display Default Setting: - Set locally
    • Identifier used in code has not been declared. (Message repeated for future uses in this file.)
17. sysunrecog
    • report unrecognized identifiers with system (__) prefix
    • Categories: unrecognized, display Default Setting: + Set locally
    • Identifier used in code has not been declared. (Message repeated for future uses in this file.) Use +gnuextensions to make Splint recognize some keywords that are gnu extensions.
18. quiet
    • suppress herald and error count
    • Categories: display, errors Default Setting: - Set locally
19. messagestreamstdout
    • send status messages to standard output stream
    • Categories: display, errors Default Setting: - Set globally only
20. messagestreamstderr
    • send status messages to standard error stream
    • Categories: display, errors Default Setting: - Set globally only
21. messagestream
    • send status messages to
    • Categories: display, errors Default Setting: - Set globally only
    • Filename argument. No default.
22. warningstreamstdout
    • send warnings to standard output stream
    • Categories: display, errors
    • Default Setting: -
    • Set globally only
23. warningstreamstderr
    • send warnings to standard error stream
    • Categories: display, errors Default Setting: - Set globally only
24. warningstream
    • send warnings to
    • Categories: display, errors Default Setting: - Set globally only
    • Filename argument. No default.
25. errorstreamstdout
    • send fatal errors to standard output stream
    • Categories: display, errors Default Setting: - Set globally only
26. errorstreamstderr
    • send fatal errors to standard error stream
    • Categories: display, errors Default Setting: - Set globally only
27. errorstream
    • send fatal errors to
    • Categories: display, errors Default Setting: - Set globally only
    • Filename argument. No default.
28. streamoverwrite
    • warn and exit if a stream output file would overwrite an existing file
    • Categories: display, errors Default Setting: + Set globally only
29. showsummary
    • show summary of all errors reported and suppressed
    • Categories: display, errors Default Setting: - Set locally
30. showscan
    • show file names are they are processed
    • Categories: display, files Default Setting: - Set locally
31. warnsysfiles
    • Splint has been run on a system file, by default no errors are reported
    • for system files. Use +systemdirerrors if you want splint to report
    • errors in system files. A file is considered a system file if it is in a
    • system directory or a subdirectory of a system directory. The sysdirs
    • flag can be used to control the directories treated as system
    • directories.
    • Categories: display, files Default Setting: + Set locally
32. stats
    • display lines processed and time
    • Category: display --Default Setting: - Set globally only
33. timedist
    • display time distribution
    • Category: display Default Setting: - Set globally only
34. showalluses
    • show sorted list of uses of all globals
    • Categories: display, alluse Default Setting: - Set globally only