AstToBox

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.




Statistics


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)
File AstToBox.str
Author unknown
Since unknown
 
Parameters
ATerm pptables List(PpTable)

Pretty-prints an ATerm to a Box using the given pretty-print tables.


type a -> Box

 
ATerm symbol2abox-alt(ATerm tbl, ATerm path, ATerm template)
File AstToBox.str
Author unknown
Since unknown
 

Rule to format alt(n,[]), with empty list of arguments



 
ATerm symbol2abox-alt(ATerm tbl, ATerm path, ATerm template)
File AstToBox.str
Author unknown
Since unknown
 

Rule to format alt(n,[arg]), with non-empty list of arguments



 
ATerm symbol2abox-iter(ATerm tbl, ATerm path, ATerm template)
File AstToBox.str
Author unknown
Since unknown
 

Rule to format iter and iter-star list



 
ATerm symbol2abox-iter-sep(ATerm tbl, ATerm path, ATerm template)
File AstToBox.str
Author unknown
Since unknown
 

Rule to format iter-sep and iter-star-sep list



 
ATerm symbol2abox-opt(ATerm tbl, ATerm path, ATerm template)
File AstToBox.str
Author unknown
Since unknown
 

Rule to format optional: Some(x)



 
ATerm symbol2abox-opt(ATerm tbl, ATerm path, ATerm template)
File AstToBox.str
Author unknown
Since unknown
 

Rule to format optinal: None



 
ATerm symbol2abox-seq(ATerm tbl, ATerm path, ATerm template)
File AstToBox.str
Author unknown
Since unknown
 

Rule ro format sequences