A
|
alt(ATerm , ATerm )
|
n/a
|
signature.str
|
alternative
|
Implosion of AsFix alternatives
|
alternative.str
|
amb(ATerm )
|
n/a
|
signature.str
|
anno
|
n/a
|
anno.str
|
AnnoComment
|
n/a
|
anno.str
|
annotation(Strategy impl, Strategy skip)
|
n/a
|
concrete-syntax.str
|
appl(ATerm , ATerm )
|
n/a
|
signature.str
|
ApplToSort
|
n/a
|
sort.str
|
ApplToSort
|
n/a
|
sort.str
|
ApplToSort
|
n/a
|
sort.str
|
asfix-anno-all-consnil(Strategy s)
|
n/a
|
anno.str
|
asfix-anno-comments
|
n/a
|
anno.str
|
asfix-anno-comments(ATerm s)
|
n/a
|
anno.str
|
asfix-anno-Kids
|
n/a
|
anno.str
|
asfix-anno-Kids'
|
n/a
|
anno.str
|
asfix-anno-location
|
Annotates an AsFix parse tree with locations
|
anno.str
|
asfix-anno-position-info(ATerm path)
|
Annotates an AsFix parse tree with position information
|
anno.str
|
asfix-anno-topdown-consnil(Strategy s)
|
n/a
|
anno.str
|
asfix-anno-yield
|
n/a
|
anno.str
|
asfix-appl-to-sort
|
Replace applications by application of sort symbol
|
implode.str
|
asfix-flat-alt
|
Flatten Alternatives: appl(alt(a,alt(b,alt(c,d))),[d]) -> alt(4,d)
|
implode.str
|
asfix-flat-injections
|
Flatten injections in a parse tree
|
implode.str
|
asfix-flat-lex
|
Flatten lexical sub trees in the parse tree
|
implode.str
|
asfix-flat-list
|
Flatten list constructs
|
implode.str
|
asfix-is-sort
|
n/a
|
injection.str
|
asfix-remove-layout
|
Remove layout nodes from the parse tree
|
implode.str
|
asfix-remove-lit
|
Remove literal nodes from the parse tree
|
implode.str
|
asfix-remove-seq
|
Replace sequence by tuples
|
implode.str
|
asfix-replace-appl
|
Replace appl nodes with their cons attribute if available
|
implode.str
|
asfix-yield-acc(Strategy rec, ATerm acc)
|
n/a
|
lexical.str
|
asfix-yield-acc(Strategy rec, ATerm acc)
|
n/a
|
lexical.str
|
asfix-yield-acc(Strategy rec, ATerm acc)
|
n/a
|
lexical.str
|
asfix-yield-acc(Strategy rec, ATerm acc)
|
n/a
|
lexical.str
|
asfix-yield-appl
|
The yield of an AsFixTerm is the string consisting of the characters at the leaves of the tree
|
lexical.str
|
asfix-yield-quote
|
n/a
|
concrete-syntax.str
|
asfix-yield-quote-acc(Strategy rec, ATerm acc)
|
n/a
|
concrete-syntax.str
|
asfix-yield-quote-acc(Strategy rec, ATerm acc)
|
n/a
|
concrete-syntax.str
|
asfix-yield-quote-acc(Strategy rec, ATerm acc)
|
n/a
|
concrete-syntax.str
|
AsFix2(ATerm )
|
n/a
|
config.str
|
AsFix2ME(ATerm )
|
n/a
|
config.str
|
assoc(ATerm )
|
n/a
|
signature.str
|
assoc(ATerm )
|
n/a
|
signature.str
|
AssociativityFilter(ATerm )
|
n/a
|
filter.str
|
ast(ATerm )
|
n/a
|
constructor.str
|
attrs(ATerm )
|
n/a
|
signature.str
|
avoid(ATerm )
|
n/a
|
signature.str
|
B
|
bracket(ATerm )
|
n/a
|
signature.str
|
C
|
cf(ATerm )
|
n/a
|
signature.str
|
char(ATerm )
|
n/a
|
signature.str
|
char-class(ATerm )
|
n/a
|
signature.str
|
character(ATerm )
|
n/a
|
signature.str
|
cilit(ATerm )
|
n/a
|
signature.str
|
clear-parse-error
|
Clears the current parse error
|
parse.str
|
close-parse-table
|
Close an open parse table
|
parse-table.str
|
Cns
|
n/a
|
constructor.str
|
CnsGeneric
|
n/a
|
constructor.str
|
CnsNil
|
n/a
|
constructor.str
|
Comment(ATerm )
|
n/a
|
anno.str
|
conc
|
Conc to Cons
|
conc.str
|
Conc(ATerm , ATerm )
|
n/a
|
conc.str
|
Conc(ATerm , ATerm , ATerm )
|
n/a
|
conc.str
|
conc-to-cons
|
n/a
|
conc.str
|
concrete-syntax
|
Implosion of concrete syntax
|
concrete-syntax.str
|
config
|
Configuration of SGLR
|
config.str
|
cons(ATerm )
|
n/a
|
signature.str
|
Constr0
|
n/a
|
constructor.str
|
Constr1
|
n/a
|
constructor.str
|
Constr1
|
n/a
|
constructor.str
|
Constr1
|
n/a
|
constructor.str
|
Constr1
|
n/a
|
constructor.str
|
Constr1
|
n/a
|
constructor.str
|
Constr1
|
n/a
|
constructor.str
|
Constr1
|
n/a
|
constructor.str
|
Constr1
|
n/a
|
constructor.str
|
Constr1
|
n/a
|
constructor.str
|
Constr1
|
n/a
|
constructor.str
|
Constr1
|
n/a
|
constructor.str
|
Constr1
|
n/a
|
constructor.str
|
Constr1
|
n/a
|
constructor.str
|
Constr1
|
n/a
|
constructor.str
|
Constr1
|
n/a
|
constructor.str
|
Constr1
|
n/a
|
constructor.str
|
Constr23
|
n/a
|
constructor.str
|
ConstrNil
|
n/a
|
constructor.str
|
ConstrNil
|
n/a
|
constructor.str
|
ConstrNil
|
n/a
|
constructor.str
|
ConstrNil
|
n/a
|
constructor.str
|
constructor
|
Implosion of productions that result in constructor applications
|
constructor.str
|
CTC0
|
n/a
|
conc.str
|
CTC0
|
n/a
|
conc.str
|
CTC1
|
n/a
|
conc.str
|
CTC1
|
n/a
|
conc.str
|
CTC1
|
n/a
|
conc.str
|
CTC1
|
n/a
|
conc.str
|
CTC2
|
n/a
|
conc.str
|
CTC2
|
n/a
|
conc.str
|
CTC2
|
n/a
|
conc.str
|
CTC2
|
n/a
|
conc.str
|
CTC3
|
n/a
|
conc.str
|
CTC4
|
n/a
|
conc.str
|
D
|
DirectEagernessFilter(ATerm )
|
n/a
|
filter.str
|
E
|
EagernessFilter(ATerm )
|
n/a
|
filter.str
|
empty(ATerm )
|
n/a
|
signature.str
|
F
|
fetch-comment
|
n/a
|
anno.str
|
filename
|
n/a
|
report.str
|
filter
|
Stratego Bindings for controlling the filter settings of SGLR
|
filter.str
|
FlatList
|
n/a
|
list.str
|
FlatList
|
n/a
|
list.str
|
FlatList
|
n/a
|
list.str
|
FlatList
|
n/a
|
list.str
|
FlatList
|
n/a
|
list.str
|
FlatList
|
n/a
|
list.str
|
FlatList
|
n/a
|
list.str
|
FlatList
|
n/a
|
list.str
|
FromApp(ATerm )
|
n/a
|
markers.str
|
FromMetaExpr(ATerm )
|
n/a
|
markers.str
|
FromMetaListExpr(ATerm )
|
n/a
|
markers.str
|
FromStrategy(ATerm )
|
n/a
|
markers.str
|
FromTerm(ATerm )
|
n/a
|
markers.str
|
func(ATerm , ATerm )
|
n/a
|
signature.str
|
G
|
get-ambiguity-is-error
|
Succeeds if ambiguities are treated as errors
|
config.str
|
get-ast-pattern
|
n/a
|
constructor.str
|
get-comment-sorts
|
n/a
|
anno.str
|
get-cons
|
n/a
|
constructor.str
|
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
|
get-parse-error
|
Returns the parser error from the last parse
|
parse.str
|
get-sglr-log-statistics
|
n/a
|
config.str
|
H
|
has-cons
|
n/a
|
anno.str
|
I
|
implode
|
Implosion of AsFix to an AST
|
implode.str
|
implode-asfix
|
n/a
|
implode.str
|
implode-asfix(Strategy implode-concrete)
|
n/a
|
implode.str
|
implode-asfix-skip-concrete-syntax
|
n/a
|
implode.str
|
implode-constant-literal(ATerm constant)
|
n/a
|
constructor.str
|
implode-parsetree
|
Implodes a slight variant of the asfix format, similar to the command-line implodePT tool
|
implode.str
|
ImplodeAlternative
|
n/a
|
alternative.str
|
ImplodeInjection
|
n/a
|
injection.str
|
ImplodeInjection
|
Injection of a literal to a sort
|
injection.str
|
ImplodeInjection
|
Injection of a case insensitive literal to a sort
|
injection.str
|
ImplodeLayout
|
n/a
|
layout.str
|
ImplodeLayout
|
n/a
|
layout.str
|
ImplodeLayout
|
n/a
|
layout.str
|
ImplodeLexical
|
n/a
|
lexical.str
|
ImplodeLexical
|
n/a
|
lexical.str
|
ImplodeLexical
|
n/a
|
lexical.str
|
ImplodeLexical
|
n/a
|
lexical.str
|
ImplodeLexical
|
n/a
|
lexical.str
|
ImplodeLexicalListVar
|
n/a
|
lexical.str
|
ImplodeLexicalListVar
|
n/a
|
lexical.str
|
ImplodeLexicalListVar
|
n/a
|
lexical.str
|
ImplodeLexicalListVar
|
n/a
|
lexical.str
|
ImplodeLexicalVar
|
n/a
|
lexical.str
|
ImplodeOptionalList
|
n/a
|
list.str
|
ImplodeOptionalList
|
n/a
|
list.str
|
ImplodeOptionalList
|
n/a
|
list.str
|
ImplodeOptionalList
|
n/a
|
list.str
|
ImplodeTuple
|
n/a
|
tuple.str
|
ImplodeTuple
|
n/a
|
tuple.str
|
injection
|
Implosion of AsFix injections
|
injection.str
|
InjectionCountFilter(ATerm )
|
n/a
|
filter.str
|
Ins(ATerm )
|
n/a
|
conc.str
|
is-asfix-list
|
n/a
|
list.str
|
is-conc
|
n/a
|
constructor.str
|
is-conc
|
n/a
|
constructor.str
|
is-conc
|
n/a
|
constructor.str
|
is-conc
|
n/a
|
constructor.str
|
is-conc
|
n/a
|
constructor.str
|
is-conc
|
n/a
|
constructor.str
|
is-conc
|
n/a
|
constructor.str
|
is-conc
|
n/a
|
constructor.str
|
is-conc
|
n/a
|
constructor.str
|
is-ignorable-syntax
|
Layout can be ignored
|
layout.str
|
is-ignorable-syntax
|
Literals can be ignored
|
layout.str
|
is-ignorable-syntax
|
Case insensitive literals can be ignored
|
layout.str
|
is-ignorable-syntax
|
In AsFix2ME, literals can occur directly as arguments of an application
|
layout.str
|
is-ignorable-syntax
|
n/a
|
layout.str
|
is-injection
|
n/a
|
injection.str
|
is-injection
|
n/a
|
injection.str
|
is-injection
|
n/a
|
injection.str
|
is-injection
|
n/a
|
injection.str
|
is-injection
|
n/a
|
injection.str
|
is-injection
|
n/a
|
injection.str
|
is-injection
|
n/a
|
injection.str
|
is-injective-alt
|
n/a
|
injection.str
|
is-ins
|
n/a
|
constructor.str
|
is-ins
|
n/a
|
constructor.str
|
is-ins
|
n/a
|
constructor.str
|
is-ins
|
n/a
|
constructor.str
|
is-layout
|
n/a
|
layout.str
|
is-layout
|
n/a
|
layout.str
|
is-layout'
|
n/a
|
layout.str
|
is-list-sort
|
n/a
|
list.str
|
is-nil
|
n/a
|
constructor.str
|
is-nil
|
n/a
|
constructor.str
|
is-nil
|
n/a
|
constructor.str
|
is-nil
|
n/a
|
constructor.str
|
is-none
|
n/a
|
constructor.str
|
is-none
|
n/a
|
constructor.str
|
is-parse-table-open(ATerm tbl)
|
Succeeds if the table argument is open
|
parse-table.str
|
is-parse-tree
|
Succeeds if the current term is a parse tree
|
parse.str
|
is-some
|
n/a
|
constructor.str
|
is-some
|
n/a
|
constructor.str
|
iter(ATerm )
|
n/a
|
signature.str
|
iter-sep(ATerm , ATerm )
|
n/a
|
signature.str
|
iter-star(ATerm )
|
n/a
|
signature.str
|
iter-star-sep(ATerm , ATerm )
|
n/a
|
signature.str
|
L
|
layout
|
Implosion of AsFix Layout
|
layout.str
|
layout(ATerm )
|
n/a
|
layout.str
|
layout(ATerm )
|
n/a
|
signature.str
|
left(ATerm )
|
n/a
|
signature.str
|
lex(ATerm )
|
n/a
|
signature.str
|
lexical
|
Implosion of lexical syntax
|
lexical.str
|
list
|
Implosion of AsFix lists
|
list.str
|
list(ATerm )
|
n/a
|
signature.str
|
lit(ATerm )
|
n/a
|
signature.str
|
lit(ATerm )
|
n/a
|
signature.str
|
Location(ATerm , ATerm , ATerm , ATerm )
|
n/a
|
anno.str
|
M
|
markers
|
Standard transition markers to indicate quotations and anti-quotations
|
markers.str
|
meta-listvar(ATerm )
|
n/a
|
markers.str
|
meta-var(ATerm )
|
n/a
|
markers.str
|
N
|
no-attrs(ATerm )
|
n/a
|
signature.str
|
non-assoc(ATerm )
|
n/a
|
signature.str
|
O
|
open-parse-table
|
Open a parse table for use in parsing
|
parse-table.str
|
open-parse-table-report-errors
|
n/a
|
parse-table.str
|
open-parse-table-wrap-report-errors(Strategy s, ATerm tbl)
|
n/a
|
parse-table.str
|
open-stream
|
n/a
|
parse.str
|
opt(ATerm )
|
n/a
|
signature.str
|
P
|
parametrized-sort(ATerm , ATerm )
|
n/a
|
signature.str
|
parse
|
Stratego Bindings for parsing using SGLR
|
parse.str
|
parse(ATerm tbl')
|
n/a
|
parse-report-errors.str
|
parse(ATerm tbl')
|
n/a
|
parse-report-errors.str
|
parse-file(ATerm tbl)
|
n/a
|
parse.str
|
parse-file(ATerm tbl, ATerm start-symbol)
|
n/a
|
parse.str
|
parse-file(ATerm tbl, ATerm start-symbol, ATerm path)
|
n/a
|
parse.str
|
parse-file(Strategy on-open-error, Strategy on-parse-error, ATerm tbl)
|
n/a
|
parse.str
|
parse-file(Strategy on-open-error, Strategy on-parse-error, ATerm tbl, ATerm start-symbol)
|
n/a
|
parse.str
|
parse-file(Strategy on-open-error, Strategy on-parse-error, ATerm tbl, ATerm start-symbol, ATerm path)
|
n/a
|
parse.str
|
parse-file-pt(ATerm tbl)
|
n/a
|
parse.str
|
parse-file-pt(ATerm tbl, ATerm start-symbol)
|
n/a
|
parse.str
|
parse-file-pt(ATerm tbl, ATerm start-symbol, ATerm path)
|
n/a
|
parse.str
|
parse-file-pt(Strategy on-open-error, Strategy on-parse-error, ATerm tbl)
|
n/a
|
parse.str
|
parse-file-pt(Strategy on-open-error, Strategy on-parse-error, ATerm tbl, ATerm start-symbol)
|
n/a
|
parse.str
|
parse-file-pt(Strategy on-open-error, Strategy on-parse-error, ATerm tbl, ATerm start-symbol, ATerm path)
|
n/a
|
parse.str
|
parse-report-errors
|
n/a
|
parse-report-errors.str
|
parse-stream(ATerm tbl)
|
n/a
|
parse.str
|
parse-stream(ATerm tbl, ATerm start-symbol)
|
n/a
|
parse.str
|
parse-stream(ATerm tbl, ATerm start-symbol, ATerm path)
|
n/a
|
parse.str
|
parse-stream(Strategy on-parse-error, ATerm tbl)
|
n/a
|
parse.str
|
parse-stream(Strategy on-parse-error, ATerm tbl, ATerm start-symbol)
|
n/a
|
parse.str
|
parse-stream(Strategy on-parse-error, ATerm tbl, ATerm start-symbol, ATerm path)
|
n/a
|
parse.str
|
parse-stream-pt(ATerm tbl)
|
n/a
|
parse.str
|
parse-stream-pt(ATerm tbl, ATerm start-symbol)
|
n/a
|
parse.str
|
parse-stream-pt(ATerm tbl, ATerm start-symbol, ATerm path)
|
n/a
|
parse.str
|
parse-stream-pt(Strategy on-parse-error, ATerm tbl)
|
n/a
|
parse.str
|
parse-stream-pt(Strategy on-parse-error, ATerm tbl, ATerm start-symbol)
|
n/a
|
parse.str
|
parse-stream-pt(Strategy on-parse-error, ATerm tbl, ATerm start-symbol, ATerm path)
|
n/a
|
parse.str
|
parse-string(ATerm tbl)
|
n/a
|
parse.str
|
parse-string(ATerm tbl, ATerm start-symbol)
|
n/a
|
parse.str
|
parse-string(ATerm tbl, ATerm start-symbol, ATerm path)
|
n/a
|
parse.str
|
parse-string(Strategy on-parse-error, ATerm tbl)
|
n/a
|
parse.str
|
parse-string(Strategy on-parse-error, ATerm tbl, ATerm start-symbol)
|
n/a
|
parse.str
|
parse-string(Strategy on-parse-error, ATerm tbl, ATerm start-symbol, ATerm path)
|
n/a
|
parse.str
|
parse-string-pt(ATerm tbl)
|
n/a
|
parse.str
|
parse-string-pt(ATerm tbl, ATerm start-symbol)
|
n/a
|
parse.str
|
parse-string-pt(ATerm tbl, ATerm start-symbol, ATerm path)
|
n/a
|
parse.str
|
parse-string-pt(Strategy on-parse-error, ATerm tbl)
|
n/a
|
parse.str
|
parse-string-pt(Strategy on-parse-error, ATerm tbl, ATerm start-symbol)
|
n/a
|
parse.str
|
parse-string-pt(Strategy on-parse-error, ATerm tbl, ATerm start-symbol, ATerm path)
|
n/a
|
parse.str
|
parse-table
|
Stratego Bindings for opening and closing parse tables
|
parse-table.str
|
parse-xtc-file(ATerm tbl)
|
n/a
|
parse.str
|
parse-xtc-file(ATerm tbl, ATerm start-symbol)
|
n/a
|
parse.str
|
parse-xtc-file(ATerm tbl, ATerm start-symbol, ATerm path)
|
n/a
|
parse.str
|
parse-xtc-file(Strategy on-open-error, Strategy on-parse-error, ATerm tbl)
|
n/a
|
parse.str
|
parse-xtc-file(Strategy on-open-error, Strategy on-parse-error, ATerm tbl, ATerm start-symbol)
|
n/a
|
parse.str
|
parse-xtc-file(Strategy on-open-error, Strategy on-parse-error, ATerm tbl, ATerm start-symbol, ATerm path)
|
n/a
|
parse.str
|
parse-xtc-file-pt(ATerm tbl)
|
n/a
|
parse.str
|
parse-xtc-file-pt(ATerm tbl, ATerm start-symbol)
|
n/a
|
parse.str
|
parse-xtc-file-pt(ATerm tbl, ATerm start-symbol, ATerm path)
|
n/a
|
parse.str
|
parse-xtc-file-pt(Strategy on-open-error, Strategy on-parse-error, ATerm tbl)
|
n/a
|
parse.str
|
parse-xtc-file-pt(Strategy on-open-error, Strategy on-parse-error, ATerm tbl, ATerm start-symbol)
|
n/a
|
parse.str
|
parse-xtc-file-pt(Strategy on-open-error, Strategy on-parse-error, ATerm tbl, ATerm start-symbol, ATerm path)
|
n/a
|
parse.str
|
parse-xtc-file-pt-report-errors(ATerm tbl, ATerm sort)
|
n/a
|
parse-report-errors.str
|
parse-xtc-file-report-errors(ATerm tbl, ATerm sort)
|
n/a
|
parse-report-errors.str
|
ParseTable(ATerm )
|
n/a
|
parse-table.str
|
parsetree(ATerm , ATerm )
|
n/a
|
signature.str
|
path-of-xtc-file
|
n/a
|
parse.str
|
pp-sdf-symbol
|
n/a
|
verbalize.str
|
prefer(ATerm )
|
n/a
|
signature.str
|
print-context-in-file
|
n/a
|
report.str
|
print-location
|
n/a
|
report.str
|
PriorityFilter(ATerm )
|
n/a
|
filter.str
|
prod(ATerm , ATerm , ATerm )
|
n/a
|
signature.str
|
R
|
range(ATerm , ATerm )
|
n/a
|
signature.str
|
read-input-file
|
n/a
|
report.str
|
reject(ATerm )
|
n/a
|
signature.str
|
RejectFilter(ATerm )
|
n/a
|
filter.str
|
ReplacePlaceholder
|
n/a
|
constructor.str
|
ReplAstPattern(Strategy impl)
|
Handles the experimental ast annotations
|
constructor.str
|
ReplCons(Strategy impl)
|
n/a
|
constructor.str
|
ReplConsConc(Strategy impl)
|
n/a
|
constructor.str
|
ReplConsConc(Strategy impl)
|
Note: the separator of this concatenation operator is made into an element of the list
|
constructor.str
|
ReplConsIns(Strategy impl)
|
n/a
|
constructor.str
|
ReplConsIns(Strategy impl)
|
n/a
|
constructor.str
|
ReplConsIns(Strategy impl)
|
n/a
|
constructor.str
|
ReplConsNil(Strategy impl)
|
n/a
|
constructor.str
|
ReplConsNone(Strategy impl)
|
n/a
|
constructor.str
|
ReplConsSome(Strategy impl)
|
n/a
|
constructor.str
|
ReplNamedCons(Strategy impl)
|
n/a
|
constructor.str
|
report
|
Reporting error summaries to the user
|
report.str
|
report-area(ATerm err, ATerm descr, ATerm file, ATerm area)
|
Presents the 'area' in the file at stderr
|
report.str
|
report-error(ATerm producer, ATerm error)
|
n/a
|
report.str
|
report-error(ATerm error)
|
n/a
|
report.str
|
report-error-summary(ATerm summary)
|
Reports an error summary to the stderr
|
report.str
|
report-file(ATerm err, ATerm descr, ATerm file)
|
n/a
|
report.str
|
report-location(ATerm err, ATerm descr, ATerm location)
|
n/a
|
report.str
|
report-location(ATerm err, ATerm descr, ATerm location)
|
n/a
|
report.str
|
report-specific-error(ATerm producer, ATerm error)
|
n/a
|
report.str
|
right(ATerm )
|
n/a
|
signature.str
|
rm-layout
|
n/a
|
layout.str
|
S
|
seq(ATerm )
|
n/a
|
tuple.str
|
seq(ATerm , ATerm )
|
n/a
|
signature.str
|
set-ambiguity-is-error(Strategy s)
|
Set if ambiguities are to be treated as errors
|
config.str
|
set-asfix2-format
|
Sets the parse tree format to AsFix2
|
config.str
|
set-asfix2me-format
|
Sets the parse tree format to AsFix2ME
|
config.str
|
set-default-filters
|
n/a
|
filter.str
|
set-default-sglr-config
|
n/a
|
config.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-filtering(Strategy s)
|
Set if filtering is enabled
|
config.str
|
set-heuristic-filters(Strategy s)
|
n/a
|
filter.str
|
set-parse-tree-format
|
Sets the parse tree format to the specific format
|
config.str
|
set-parse-tree-format
|
n/a
|
config.str
|
set-sglr-log-statistics(Strategy s)
|
Set if statistics are to be logged
|
config.str
|
set-sglr-log-stream
|
n/a
|
config.str
|
signature
|
n/a
|
signature.str
|
skip-concrete(Strategy impl)
|
n/a
|
concrete-syntax.str
|
Snoc(ATerm , ATerm )
|
n/a
|
conc.str
|
sort
|
Note: these strategies are not used in the main implode-asfix, but only in a specific implosion option
|
sort.str
|
sort(ATerm )
|
n/a
|
signature.str
|
stratego-sglr
|
Stratego SGLR Library
|
stratego-sglr.str
|
strategy(ATerm , ATerm )
|
n/a
|
signature.str
|
strsglr-antiquote-cong(Strategy s)
|
n/a
|
markers.str
|
strsglr-is-antiquote-cons
|
n/a
|
markers.str
|
strsglr-is-quote-cons
|
n/a
|
markers.str
|
strsglr-metavar-cong(Strategy s)
|
n/a
|
markers.str
|
strsglr-perror
|
n/a
|
parse-report-errors.str
|
strsglr-quote-cong(Strategy s)
|
n/a
|
markers.str
|
strsglr-report-parse-error
|
n/a
|
parse-report-errors.str
|
T
|
term(ATerm )
|
n/a
|
signature.str
|
ToBuild(ATerm )
|
n/a
|
markers.str
|
ToMetaExpr(ATerm )
|
n/a
|
markers.str
|
ToMetaListExpr(ATerm )
|
n/a
|
markers.str
|
ToStrategy(ATerm )
|
n/a
|
markers.str
|
ToTerm(ATerm )
|
n/a
|
markers.str
|
tuple
|
Implosion of AsFix tuples
|
tuple.str
|
tuple(ATerm , ATerm )
|
n/a
|
signature.str
|
V
|
varsym(ATerm )
|
n/a
|
signature.str
|
verbalize
|
Utils for pretty-printing SDF
|
verbalize.str
|
X
|
x-pos
|
n/a
|
report.str
|
Y
|
y-pos
|
n/a
|
report.str
|
yield(ATerm chars)
|
n/a
|
lexical.str
|
yield(ATerm chars)
|
n/a
|
concrete-syntax.str
|
yield-asfix-quotes
|
n/a
|
concrete-syntax.str
|