A
|
add-production-to-tbl(ATerm tbl)
|
n/a
|
normalize.str
|
add-state-d(ATerm q, ATerm s)
|
n/a
|
determinize.str
|
add-transition-d(ATerm s)
|
n/a
|
determinize.str
|
all-consnil(Strategy s)
|
all variant that traverses lists as cons/nil
|
format-check.str
|
Annotated(ATerm , ATerm )
|
n/a
|
signature.str
|
Appl(ATerm , ATerm )
|
n/a
|
signature.str
|
appl-matches-s1n(ATerm s1n)
|
n/a
|
determinize.str
|
B
|
bottomup-consnil(Strategy s)
|
bttomup variant that traverses lists as cons/nil
|
format-check.str
|
bottomup-reconstruct(Strategy s, Strategy reconstruct)
|
Bottom traversal where the current term is reconstructed from the arguments using a custom strategy
|
dfta-accept.str
|
C
|
Chars(ATerm )
|
n/a
|
signature.str
|
ConcTerm(ATerm )
|
[xs*, xs*]
|
signature.str
|
ConsTerm(ATerm )
|
[x | xs]
|
signature.str
|
create-hashtable
|
n/a
|
normalize.str
|
D
|
determinize
|
Implements Determinization Algorithm DET of TATA (page 24)
|
determinize.str
|
DFTA(ATerm , ATerm )
|
n/a
|
dfta-accept.str
|
dfta-accept
|
Implementation of accept for Deterministic Finite Tree Automaton (DFTA)
|
dfta-accept.str
|
dfta-accept(Strategy fail-hook, ATerm dfta)
|
The result of dtfa-accept is a state
|
dfta-accept.str
|
dfta-accept-explode-appl(ATerm args)
|
n/a
|
dfta-accept.str
|
dfta-accept-explode-conc(ATerm args)
|
n/a
|
dfta-accept.str
|
dfta-accept-explode-cons(ATerm args)
|
n/a
|
dfta-accept.str
|
dfta-accept-explode-int(ATerm args)
|
n/a
|
dfta-accept.str
|
dfta-accept-explode-nil(ATerm args)
|
n/a
|
dfta-accept.str
|
dfta-accept-explode-none(ATerm args)
|
n/a
|
dfta-accept.str
|
dfta-accept-explode-some(ATerm args)
|
n/a
|
dfta-accept.str
|
dfta-accept-explode-string(ATerm args)
|
n/a
|
dfta-accept.str
|
dfta-accept-reconstruct(ATerm args)
|
n/a
|
dfta-accept.str
|
dfta-accept-transition(Strategy fail-hook, ATerm tbl, ATerm t)
|
n/a
|
dfta-accept.str
|
dfta-destroy
|
n/a
|
dfta-accept.str
|
dfta-format-check
|
Format check a term against a DFTA
|
dfta-format-check.str
|
dfta-format-check(ATerm dfta)
|
Checks that the current term has the format of the given DFTA
|
dfta-format-check.str
|
dfta-format-check(Strategy report-errors, Strategy fail-on-error, ATerm dfta)
|
Checks that the current term has the format of the given DFTA
|
dfta-format-check.str
|
dftafc-error-start(ATerm dfta)
|
Fails if the state is not one of the allowed start states
|
dfta-format-check.str
|
dftafc-get-arguments
|
n/a
|
dfta-format-check.str
|
dftafc-report-failure(ATerm t)
|
Report the failure of format checking a term
|
dfta-format-check.str
|
dftafc-report-start(ATerm dfta)
|
Report an error if the final state is not a start state
|
dfta-format-check.str
|
dftafc-state-to-string
|
n/a
|
dfta-format-check.str
|
dftafc-states-to-string
|
n/a
|
dfta-format-check.str
|
E
|
ensure-injection
|
n/a
|
normalize.str
|
EscapeSeq(ATerm )
|
n/a
|
signature.str
|
F
|
Failure(ATerm )
|
n/a
|
dfta-accept.str
|
format-check
|
Format check a term against an RTG
|
format-check.str
|
G
|
Generated(ATerm )
|
n/a
|
signature.str
|
get-rtg-parse-table
|
n/a
|
parse.str
|
get-states-d(ATerm t)
|
n/a
|
determinize.str
|
get-states-to
|
n/a
|
determinize.str
|
I
|
Int(ATerm )
|
n/a
|
signature.str
|
IntTerm(ATerm )
|
Integer terminal
|
signature.str
|
is-dfta
|
n/a
|
dfta-accept.str
|
is-injection
|
n/a
|
normalize.str
|
is-normalized
|
n/a
|
normalize.str
|
L
|
Labelled(ATerm , ATerm )
|
n/a
|
signature.str
|
M
|
make-inlined(ATerm a)
|
n/a
|
normalize.str
|
make-unique-state
|
n/a
|
determinize.str
|
map-consnil(Strategy s)
|
n/a
|
format-check.str
|
MemoRTGParseTable
|
n/a
|
parse.str
|
N
|
NilTerm(ATerm )
|
[]
|
signature.str
|
NoneTerm(ATerm )
|
n/a
|
signature.str
|
Nonterm(ATerm )
|
n/a
|
signature.str
|
normalize
|
Implements simplification to a normalized tree grammar (Section 2
|
normalize.str
|
O
|
one-consnil(Strategy s)
|
one variant that traverses lists as cons/nil
|
format-check.str
|
open-dfta
|
n/a
|
dfta-accept.str
|
P
|
parse
|
n/a
|
parse.str
|
parse-rtg-file
|
Parse an RTG from a file
|
parse.str
|
parse-rtg-stream
|
n/a
|
parse.str
|
Plain(ATerm )
|
n/a
|
signature.str
|
prod-0
|
n/a
|
reduce.str
|
prod-n
|
n/a
|
reduce.str
|
ProdRule(ATerm , ATerm )
|
n/a
|
signature.str
|
ProdRules(ATerm )
|
n/a
|
signature.str
|
Q
|
Quoted(ATerm )
|
n/a
|
signature.str
|
R
|
reach-0
|
n/a
|
reduce.str
|
reach-n
|
n/a
|
reduce.str
|
reduce
|
Removes non-terminals that are not productive or reachable
|
reduce.str
|
Ref(ATerm )
|
n/a
|
signature.str
|
remove-injection(ATerm ps, ATerm tbl)
|
n/a
|
normalize.str
|
RTG(ATerm , ATerm )
|
n/a
|
signature.str
|
rtg-all-nonterms-in(ATerm nts)
|
Succeeds if all non-terminals in the production are in the specified set of non-terminals
|
reduce.str
|
rtg-build-group-by-pairs(Strategy k, Strategy r, Strategy build, Strategy items)
|
n/a
|
util.str
|
rtg-can-be-produced(ATerm nt, ATerm productive, ATerm rhg)
|
Succeeds if the non-terminal can be produced by the rtg given the set of productive non-terminals
|
reduce.str
|
rtg-check-result
|
Exits when the result doesn't contain any productions or start symbols
|
reduce.str
|
rtg-collect-nonterms
|
Collect all (not build in) non-terminals in a rhg (or anything else)
|
reduce.str
|
rtg-determinize
|
n/a
|
determinize.str
|
rtg-determinize-start-state(ATerm states-start)
|
n/a
|
determinize.str
|
rtg-determinize-start-states(ATerm states-start)
|
n/a
|
determinize.str
|
rtg-determinize-step(ATerm state-states-d, ATerm states-d, ATerm reverse-trans, ATerm symbol-tbl, ATerm trans-d)
|
n/a
|
determinize.str
|
rtg-format-check(ATerm rtg)
|
Checks that the current term has the format of the given RTG
|
format-check.str
|
rtg-format-check(ATerm rtg, ATerm starts)
|
Checks that the current term has the format of one of the specified start non-terminals
|
format-check.str
|
rtg-format-check(Strategy report-errors, Strategy fail-on-error, ATerm rtg)
|
Checks that the current term has the format of the given RTG
|
format-check.str
|
rtg-format-check(Strategy report-errors, Strategy fail-on-error, ATerm rtg, ATerm starts)
|
Checks that the current term has the format of one of the specified start non-terminals
|
format-check.str
|
rtg-group-by(Strategy k, Strategy r, Strategy build)
|
n/a
|
util.str
|
rtg-group-by-nonterm
|
n/a
|
util.str
|
rtg-group-productions
|
n/a
|
util.str
|
rtg-lift-nested-tree
|
This might introduces duplicate rules, but the remove-inject-rules simplifications turns the productions into a set anyway, so we ignore this
|
normalize.str
|
rtg-nested-tree-to-nonterm
|
n/a
|
normalize.str
|
rtg-normalize
|
Normalizes an RTG to TATA's normalized regular tree grammar
|
simplify.str
|
rtg-normalize-deprecated
|
Normalizes an RTG to deprecated rtg-nf format
|
simplify.str
|
rtg-parsefix
|
n/a
|
parse.str
|
rtg-ParseFix
|
n/a
|
parse.str
|
rtg-ParseFix
|
n/a
|
parse.str
|
rtg-ParseFix
|
n/a
|
parse.str
|
rtg-productions-of(ATerm nt)
|
Returns the right hand sides of productions of the specified non terminal
|
util.str
|
rtg-productive-nonterms
|
Returns the set of productive non terminals in the rhg
|
reduce.str
|
rtg-reachable-nonterms
|
Returns the set of reachable non terminals in the rhg
|
reduce.str
|
rtg-reduce
|
n/a
|
reduce.str
|
rtg-remove-injection-rules
|
n/a
|
normalize.str
|
rtg-remove-nested-trees
|
n/a
|
normalize.str
|
rtg-set-inc-repeat(Strategy s)
|
Repeats s until the current set is no longer being extended
|
reduce.str
|
rtg-start-nonterms
|
n/a
|
util.str
|
rtg-to-string
|
n/a
|
format-check.str
|
rtg-to-string
|
n/a
|
format-check.str
|
rtg-to-string
|
n/a
|
dfta-format-check.str
|
rtg-to-string
|
n/a
|
dfta-format-check.str
|
rtg-to-string
|
n/a
|
dfta-format-check.str
|
rtg-to-string
|
n/a
|
dfta-format-check.str
|
rtg-to-string
|
n/a
|
dfta-format-check.str
|
rtg-to-string
|
n/a
|
dfta-format-check.str
|
rtg-to-string
|
n/a
|
dfta-format-check.str
|
rtg-to-string
|
n/a
|
dfta-format-check.str
|
rtg-to-string
|
n/a
|
dfta-format-check.str
|
rtg-to-string
|
n/a
|
dfta-format-check.str
|
rtg-to-string
|
n/a
|
dfta-format-check.str
|
rtg-to-string
|
n/a
|
dfta-format-check.str
|
rtg-ungroup-productions
|
Rewrites an rtg to one rhs in a prodrule
|
util.str
|
rtg-ungroup-productions
|
Rewrites an list of prodrules to one rhs in a prodrule
|
util.str
|
rtg-upgrade-string-int
|
n/a
|
simplify.str
|
rtg2dfta
|
Convert an RTG to a normalized, deterministic RTG (DFTA)
|
simplify.str
|
rtgdet-init-reverse-trans(ATerm tbl)
|
n/a
|
determinize.str
|
rtgdet-init-reverse-trans(ATerm tbl)
|
n/a
|
determinize.str
|
rtgdet-init-symbol-tbl(ATerm tbl)
|
n/a
|
determinize.str
|
rtgdet-init-symbol-tbl(ATerm tbl)
|
n/a
|
determinize.str
|
rtgdet-normalize-conc
|
n/a
|
determinize.str
|
rtgdet-normalize-none
|
n/a
|
determinize.str
|
rtgdet-normalize-some
|
n/a
|
determinize.str
|
rtgfc-ApplUserType(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-format-check(ATerm tbl, ATerm set)
|
Main format check traversal
|
format-check.str
|
rtgfc-format-check-error(ATerm rtg, ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-format-check-report(ATerm rtg, ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-format-check-report(ATerm starts, ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-generate-type-rule
|
Int application
|
format-check.str
|
rtgfc-generate-type-rule
|
String application
|
format-check.str
|
rtgfc-generate-type-rule
|
Injection
|
format-check.str
|
rtgfc-generate-type-rule
|
Cons application
|
format-check.str
|
rtgfc-generate-type-rule
|
Conc application
|
format-check.str
|
rtgfc-generate-type-rule
|
Nil application
|
format-check.str
|
rtgfc-generate-type-rule
|
Some application
|
format-check.str
|
rtgfc-generate-type-rule
|
None application
|
format-check.str
|
rtgfc-generate-type-rule
|
Tuple application
|
format-check.str
|
rtgfc-generate-type-rule
|
User-defined terminal application
|
format-check.str
|
rtgfc-generate-type-rule-deprecated-int
|
Deprecated
|
format-check.str
|
rtgfc-generate-type-rule-deprecated-string
|
Deprecated
|
format-check.str
|
rtgfc-generate-type-rules
|
Generate format checking dynamic rules for an RTG
|
format-check.str
|
rtgfc-get-types(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-get-types(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-get-types(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-has-type(ATerm nt, ATerm tbl, ATerm set)
|
Succeeds if t has type nt
|
format-check.str
|
rtgfc-has-type(ATerm nt, ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-has-type(ATerm nt, ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-InjUserType(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-IntAppl(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-IntAppl(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-is-typed(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-list-has-type(ATerm as, ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-ListUserType(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-ListUserType(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-ListUserType(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-new-type(ATerm nt, ATerm tbl, ATerm set)
|
Fails if t already has type nt
|
format-check.str
|
rtgfc-nonterm-to-string
|
n/a
|
format-check.str
|
rtgfc-OptUserType(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-OptUserType(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-report-type-failure(Strategy finally, ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-report-types(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-retrieve-types(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-set-type(ATerm nt, ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-StringAppl(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-StringAppl(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-TupleUserType(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-type(ATerm rtg, ATerm tbl, ATerm set)
|
Infers the types of all terms
|
format-check.str
|
rtgfc-Type(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-type-int(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-type-special(ATerm special, ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-type-string(ATerm tbl, ATerm set)
|
n/a
|
format-check.str
|
rtgfc-types-to-string
|
n/a
|
format-check.str
|
S
|
Set(ATerm )
|
n/a
|
signature.str
|
signature
|
n/a
|
signature.str
|
simplify
|
n/a
|
simplify.str
|
SomeTerm(ATerm )
|
n/a
|
signature.str
|
Start(ATerm )
|
n/a
|
signature.str
|
stratego-rtg
|
Stratego RTG Library
|
stratego-rtg.str
|
String(ATerm )
|
n/a
|
signature.str
|
StringTerm(ATerm )
|
String terminal
|
signature.str
|
T
|
Term(ATerm )
|
n/a
|
signature.str
|
Term(ATerm )
|
User-defined terminal
|
signature.str
|
transition(ATerm t)
|
n/a
|
dfta-accept.str
|
TupleTerm(ATerm )
|
Tuple of n elements
|
signature.str
|
U
|
util
|
n/a
|
util.str
|