| 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 |