/// <summary>
/// Matches the specified <paramref name="parser"/> zero or more times consecutively.
/// </summary>
/// <typeparam name="TSource">The type of the source elements.</typeparam>
/// <typeparam name="TResult">The type of the elements that are generated from parsing the source elements.</typeparam>
/// <param name="parser">The parser to match zero or more times consecutively.</param>
/// <returns>A parser that yields matches from the specified <paramref name="parser"/> zero or more times consecutively.</returns>
public static IParser <TSource, IEnumerable <TResult> > NoneOrMore <TSource, TResult>(
this IParser <TSource, TResult> parser)
{
Contract.Requires(parser != null);
Contract.Ensures(Contract.Result <IParser <TSource, IEnumerable <TResult> > >() != null);
return(parser.AtLeast <TSource, TResult, TResult>("NoneOrMore", 0));
}
/// <summary>
/// Matches the specified <paramref name="parser"/> one or more times consecutively, making the least number of matches possible.
/// This is the non-greedy variant of <see cref="OneOrMore{TSource,TResult}(IParser{TSource,TResult})"/>.
/// </summary>
/// <typeparam name="TSource">The type of the source elements.</typeparam>
/// <typeparam name="TResult">The type of the elements that are generated from parsing the source elements.</typeparam>
/// <param name="parser">The parser to match one or more times consecutively.</param>
/// <returns>A parser that yields matches from the specified <paramref name="parser"/> one or more times consecutively,
/// making the least number of matches possible..</returns>
public static IParser <TSource, IEnumerable <TResult> > OneOrMoreNonGreedy <TSource, TResult>(
this IParser <TSource, TResult> parser)
{
Contract.Requires(parser != null);
Contract.Ensures(Contract.Result <IParser <TSource, IEnumerable <TResult> > >() != null);
return(parser.AtLeast <TSource, TResult, TResult>("OneOrMore-NonGreedy", 1, nonGreedy: true));
}
/// <summary>
/// Matches the specified <paramref name="parser"/> one or more times consecutively,
/// matching the specified <paramref name="separator"/> in between.
/// </summary>
/// <typeparam name="TSource">The type of the source elements.</typeparam>
/// <typeparam name="TResult">The type of the elements that are generated from parsing the source elements.</typeparam>
/// <param name="parser">The parser to match one or more times consecutively.</param>
/// <param name="separator">The parser that matches between consecutive matches of the specified <paramref name="parser"/>.</param>
/// <returns>A parser that yields matches from the specified <paramref name="parser"/> one or more times consecutively,
/// matching the specified <paramref name="separator"/> in between.</returns>
public static IParser <TSource, IEnumerable <TResult> > OneOrMore <TSource, TResult>(
this IParser <TSource, TResult> parser,
IParser <TSource, TResult> separator)
{
Contract.Requires(parser != null);
Contract.Requires(separator != null);
Contract.Ensures(Contract.Result <IParser <TSource, IEnumerable <TResult> > >() != null);
return(parser.AtLeast("OneOrMore-Separated", 1, separator: separator));
}
/// <summary>
/// Matches the specified <paramref name="parser"/> zero or more times consecutively, matching the specified
/// <paramref name="separator"/> in between and making the least number of matches possible.
/// This is the non-greedy variant of <see cref="NoneOrMore{TSource,TResult}(IParser{TSource,TResult},IParser{TSource,TResult})"/>.
/// </summary>
/// <typeparam name="TSource">The type of the source elements.</typeparam>
/// <typeparam name="TResult">The type of the elements that are generated from parsing the source elements.</typeparam>
/// <param name="parser">The parser to match zero or more times consecutively.</param>
/// <param name="separator">The parser that matches between consecutive matches of the specified <paramref name="parser"/>.</param>
/// <returns>A parser that yields matches from the specified <paramref name="parser"/> zero or more times consecutively,
/// matching the specified <paramref name="separator"/> in between and making the least number of matches possible.</returns>
public static IParser <TSource, IEnumerable <TResult> > NoneOrMoreNonGreedy <TSource, TResult>(
this IParser <TSource, TResult> parser,
IParser <TSource, TResult> separator)
{
Contract.Requires(parser != null);
Contract.Requires(separator != null);
Contract.Ensures(Contract.Result <IParser <TSource, IEnumerable <TResult> > >() != null);
return(parser.AtLeast("NoneOrMore-Separated-NonGreedy", 0, separator: separator, nonGreedy: true));
}
/// <summary>
/// Matches the specified <paramref name="parser"/> consecutively a minimum number of times, making the least number of matches possible.
/// This is the non-greedy variant of <see cref="AtLeast{TSource,TResult}(IParser{TSource,TResult},int)"/>.
/// </summary>
/// <typeparam name="TSource">The type of the source elements.</typeparam>
/// <typeparam name="TResult">The type of the elements that are generated from parsing the source elements.</typeparam>
/// <param name="parser">The parser to be matched consecutively a minimum number of times.</param>
/// <param name="count">The minimum number of times to match the specified <paramref name="parser"/> consecutively.</param>
/// <returns>A parser that consecutively matches the specified <paramref name="parser"/> the minimum
/// number of times specified by <paramref name="count"/>, making the least number of matches possible.</returns>
public static IParser <TSource, IEnumerable <TResult> > AtLeastNonGreedy <TSource, TResult>(
this IParser <TSource, TResult> parser,
int count)
{
Contract.Requires(parser != null);
Contract.Requires(count > 0);
Contract.Ensures(Contract.Result <IParser <TSource, IEnumerable <TResult> > >() != null);
var name = "AtLeast-NonGreedy-" + count;
Contract.Assume(!string.IsNullOrEmpty(name));
return(parser.AtLeast <TSource, TResult, TResult>(name, count, nonGreedy: true));
}
/// <summary>
/// Matches the specified <paramref name="parser"/> consecutively between the specified number of times, inclusive,
/// making the least number of matches possible.
/// This is the non-greedy variant of <see cref="AtLeast{TSource,TResult}(IParser{TSource,TResult},int,int)"/>.
/// </summary>
/// <typeparam name="TSource">The type of the source elements.</typeparam>
/// <typeparam name="TResult">The type of the elements that are generated from parsing the source elements.</typeparam>
/// <param name="parser">The parser to be matched consecutively a minimum number of times.</param>
/// <param name="count">The minimum number of times to match the specified <paramref name="parser"/> consecutively.</param>
/// <param name="maximum">The maximum number of times to match the specified <paramref name="parser"/> consecutively.</param>
/// <returns>A parser that consecutively matches the specified <paramref name="parser"/> between the specified number of
/// times, inclusive, making the least number of matches possible.</returns>
public static IParser <TSource, IEnumerable <TResult> > AtLeastNonGreedy <TSource, TResult>(
this IParser <TSource, TResult> parser,
int count,
int maximum)
{
Contract.Requires(parser != null);
Contract.Requires(count > 0);
Contract.Requires(maximum >= count);
Contract.Ensures(Contract.Result <IParser <TSource, IEnumerable <TResult> > >() != null);
if (maximum == count)
{
return(parser.Exactly(count));
}
else
{
var name = "AtLeast-NonGreedy-" + count + "-to-" + maximum;
Contract.Assume(!string.IsNullOrEmpty(name));
return(parser.AtLeast <TSource, TResult, TResult>(name, count, maximum, nonGreedy: true));
}
}
/// <summary> /// Succeeds if the parser succeeds at least once. The value is a collection of as many items as can be successfully parsed. /// </summary> public static IParser <IReadOnlyList <T> > AtLeastOnce <T>(this IParser <T> parser) => parser.AtLeast(1);
/// <summary> /// Always succeeds. The value is a collection of as many items as can be successfully parsed. /// </summary> public static IParser <IReadOnlyList <T> > Many <T>(this IParser <T> parser) => parser.AtLeast(0);
/// <summary>
/// Succeeds if the parser succeeds at least once. The value is a collection of as many items as can be successfully parsed.
/// </summary>
public static IParser <IReadOnlyList <T> > AtLeastOnce <T>(this IParser <T> parser)
{
return(parser.AtLeast(1));
}
/// <summary>
/// Always succeeds. The value is a collection of as many items as can be successfully parsed.
/// </summary>
public static IParser <IReadOnlyList <T> > Many <T>(this IParser <T> parser)
{
return(parser.AtLeast(0));
}
