|
definition:
|
usageText :: String
usageText = unlines $
[ ""
, "Usage: currypp <OrgFileName> <InputFilePath> <OutputFilePath> <options>\n"
, "<OrgFileName> : name of original program source file"
, "<InputFilePath> : name of the actual input file"
, "<OutputFilePath>: name of the file where output should be written\n"
, "where <options> contain preprocessing targets"
, "(if no target is given, 'foreigncode defaultrules contracts' are used)\n"
, "foreigncode : translate foreign code pieces in the source file"
, "--model:<ERD_Name>_UniSQLCode.info :"
, " data model to translate embedded SQL statements"
, "defaultrules : implement default rules"
, "contracts : implement dynamic contract checking"
, ""
, "and optional settings:"
, "-o : store output also in file <OrgFileName>.CURRYPP"
, "-v : same as -v2"
, "-v<n> : show more information about the preprocessor:"
, " <n>=0 : quiet"
, " <n>=1 : show some information (default)"
, " <n>=2 : show more information, e.g., version, timing"
, " <n>=3 : show much more information, e.g., used file names"
, " <n>=4 : show also transformed Curry program"
, "--help|-h|-? : show help message and quit"
, ""
, "For target 'defaultrules':"
, "specscheme : default translation scheme (as in PADL'16 paper)"
, "nodupscheme : translation scheme without checking conditions twice"
, ""
, "For target 'contracts':"
, "-e : encapsulate nondeterminism of assertions"
, "-t : assert contracts only to top-level (not recursive) calls"
]
|