/// <summary>
/// Reads until EOF is reached or
/// until predicate does not get satisfied.
/// </summary>
public string ReadWhile(CharPredicate predicate)
{
m_Buffer.Clear();
while (!EndOfStream() && predicate(PeekNext()))
{
m_Buffer.Add(ReadNext());
}
return(new string(m_Buffer.ToArray()));
}
/// <summary>
/// Skips as long as predicate is dissatisfied or EOF is reached
/// </summary>
public int SkipUntil(CharPredicate predicate)
{
int n = 0;
while (!EndOfStream() && !predicate(PeekNext()))
{
SkipNext();
n++;
}
return(n);
}
private void InstallLocalPredicates()
{
// Input/Output
_predicates["write/1"] = new WritePredicate();
_predicates["writeln/1"] = new WriteLnPredicate();
_predicates["nl/0"] = new NlPredicate();
_predicates["get0/1"] = new Get0Predicate();
_predicates["skip/1"] = new SkipPredicate();
_predicates["put/1"] = new PutPredicate();
// Comparison, numeric
_predicates["=\\=/2"] = new NotEqualsPredicate();
_predicates["=:=/2"] = new EqualsPredicate();
_predicates[">=/2"] = new GreaterThanEqualPredicate();
_predicates[">/2"] = new GreaterThanPredicate();
_predicates["=</2"] = new LessThanEqualPredicate();
_predicates["</2"] = new LessThanPredicate();
// Control
_predicates["call/1"] = new CallPredicate();
// Equality
_predicates["=/2"] = new UnifyPredicate();
_predicates["\\=/2"] = new NotUnifiablePredicate();
// Meta
_predicates["is/2"] = new IsPredicate();
_predicates["atom/1"] = new AtomPredicate();
_predicates["bound/1"] = new BoundPredicate();
_predicates["char/1"] = new CharPredicate();
_predicates["free/1"] = new FreePredicate();
_predicates["integer/1"] = new IntegerPredicate();
_predicates["nonvar/1"] = new NonVarPredicate();
_predicates["var/1"] = new VarPredicate();
// Object-Oriented Programming
_predicates["object/2"] = new object_2();
_predicates["invoke/3"] = new invoke_2();
_predicates["get_property/3"] = new get_property_3();
// .NET Reflection
}
internal void checkAndScan( CharPredicate p, string predName ) {
if (p( chr ))
scan();
else
Error( 103, index - 1, 1, predName );
}
internal static CharTest MkCharTest( CharPredicate cPred, CodePointPredicate cpPred ) {
return delegate( int ord ) {
// Use the Char function for the BMP
if (ord <= (int)Char.MaxValue)
return cPred( (char)ord );
else
return cpPred( Char.ConvertFromUtf32( ord ), 0 );
};
}
internal IsCharScanner(CharPredicate cp, string expected_name)
{
this.expected_name = expected_name;
this.cp = cp;
}
/// <summary> succeed and consume the current character if it satisfies the given CharPredicate.</summary>
/// <param name="cp">the predicate.
/// </param>
/// <param name="expected_name">the error message.
/// </param>
/// <returns> the scanner.
/// </returns>
public static Scanner IsChar(CharPredicate cp, string expected_name)
{
return(new IsCharScanner(cp, expected_name).Rename("isChar"));
}
/// <summary> succeed and consume the current character if it satisfies the given CharPredicate.</summary>
/// <param name="cp">the predicate.
/// </param>
/// <returns> the scanner.
/// </returns>
public static Scanner IsChar(CharPredicate cp)
{
return(IsChar(cp, "satisfiable char"));
}
/// <summary> Scans greedily for 0 or more characters
/// that satisfies the given CharPredicate.
/// </summary>
/// <param name="cp">the predicate object.
/// </param>
/// <returns> the Scanner object.
/// </returns>
public static Scanner Many(CharPredicate cp)
{
return(IsPattern("many chars", Patterns.Many(cp), "many"));
}
/// <summary>
/// Skips characters in the stream, starting at the current position in the stream,
/// and stops at the first position, for which the character at that position,
/// returns <c>false</c> for the given <c>predicate</c>.
/// Returns the amount of characters that have been skipped.
/// </summary>
public int SkipWhile(CharPredicate predicate)
{
int skipped = 0;
while (!EndOfStream() && predicate(m_Buffer[m_Position]))
{
++m_Position;
++skipped;
}
return skipped;
}
internal IsCharScanner(CharPredicate cp, string expected_name)
{
this.expected_name = expected_name;
this.cp = cp;
}
/// <summary> succeed and consume the current character if it satisfies the given CharPredicate.</summary>
/// <param name="cp">the predicate.
/// </param>
/// <param name="expected_name">the error message.
/// </param>
/// <returns> the scanner.
/// </returns>
public static Scanner IsChar(CharPredicate cp, string expected_name)
{
return new IsCharScanner(cp, expected_name).Rename("isChar");
}
/// <summary> succeed and consume the current character if it satisfies the given CharPredicate.</summary>
/// <param name="cp">the predicate.
/// </param>
/// <returns> the scanner.
/// </returns>
public static Scanner IsChar(CharPredicate cp)
{
return IsChar(cp, "satisfiable char");
}
/// <summary> Scans greedily for 0 or more characters
/// that satisfies the given CharPredicate.
/// </summary>
/// <param name="cp">the predicate object.
/// </param>
/// <returns> the Scanner object.
/// </returns>
public static Scanner Many(CharPredicate cp)
{
return IsPattern("many chars", Patterns.Many(cp), "many");
}
