| File | log.str |
| Author | unknown |
| Since | unknown |
Strategies for logging
| General | |
| Lines of code | 201 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 9 (0% documented) |
| Overlay number | 0 |
| Strategy number | 19 (47% documented) |
| Rule number | 27 (0% documented) |
| DynamicRule number | 0 |
Constructor summary |
||
| Alert(ATerm ) | n/a | log.str |
| Critical(ATerm ) | n/a | log.str |
| Debug(ATerm ) | n/a | log.str |
| Emergency(ATerm ) | n/a | log.str |
| Error(ATerm ) | n/a | log.str |
| Info(ATerm ) | n/a | log.str |
| Notice(ATerm ) | n/a | log.str |
| Vomit(ATerm ) | n/a | log.str |
| Warning(ATerm ) | n/a | log.str |
Strategy summary |
||
| dbg(ATerm msg) | Logs the specified message as a debug | log.str |
| debug-area(Strategy s, ATerm msg) | n/a | log.str |
| err(ATerm msg) | Logs the specified message as an error | log.str |
| err-msg(ATerm msg) | Logs the specified message as an error | log.str |
| fatal-err(ATerm msg) | Logs the specified message as critical and terminates the program with exit code 1 | log.str |
| fatal-err-msg(ATerm msg) | Logs the specified message as critical and terminates the program with exit code 1 | log.str |
| if-log-severity(Strategy s, ATerm severity) | n/a | log.str |
| log(ATerm severity, ATerm msg, ATerm term) | n/a | log.str |
| log(ATerm severity, ATerm msg) | n/a | log.str |
| log-puts | n/a | log.str |
| log-src | n/a | log.str |
| log-stream | n/a | log.str |
| notice(ATerm msg) | Logs the specified message as a notice | log.str |
| notice-msg(ATerm msg) | Logs the specified message as a notice | log.str |
| risky(Strategy s, ATerm msg) | n/a | log.str |
| risky(Strategy s, ATerm severity, ATerm msg) | n/a | log.str |
| set-log-stream | n/a | log.str |
| warn(ATerm msg) | Logs the specified message as a warning | log.str |
| warn-msg(ATerm msg) | Logs the specified message as a warning | log.str |
Rule summary |
||
| severity-string | n/a | log.str |
| severity-string | n/a | log.str |
| severity-string | n/a | log.str |
| severity-string | n/a | log.str |
| severity-string | n/a | log.str |
| severity-string | n/a | log.str |
| severity-string | n/a | log.str |
| severity-string | n/a | log.str |
| severity-string | n/a | log.str |
| string-to-level | n/a | log.str |
| string-to-level | n/a | log.str |
| string-to-level | n/a | log.str |
| string-to-level | n/a | log.str |
| string-to-level | n/a | log.str |
| string-to-level | n/a | log.str |
| string-to-level | n/a | log.str |
| string-to-level | n/a | log.str |
| string-to-level | n/a | log.str |
| verbose-level | n/a | log.str |
| verbose-level | n/a | log.str |
| verbose-level | n/a | log.str |
| verbose-level | n/a | log.str |
| verbose-level | n/a | log.str |
| verbose-level | n/a | log.str |
| verbose-level | n/a | log.str |
| verbose-level | n/a | log.str |
| verbose-level | n/a | log.str |
Strategy details |
|||||||||||
| ATerm | dbg(ATerm msg) | ||||||||||
Logs the specified message as a debug.
|
|||||||||||
| ATerm | err(ATerm msg) | ||||||||||
Logs the specified message as an error.
|
|||||||||||
| ATerm | err-msg(ATerm msg) | ||||||||||
Logs the specified message as an error.
|
|||||||||||
| ATerm | fatal-err(ATerm msg) | ||||||||||
Logs the specified message as critical and terminates the programwith exit code 1.
|
|||||||||||
| ATerm | fatal-err-msg(ATerm msg) | ||||||||||
Logs the specified message as critical and terminates the programwith exit code 1.
|
|||||||||||
| ATerm | notice(ATerm msg) | ||||||||||
Logs the specified message as a notice.
|
|||||||||||
| ATerm | notice-msg(ATerm msg) | ||||||||||
Logs the specified message as a notice.
|
|||||||||||
| ATerm | warn(ATerm msg) | ||||||||||
Logs the specified message as a warning.
|
|||||||||||
| ATerm | warn-msg(ATerm msg) | ||||||||||
Logs the specified message as a warning.
|
|||||||||||