File | filter.str |
Author | Martin Bravenboer |
Since | unknown |
Stratego Bindings for controlling the filter settings of SGLR.
General | |
Lines of code | 162 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 6 (0% documented) |
Overlay number | 0 |
Strategy number | 12 (83% documented) |
Rule number | 0 |
DynamicRule number | 0 |
Constructor summary |
||
AssociativityFilter(ATerm ) | n/a | filter.str |
DirectEagernessFilter(ATerm ) | n/a | filter.str |
EagernessFilter(ATerm ) | n/a | filter.str |
InjectionCountFilter(ATerm ) | n/a | filter.str |
PriorityFilter(ATerm ) | n/a | filter.str |
RejectFilter(ATerm ) | n/a | filter.str |
Strategy summary |
||
get-filter-direct-eagerness | Succeeds if the direct eagerness filter is enabled | filter.str |
get-filter-eagerness | Succeeds if the eagerness filter is enabled | filter.str |
get-filter-injection-count | Succeeds if the injection-count filter is enabled | filter.str |
get-filter-priority | Succeeds if the priority filter is enabled | filter.str |
get-filter-reject | Succeeds if the priority filter is enabled | filter.str |
set-default-filters | n/a | filter.str |
set-filter-direct-eagerness(Strategy s) | Set the direct eagerness filter | filter.str |
set-filter-eagerness(Strategy s) | Set the eagerness filter | filter.str |
set-filter-injection-count(Strategy s) | Set the injection count filter | filter.str |
set-filter-priority(Strategy s) | Set the priority filter | filter.str |
set-filter-reject(Strategy s) | Set the reject filter | filter.str |
set-heuristic-filters(Strategy s) | n/a | filter.str |
Strategy details |
|||||||||||||||
ATerm | get-filter-direct-eagerness | ||||||||||||||
Succeeds if the direct eagerness filter is enabled.
|
|||||||||||||||
ATerm | get-filter-eagerness | ||||||||||||||
Succeeds if the eagerness filter is enabled.
|
|||||||||||||||
ATerm | get-filter-injection-count | ||||||||||||||
Succeeds if the injection-count filter is enabled.
|
|||||||||||||||
ATerm | get-filter-priority | ||||||||||||||
Succeeds if the priority filter is enabled.
|
|||||||||||||||
ATerm | get-filter-reject | ||||||||||||||
Succeeds if the priority filter is enabled.
|
|||||||||||||||
ATerm | set-filter-direct-eagerness(Strategy s) | ||||||||||||||
Set the direct eagerness filter. |
|||||||||||||||
ATerm | set-filter-eagerness(Strategy s) | ||||||||||||||
Set the eagerness filter.
|
|||||||||||||||
ATerm | set-filter-injection-count(Strategy s) | ||||||||||||||
Set the injection count filter. |
|||||||||||||||
ATerm | set-filter-priority(Strategy s) | ||||||||||||||
Set the priority filter. |
|||||||||||||||
ATerm | set-filter-reject(Strategy s) | ||||||||||||||
Set the reject filter. |
|||||||||||||||