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