File | options.str |
Author | unknown |
Since | unknown |
This module contains strategies for handling command line optionsand simple serialization/unserialization of ATerms. These strategiesare particularly useful for writing command line tools in Strategothat may be connected into pipelines by the standard Unix pipingmechanism.
General | |
Lines of code | 305 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 0 |
Overlay number | 0 |
Strategy number | 37 (40% documented) |
Rule number | 0 |
DynamicRule number | 0 |
Strategy summary |
||
aterm-lib-options | Allow all flag starting with -at-* (these are ATerm library flags) | options.str |
aterm-output-option | Option specifications for ATerm output | options.str |
general-options | n/a | options.str |
if-not-silent(Strategy s) | n/a | options.str |
input(Strategy s) | Wraps a strategy into a strategy that handles input options | options.str |
input-option | Option specifications for reading input | options.str |
input-options | n/a | options.str |
input-wrap(Strategy s) | n/a | options.str |
input-wrap(Strategy extra-opts, Strategy s) | n/a | options.str |
io(Strategy s) | Wraps a strategy into a strategy that handles io options | options.str |
io-options | Handles all common options for a transformation tool | options.str |
io-stream(Strategy s) | n/a | options.str |
io-stream-wrap(Strategy s) | Wraps a strategy into a strategy that handles input and output options | options.str |
io-stream-wrap(Strategy extra-opts, Strategy s) | n/a | options.str |
io-stream-wrap(Strategy extra-opts, Strategy usage, Strategy about, Strategy s) | n/a | options.str |
io-wrap(Strategy s) | Wraps a strategy into a strategy handling options and io of terms | options.str |
io-wrap(Strategy extra-opts, Strategy s) | n/a | options.str |
io-wrap(Strategy extra-opts, Strategy usage, Strategy about, Strategy s) | n/a | options.str |
keep-option | Option specifcation for level of keeping intermediate results | options.str |
need-help(Strategy u) | n/a | options.str |
option-wrap(Strategy opts, Strategy s) | n/a | options.str |
option-wrap(Strategy opts, Strategy usage, Strategy announce, Strategy s) | n/a | options.str |
option-wrap(Strategy opts, Strategy usage, Strategy about, Strategy announce, Strategy s) | Read options, display help, report success or failure, call strategy | options.str |
output(Strategy s) | Wraps a strategy into a strategy that handles output options | options.str |
output-option | Option specifications for writing output | options.str |
output-options | n/a | options.str |
output-wrap(Strategy s) | n/a | options.str |
output-wrap(Strategy extra-opts, Strategy s) | n/a | options.str |
report-failure | n/a | options.str |
report-failure(Strategy exit) | n/a | options.str |
report-failure-no-trace | Report the failure of this program, without showing a stack trace | options.str |
report-failure-no-trace(Strategy exit) | n/a | options.str |
report-success | n/a | options.str |
statistics-option | Option specifcation for level of statistics printing | options.str |
verbose-option | Option specifications for verbosity | options.str |
verbose-to-int | n/a | options.str |
whoami | n/a | options.str |
Strategy details |
|||||||||||||
ATerm | aterm-lib-options | ||||||||||||
Allow all flag starting with -at-* (these are ATerm library flags) |
|||||||||||||
ATerm | aterm-output-option | ||||||||||||
Option specifications for ATerm output. Defines -b option for binary output. |
|||||||||||||
ATerm | input(Strategy s) | ||||||||||||
Wraps a strategy into a strategy that handles input options. Reads a term from the file specified by the -i option (or stdin). |
|||||||||||||
ATerm | input-option | ||||||||||||
Option specifications for reading input. Defines -i. |
|||||||||||||
ATerm | io(Strategy s) | ||||||||||||
Wraps a strategy into a strategy that handles io options. Reads a term from the file specified by the -i option (or stdin).Writes to a file specified by the -o option (or stdout). |
|||||||||||||
ATerm | io-options | ||||||||||||
Handles all common options for a transformation tool. |
|||||||||||||
ATerm | io-stream-wrap(Strategy s) | ||||||||||||
Wraps a strategy into a strategy that handles input and output options.The strategy arguments is applied to a tuple of streams: the input and the output stream. |
|||||||||||||
ATerm | io-wrap(Strategy s) | ||||||||||||
Wraps a strategy into a strategy handling options and io of terms. |
|||||||||||||
ATerm | keep-option | ||||||||||||
Option specifcation for level of keeping intermediate results. |
|||||||||||||
ATerm | option-wrap(Strategy opts, Strategy usage, Strategy about, Strategy announce, Strategy s) | ||||||||||||
Read options, display help, report success or failure, call strategy |
|||||||||||||
ATerm | output(Strategy s) | ||||||||||||
Wraps a strategy into a strategy that handles output options. Writes to a file specified by the -o option (or stdout). |
|||||||||||||
ATerm | output-option | ||||||||||||
Option specifications for writing output. Defines -o. |
|||||||||||||
ATerm | report-failure-no-trace | ||||||||||||
Report the failure of this program, without showing a stack trace.
|
|||||||||||||
ATerm | statistics-option | ||||||||||||
Option specifcation for level of statistics printing |
|||||||||||||
ATerm | verbose-option | ||||||||||||
Option specifications for verbosity. Defines -S, --silent, --verbose and -s. |
|||||||||||||