I'm trying to parse a string that contains text interspersed with stars:
var input = "*This is the first part*This is the second part";
I want to extract any text between stars and the text after the last star. The string doesn't end in a star, or a newline.
I've written a parser with Sprache to try and achieve this:
Parser<string> thingAfterStarParser = (
from open in Parse.String("*")
from rest in Parse.AnyChar.Many().Text()
select rest
);
var result = thingAfterStarParser.AtLeastOnce().Parse(input);
But result
only ends up with one element, instead of two. I think it's because rest
is parsing all the way to the end of the input.
How can I tell the parser to parse until stars or the end of the input? Any help would be much appreciated! Thank you