options

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.




Statistics


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
File options.str
Author unknown
Since unknown
 

Allow all flag starting with -at-* (these are ATerm library flags)



 
ATerm aterm-output-option
File options.str
Author unknown
Since unknown
 

Option specifications for ATerm output.

Defines -b option for binary output.



 
ATerm input(Strategy s)
File options.str
Author unknown
Since unknown
 

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
File options.str
Author unknown
Since unknown
 

Option specifications for reading input.

Defines -i.



 
ATerm io(Strategy s)
File options.str
Author unknown
Since unknown
 
Parameters
Strategy s strategy to apply on the input term

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
File options.str
Author unknown
Since unknown
 

Handles all common options for a transformation tool.



 
ATerm io-stream-wrap(Strategy s)
File options.str
Author unknown
Since unknown
 
Parameters
Strategy s (Stream, Stream) -> _

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)
File options.str
Author unknown
Since unknown
 
Parameters
Strategy s strategy to apply on the input term

Wraps a strategy into a strategy handling options and io of terms.



 
ATerm keep-option
File options.str
Author unknown
Since unknown
 

Option specifcation for level of keeping intermediate results.



 
ATerm option-wrap(Strategy opts, Strategy usage, Strategy about, Strategy announce, Strategy s)
File options.str
Author unknown
Since unknown
 

Read options, display help, report success or failure, call strategy



 
ATerm output(Strategy s)
File options.str
Author unknown
Since unknown
 

Wraps a strategy into a strategy that handles output options.

Writes to a file specified by the -o option (or stdout).



 
ATerm output-option
File options.str
Author unknown
Since unknown
 

Option specifications for writing output.

Defines -o.



 
ATerm report-failure-no-trace
File options.str
Author unknown
Since unknown
 

Report the failure of this program, without showing a stack trace.


see report-failure
see fatal-err(|msg)

 
ATerm statistics-option
File options.str
Author unknown
Since unknown
 

Option specifcation for level of statistics printing



 
ATerm verbose-option
File options.str
Author unknown
Since unknown
 

Option specifications for verbosity.

Defines -S, --silent, --verbose and -s.