filter

File filter.str
Author Martin Bravenboer
Since unknown

Stratego Bindings for controlling the filter settings of SGLR.




Statistics


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
File filter.str
Author unknown
Since unknown
 

Succeeds if the direct eagerness filter is enabled.


type t -> t

 
ATerm get-filter-eagerness
File filter.str
Author unknown
Since unknown
 

Succeeds if the eagerness filter is enabled.


type t -> t

 
ATerm get-filter-injection-count
File filter.str
Author unknown
Since unknown
 

Succeeds if the injection-count filter is enabled.


type t -> t

 
ATerm get-filter-priority
File filter.str
Author unknown
Since unknown
 

Succeeds if the priority filter is enabled.


type t -> t

 
ATerm get-filter-reject
File filter.str
Author unknown
Since unknown
 

Succeeds if the priority filter is enabled.


type t -> t

 
ATerm set-filter-direct-eagerness(Strategy s)
File filter.str
Author unknown
Since unknown
 
Parameters
Strategy s true (success) or false (failure)

Set the direct eagerness filter.



 
ATerm set-filter-eagerness(Strategy s)
File filter.str
Author unknown
Since unknown
 
Parameters
Strategy s true (success) or false (failure)

Set the eagerness filter.


type t -> t

 
ATerm set-filter-injection-count(Strategy s)
File filter.str
Author unknown
Since unknown
 
Parameters
Strategy s true (success) or false (failure)

Set the injection count filter.



 
ATerm set-filter-priority(Strategy s)
File filter.str
Author unknown
Since unknown
 
Parameters
Strategy s true (success) or false (failure)

Set the priority filter.



 
ATerm set-filter-reject(Strategy s)
File filter.str
Author unknown
Since unknown
 
Parameters
Strategy s true (success) or false (failure)

Set the reject filter.