File | PpTableIO.str |
Author | Merijn de Jonge (mdjonge@cwi.nl) |
Since | unknown |
General | |
Lines of code | 102 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 0 |
Overlay number | 0 |
Strategy number | 7 (71% documented) |
Rule number | 2 (50% documented) |
DynamicRule number | 0 |
Strategy summary |
||
pptable-arity-of-template | Determines the arity of a template by collecting the Arg nodes | PpTableIO.str |
pptable-desugar-entry | n/a | PpTableIO.str |
pptable-get-log(ATerm tbl) | Get an entry from the pp-table and log if the entry does not exist | PpTableIO.str |
pptable-make-hashtable | n/a | PpTableIO.str |
pptable-path-to-string | n/a | PpTableIO.str |
pptable-path-to-string | n/a | PpTableIO.str |
pptable-store-entry(ATerm tbl) | n/a | PpTableIO.str |
Rule summary |
||
pptable-make-key | n/a | PpTableIO.str |
pptable-make-key | n/a | PpTableIO.str |
Strategy details |
|||||||||||
ATerm | pptable-arity-of-template | ||||||||||
Determines the arity of a template by collecting the Arg nodes.
|
|||||||||||
ATerm | pptable-get-log(ATerm tbl) | ||||||||||
Get an entry from the pp-table and log if the entry does not exist. |
|||||||||||
ATerm | pptable-make-hashtable | ||||||||||
No information available.
|
|||||||||||
ATerm | pptable-path-to-string | ||||||||||
No information available.
|
|||||||||||
ATerm | pptable-path-to-string | ||||||||||
No information available.
|
|||||||||||
Rule details |
|||||||||||
ATerm | pptable-make-key | ||||||||||
No information available.
|
|||||||||||