File | BoxToText.str |
Author | unknown |
Since | unknown |
This is a simple Box to text converter.It formats H, HV, A/R and ALT boxes.
Authors:- Merijn de Jonge <mdjonge@cwi.nl>- Eelco Visser <visser@acm.org>- Joost Visser <jvisser@cwi.nl>- Martin Bravenboer <martin.bravenboer@gmail.com>
Eelco Visser (April 5, 2001)- repaired bug in handling of H boxes- refactored handling of H case using thread-map
Martin Bravenboer (December 26/27/28, 2002)- implemented HV and A/R boxes- refactored many strategy defs
General | |
Lines of code | 383 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 0 |
Overlay number | 0 |
Strategy number | 23 (47% documented) |
Rule number | 20 (35% documented) |
DynamicRule number | 0 |
Rule summary |
||
abox2text-A(Strategy rec, ATerm xpos, ATerm width) | A | BoxToText.str |
abox2text-A(Strategy rec, ATerm xpos, ATerm width) | Without subboxes ([[]] as third argument) | BoxToText.str |
abox2text-C(Strategy rec, ATerm xpos, ATerm width) | n/a | BoxToText.str |
abox2text-FBOX(Strategy rec, ATerm xpos, ATerm width) | n/a | BoxToText.str |
abox2text-list(Strategy rec, ATerm xpos, ATerm width) | n/a | BoxToText.str |
abox2text-list(Strategy rec, ATerm xpos, ATerm width) | n/a | BoxToText.str |
abox2text-R(Strategy rec, ATerm xpos, ATerm width) | n/a | BoxToText.str |
abox2text-R(Strategy rec, ATerm xpos, ATerm width) | n/a | BoxToText.str |
abox2text-S(Strategy rec, ATerm xpos, ATerm width) | S | BoxToText.str |
gpp-align-column | n/a | BoxToText.str |
gpp-align-column | n/a | BoxToText.str |
gpp-align-column | n/a | BoxToText.str |
gpp-align-column | n/a | BoxToText.str |
gpp-do-A-column(Strategy rec) | (A-OPTION * (Int * [BOX])) * (Int * [[Strs]]) -> Int * [[Strs]] | BoxToText.str |
gpp-do-vbox-children(Strategy rec, ATerm xpos, ATerm left-xpos) | n/a | BoxToText.str |
gpp-format-vbox(ATerm sopt, ATerm xpos) | n/a | BoxToText.str |
gpp-hv-add-to-hbox(Strategy rec, ATerm hsl, ATerm width) | n/a | BoxToText.str |
gpp-hv-in-new-vbox(Strategy rec, ATerm hsl, ATerm left-xpos, ATerm width) | n/a | BoxToText.str |
gpp-thread-map(Strategy s, ATerm t) | n/a | BoxToText.str |
gpp-thread-map(Strategy s, ATerm t) | n/a | BoxToText.str |
Strategy details |
|||||||||||||||
ATerm | abox2text(Strategy rec, ATerm xpos, ATerm width) | ||||||||||||||
Use different names to make profiling easier. |
|||||||||||||||
ATerm | abox2text-H(Strategy rec, ATerm xpos, ATerm width) | ||||||||||||||
H
|
|||||||||||||||
ATerm | abox2text-HV(Strategy rec, ATerm xpos, ATerm width) | ||||||||||||||
HV
|
|||||||||||||||
ATerm | abox2text-V(Strategy rec, ATerm xpos, ATerm width) | ||||||||||||||
V
|
|||||||||||||||
ATerm | gpp-hs-text | ||||||||||||||
No information available.
|
|||||||||||||||
ATerm | gpp-is-real-hbox | ||||||||||||||
No information available.
|
|||||||||||||||
ATerm | gpp-is-real-vbox | ||||||||||||||
No information available.
|
|||||||||||||||
ATerm | gpp-is-text | ||||||||||||||
No information available.
|
|||||||||||||||
ATerm | gpp-vertical-sep(ATerm xpos) | ||||||||||||||
No information available.
|
|||||||||||||||
ATerm | gpp-vs-text | ||||||||||||||
No information available.
|
|||||||||||||||
ATerm | try-abox2text(ATerm pos, ATerm width) | ||||||||||||||
No information available.
|
|||||||||||||||
Rule details |
|||||||||||||||||
ATerm | abox2text-A(Strategy rec, ATerm xpos, ATerm width) | ||||||||||||||||
A The first two rules are to handle empty alignment operators, i.e., Aboxses with [] or [[]] as third argument.Without subboxes ([] as third argument) |
|||||||||||||||||
ATerm | abox2text-A(Strategy rec, ATerm xpos, ATerm width) | ||||||||||||||||
Without subboxes ([[]] as third argument) |
|||||||||||||||||
ATerm | abox2text-S(Strategy rec, ATerm xpos, ATerm width) | ||||||||||||||||
S |
|||||||||||||||||
ATerm | gpp-do-A-column(Strategy rec) | ||||||||||||||||
(A-OPTION * (Int * [BOX])) * (Int * [[Strs]]) -> Int * [[Strs]] |
|||||||||||||||||
ATerm | gpp-do-vbox-children(Strategy rec, ATerm xpos, ATerm left-xpos) | ||||||||||||||||
No information available.
|
|||||||||||||||||
ATerm | gpp-format-vbox(ATerm sopt, ATerm xpos) | ||||||||||||||||
No information available.
|
|||||||||||||||||
ATerm | gpp-hv-add-to-hbox(Strategy rec, ATerm hsl, ATerm width) | ||||||||||||||||
No information available.
|
|||||||||||||||||