Stratego Bindings for parsing using SGLR.
All parse functions fail if there is a parse error. The ATermrepresentation of the parse error can be retreived separately usingget-parse-error.
Strategy summary
|
clear-parse-error
|
Clears the current parse error
|
parse.str
|
get-parse-error
|
Returns the parser error from the last parse
|
parse.str
|
is-parse-tree
|
Succeeds if the current term is a parse tree
|
parse.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
|
path-of-xtc-file
|
n/a
|
parse.str
|