ideal • runtime • patterns • test_option

private boolean match a(character c) pure

return c == 'a' || c == 'A'

private boolean match b(character c) pure

return c == 'b' || c == 'B'

private boolean match c(character c) pure

return c == 'c' || c == 'C'

private string as string(readonly list[character] char list)

return "*" ++ (char list • frozen copy() !> string)

return procedure matcher[character, string] • new(repeat element[character] • new(the predicate, false), as string)

test case test match parse()

the matcher : option matcher[character, string] • new(matchers)

the matcher • validate()

assert the matcher("a")

assert the matcher("Bbb")

assert the matcher("Cccc")

assert !the matcher("abc")

assert !the matcher("aabb")

assert !the matcher("aaca")

assert the matcher • parse("aaa") == "*aaa"

assert the matcher • parse("Bbb") == "*Bbb"

assert the matcher • parse("CCCccc") == "*CCCccc"