| File | AstToBox.str |
| Author | Merijn de Jonge <mdjonge@cs.uu.nl> |
| Since | unknown |
Pretty-print an ATerm to a Box using the given pretty-print tables.
| General | |
| Lines of code | 174 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 16 (50% documented) |
| Rule number | 1 (0% documented) |
| DynamicRule number | 0 |
Strategy summary |
||
| arg2abox(ATerm tbl, ATerm n, ATerm path) | n/a | AstToBox.str |
| ast2abox(ATerm pptables) | Pretty-prints an ATerm to a Box using the given pretty-print tables | AstToBox.str |
| symbol2abox(ATerm tbl, ATerm symbol, ATerm path, ATerm template) | n/a | AstToBox.str |
| symbol2abox-alt(ATerm tbl, ATerm path, ATerm template) | Rule to format alt(n,[]), with empty list of arguments | AstToBox.str |
| symbol2abox-alt(ATerm tbl, ATerm path, ATerm template) | Rule to format alt(n,[arg]), with non-empty list of arguments | AstToBox.str |
| symbol2abox-iter(ATerm tbl, ATerm path, ATerm template) | Rule to format iter and iter-star list | AstToBox.str |
| symbol2abox-iter-sep(ATerm tbl, ATerm path, ATerm template) | Rule to format iter-sep and iter-star-sep list | AstToBox.str |
| symbol2abox-opt(ATerm tbl, ATerm path, ATerm template) | Rule to format optional: Some(x) | AstToBox.str |
| symbol2abox-opt(ATerm tbl, ATerm path, ATerm template) | Rule to format optinal: None | AstToBox.str |
| symbol2abox-seq(ATerm tbl, ATerm path, ATerm template) | Rule ro format sequences | AstToBox.str |
| trm2abox(ATerm tbl) | n/a | AstToBox.str |
| trm2abox-appl(ATerm tbl) | n/a | AstToBox.str |
| trm2abox-int(ATerm tbl) | n/a | AstToBox.str |
| trm2abox-list(ATerm tbl) | n/a | AstToBox.str |
| trm2abox-real(ATerm tbl) | n/a | AstToBox.str |
| trm2abox-string(ATerm tbl) | n/a | AstToBox.str |
Rule summary |
||
| pptable-path-get-symbol | n/a | AstToBox.str |
Strategy details |
|||||||||||||||
| ATerm | ast2abox(ATerm pptables) | ||||||||||||||
Pretty-prints an ATerm to a Box using the given pretty-print tables.
|
|||||||||||||||
| ATerm | symbol2abox-alt(ATerm tbl, ATerm path, ATerm template) | ||||||||||||||
Rule to format alt(n,[]), with empty list of arguments |
|||||||||||||||
| ATerm | symbol2abox-alt(ATerm tbl, ATerm path, ATerm template) | ||||||||||||||
Rule to format alt(n,[arg]), with non-empty list of arguments |
|||||||||||||||
| ATerm | symbol2abox-iter(ATerm tbl, ATerm path, ATerm template) | ||||||||||||||
Rule to format iter and iter-star list |
|||||||||||||||
| ATerm | symbol2abox-iter-sep(ATerm tbl, ATerm path, ATerm template) | ||||||||||||||
Rule to format iter-sep and iter-star-sep list |
|||||||||||||||
| ATerm | symbol2abox-opt(ATerm tbl, ATerm path, ATerm template) | ||||||||||||||
Rule to format optional: Some(x) |
|||||||||||||||
| ATerm | symbol2abox-opt(ATerm tbl, ATerm path, ATerm template) | ||||||||||||||
Rule to format optinal: None |
|||||||||||||||
| ATerm | symbol2abox-seq(ATerm tbl, ATerm path, ATerm template) | ||||||||||||||
Rule ro format sequences |
|||||||||||||||