File | verbose.str |
Author | unknown |
Since | unknown |
Verbosity management.
General | |
Lines of code | 78 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 0 |
Overlay number | 0 |
Strategy number | 19 (15% documented) |
Rule number | 0 |
DynamicRule number | 0 |
Strategy summary |
||
if-less-verbose(Strategy s, ATerm t) | n/a | verbose.str |
if-less-verbose1(Strategy s) | n/a | verbose.str |
if-less-verbose2(Strategy s) | n/a | verbose.str |
if-less-verbose3(Strategy s) | n/a | verbose.str |
if-less-verbose4(Strategy s) | n/a | verbose.str |
if-less-verbose5(Strategy s) | n/a | verbose.str |
if-less-verbose6(Strategy s) | n/a | verbose.str |
if-less-verbose7(Strategy s) | n/a | verbose.str |
if-verbose(Strategy s, ATerm t) | n/a | verbose.str |
if-verbose1(Strategy s) | n/a | verbose.str |
if-verbose2(Strategy s) | n/a | verbose.str |
if-verbose3(Strategy s) | n/a | verbose.str |
if-verbose4(Strategy s) | n/a | verbose.str |
if-verbose5(Strategy s) | n/a | verbose.str |
if-verbose6(Strategy s) | n/a | verbose.str |
if-verbose7(Strategy s) | n/a | verbose.str |
pass-verbose | Builds command-line parameter for verbosity levels for calling XT tools | verbose.str |
set-verbosity | Sets the verbosity level | verbose.str |
verbosity | Give the current verbosity level | verbose.str |
Strategy details |
|||||||||||
ATerm | pass-verbose | ||||||||||
Builds command-line parameter for verbosity levels for calling XT tools. E.g. xtc-transform(!"abox2text", pass-verbose ) passes the verbosity levelto abox2text.
|
|||||||||||
ATerm | set-verbosity | ||||||||||
Sets the verbosity level. E.g. <set-verbosity> 4 sets the verbosity level to 4.
|
|||||||||||
ATerm | verbosity | ||||||||||
Give the current verbosity level. Default is 1.
|
|||||||||||