| 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.
|
|||||||||||