File | reduce.str |
Author | Martin Bravenboer <martin.bravenboer@gmail.com> |
Since | unknown |
Removes non-terminals that are not productive or reachable.
General | |
Lines of code | 138 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 0 |
Overlay number | 0 |
Strategy number | 8 (100% documented) |
Rule number | 0 |
DynamicRule number | 0 |
Strategy summary |
||
rtg-all-nonterms-in(ATerm nts) | Succeeds if all non-terminals in the production are in the specified set of non-terminals | reduce.str |
rtg-can-be-produced(ATerm nt, ATerm productive, ATerm rhg) | Succeeds if the non-terminal can be produced by the rtg given the set of productive non-terminals | reduce.str |
rtg-check-result | Exits when the result doesn't contain any productions or start symbols | reduce.str |
rtg-collect-nonterms | Collect all (not build in) non-terminals in a rhg (or anything else) | reduce.str |
rtg-productive-nonterms | Returns the set of productive non terminals in the rhg | reduce.str |
rtg-reachable-nonterms | Returns the set of reachable non terminals in the rhg | reduce.str |
rtg-reduce | n/a | reduce.str |
rtg-set-inc-repeat(Strategy s) | Repeats s until the current set is no longer being extended | reduce.str |
Strategy details |
|||||||||||
ATerm | rtg-all-nonterms-in(ATerm nts) | ||||||||||
Succeeds if all non-terminals in the production are in the specifiedset of non-terminals.
|
|||||||||||
ATerm | rtg-can-be-produced(ATerm nt, ATerm productive, ATerm rhg) | ||||||||||
Succeeds if the non-terminal can be produced by the rtg given the set of productive non-terminals. FIXME: this strategy seems to use one on a list? |
|||||||||||
ATerm | rtg-check-result | ||||||||||
Exits when the result doesn't contain any productions or start symbols.
|
|||||||||||
ATerm | rtg-collect-nonterms | ||||||||||
Collect all (not build in) non-terminals in a rhg (or anything else).
|
|||||||||||
ATerm | rtg-productive-nonterms | ||||||||||
Returns the set of productive non terminals in the rhg.
|
|||||||||||
ATerm | rtg-reachable-nonterms | ||||||||||
Returns the set of reachable non terminals in the rhg.
|
|||||||||||
ATerm | rtg-reduce | ||||||||||
No information available.
|
|||||||||||
ATerm | rtg-set-inc-repeat(Strategy s) | ||||||||||
Repeats s until the current set is no longer being extended.
|
|||||||||||