new accessors
parent
f98b424d18
commit
27ab6d699c
|
@ -59,7 +59,7 @@ C: <token-parser> token-parser
|
||||||
: case-insensitive-token ( string -- parser ) t <token-parser> ;
|
: case-insensitive-token ( string -- parser ) t <token-parser> ;
|
||||||
|
|
||||||
M: token-parser parse ( input parser -- list )
|
M: token-parser parse ( input parser -- list )
|
||||||
dup token-parser-string swap token-parser-ignore-case?
|
[ string>> ] [ ignore-case?>> ] bi
|
||||||
>r tuck r> ?string-head
|
>r tuck r> ?string-head
|
||||||
[ <parse-results> ] [ 2drop nil ] if ;
|
[ <parse-results> ] [ 2drop nil ] if ;
|
||||||
|
|
||||||
|
@ -76,7 +76,7 @@ M: satisfy-parser parse ( input parser -- list )
|
||||||
over empty? [
|
over empty? [
|
||||||
2drop nil
|
2drop nil
|
||||||
] [
|
] [
|
||||||
satisfy-parser-quot >r unclip-slice dup r> call
|
quot>> >r unclip-slice dup r> call
|
||||||
[ swap <parse-results> ] [ 2drop nil ] if
|
[ swap <parse-results> ] [ 2drop nil ] if
|
||||||
] if ;
|
] if ;
|
||||||
|
|
||||||
|
@ -101,7 +101,7 @@ C: succeed succeed-parser ( result -- parser )
|
||||||
M: succeed-parser parse ( input parser -- list )
|
M: succeed-parser parse ( input parser -- list )
|
||||||
#! A parser that always returns 'result' as a
|
#! A parser that always returns 'result' as a
|
||||||
#! successful parse with no input consumed.
|
#! successful parse with no input consumed.
|
||||||
succeed-parser-result swap <parse-results> ;
|
result>> swap <parse-results> ;
|
||||||
|
|
||||||
TUPLE: fail-parser ;
|
TUPLE: fail-parser ;
|
||||||
|
|
||||||
|
@ -118,7 +118,7 @@ TUPLE: ensure-parser test ;
|
||||||
ensure-parser boa ;
|
ensure-parser boa ;
|
||||||
|
|
||||||
M: ensure-parser parse ( input parser -- list )
|
M: ensure-parser parse ( input parser -- list )
|
||||||
2dup ensure-parser-test parse nil?
|
2dup test>> parse nil?
|
||||||
[ 2drop nil ] [ drop t swap <parse-results> ] if ;
|
[ 2drop nil ] [ drop t swap <parse-results> ] if ;
|
||||||
|
|
||||||
TUPLE: ensure-not-parser test ;
|
TUPLE: ensure-not-parser test ;
|
||||||
|
@ -127,7 +127,7 @@ TUPLE: ensure-not-parser test ;
|
||||||
ensure-not-parser boa ;
|
ensure-not-parser boa ;
|
||||||
|
|
||||||
M: ensure-not-parser parse ( input parser -- list )
|
M: ensure-not-parser parse ( input parser -- list )
|
||||||
2dup ensure-not-parser-test parse nil?
|
2dup test>> parse nil?
|
||||||
[ drop t swap <parse-results> ] [ 2drop nil ] if ;
|
[ drop t swap <parse-results> ] [ 2drop nil ] if ;
|
||||||
|
|
||||||
TUPLE: and-parser parsers ;
|
TUPLE: and-parser parsers ;
|
||||||
|
@ -157,7 +157,7 @@ M: and-parser parse ( input parser -- list )
|
||||||
#! two parsers. First parser1 is applied to the
|
#! two parsers. First parser1 is applied to the
|
||||||
#! input then parser2 is applied to the rest of
|
#! input then parser2 is applied to the rest of
|
||||||
#! the input strings from the first parser.
|
#! the input strings from the first parser.
|
||||||
and-parser-parsers unclip swapd parse
|
parsers>> unclip swapd parse
|
||||||
[ [ and-parser-parse ] reduce ] 2curry promise ;
|
[ [ and-parser-parse ] reduce ] 2curry promise ;
|
||||||
|
|
||||||
TUPLE: or-parser parsers ;
|
TUPLE: or-parser parsers ;
|
||||||
|
@ -172,7 +172,7 @@ M: or-parser parse ( input parser1 -- list )
|
||||||
#! Return the combined list resulting from the parses
|
#! Return the combined list resulting from the parses
|
||||||
#! of parser1 and parser2 being applied to the same
|
#! of parser1 and parser2 being applied to the same
|
||||||
#! input. This implements the choice parsing operator.
|
#! input. This implements the choice parsing operator.
|
||||||
or-parser-parsers 0 swap seq>list
|
parsers>> 0 swap seq>list
|
||||||
[ parse ] lazy-map-with lconcat ;
|
[ parse ] lazy-map-with lconcat ;
|
||||||
|
|
||||||
: left-trim-slice ( string -- string )
|
: left-trim-slice ( string -- string )
|
||||||
|
@ -191,7 +191,7 @@ C: sp sp-parser ( p1 -- parser )
|
||||||
M: sp-parser parse ( input parser -- list )
|
M: sp-parser parse ( input parser -- list )
|
||||||
#! Skip all leading whitespace from the input then call
|
#! Skip all leading whitespace from the input then call
|
||||||
#! the parser on the remaining input.
|
#! the parser on the remaining input.
|
||||||
>r left-trim-slice r> sp-parser-p1 parse ;
|
>r left-trim-slice r> p1>> parse ;
|
||||||
|
|
||||||
TUPLE: just-parser p1 ;
|
TUPLE: just-parser p1 ;
|
||||||
|
|
||||||
|
@ -202,7 +202,7 @@ M: just-parser parse ( input parser -- result )
|
||||||
#! from the results anything where the remaining
|
#! from the results anything where the remaining
|
||||||
#! input to be parsed is not empty. So ensures a
|
#! input to be parsed is not empty. So ensures a
|
||||||
#! fully parsed input string.
|
#! fully parsed input string.
|
||||||
just-parser-p1 parse [ parse-result-unparsed empty? ] lfilter ;
|
p1>> parse [ unparsed>> empty? ] lfilter ;
|
||||||
|
|
||||||
TUPLE: apply-parser p1 quot ;
|
TUPLE: apply-parser p1 quot ;
|
||||||
|
|
||||||
|
@ -214,10 +214,10 @@ M: apply-parser parse ( input parser -- result )
|
||||||
#! The result of that quotation then becomes the new parse result.
|
#! The result of that quotation then becomes the new parse result.
|
||||||
#! This allows modification of parse tree results (like
|
#! This allows modification of parse tree results (like
|
||||||
#! converting strings to integers, etc).
|
#! converting strings to integers, etc).
|
||||||
[ apply-parser-p1 ] keep apply-parser-quot
|
[ p1>> ] [ quot>> ] bi
|
||||||
-rot parse [
|
-rot parse [
|
||||||
[ parse-result-parsed swap call ] keep
|
[ parsed>> swap call ] keep
|
||||||
parse-result-unparsed <parse-result>
|
unparsed>> <parse-result>
|
||||||
] lazy-map-with ;
|
] lazy-map-with ;
|
||||||
|
|
||||||
TUPLE: some-parser p1 ;
|
TUPLE: some-parser p1 ;
|
||||||
|
@ -229,7 +229,7 @@ M: some-parser parse ( input parser -- result )
|
||||||
#! the parse is complete (the remaining input is empty),
|
#! the parse is complete (the remaining input is empty),
|
||||||
#! picks the first solution and only returns the parse
|
#! picks the first solution and only returns the parse
|
||||||
#! tree since the remaining input is empty.
|
#! tree since the remaining input is empty.
|
||||||
some-parser-p1 just parse-1 ;
|
p1>> just parse-1 ;
|
||||||
|
|
||||||
: <& ( parser1 parser2 -- parser )
|
: <& ( parser1 parser2 -- parser )
|
||||||
#! Same as <&> except discard the results of the second parser.
|
#! Same as <&> except discard the results of the second parser.
|
||||||
|
@ -272,7 +272,7 @@ LAZY: only-first ( parser -- parser )
|
||||||
M: only-first-parser parse ( input parser -- list )
|
M: only-first-parser parse ( input parser -- list )
|
||||||
#! Transform a parser into a parser that only yields
|
#! Transform a parser into a parser that only yields
|
||||||
#! the first possibility.
|
#! the first possibility.
|
||||||
only-first-parser-p1 parse 1 swap ltake ;
|
p1>> parse 1 swap ltake ;
|
||||||
|
|
||||||
LAZY: <!*> ( parser -- parser )
|
LAZY: <!*> ( parser -- parser )
|
||||||
#! Like <*> but only return one possible result
|
#! Like <*> but only return one possible result
|
||||||
|
|
Loading…
Reference in New Issue