parse

File parse.str
Author Martin Bravenboer
Since unknown

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.




Statistics


General
Lines of code 286
Stratego
Module number 1 (100% documented)
Constructor number 0
Overlay number 0
Strategy number 52 (7% documented)
Rule number 0
DynamicRule number 0



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



Strategy details


ATerm clear-parse-error
File parse.str
Author unknown
Since unknown
 

Clears the current parse error.

The current parse error is cleared when parsing a new input, sothere is usually no reason to invoke this strategy.



 
ATerm get-parse-error
File parse.str
Author unknown
Since unknown
 

Returns the parser error from the last parse.

Fails if the last parse did not fail.



 
ATerm is-parse-tree
File parse.str
Author unknown
Since unknown
 

Succeeds if the current term is a parse tree.



 
ATerm parse-xtc-file(ATerm tbl)
File parse.str
Author unknown
Since unknown
 

No information available.


type FILE -> AST