Strategy index (API)

[ A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z ]

Strategy index


A
annotation(Strategy impl, Strategy skip) n/a concrete-syntax.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-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-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
C
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
conc-to-cons n/a conc.str
F
fetch-comment n/a anno.str
filename n/a report.str
G
get-ambiguity-is-error Succeeds if ambiguities are treated as errors config.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-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
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
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
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
P
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-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-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
path-of-xtc-file n/a parse.str
pp-sdf-symbol n/a verbalize.str
print-context-in-file n/a report.str
print-location n/a report.str
R
read-input-file n/a report.str
ReplCons(Strategy impl) n/a constructor.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
rm-layout n/a layout.str
S
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
skip-concrete(Strategy impl) n/a concrete-syntax.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
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