Matcher Node

---

x

BNF:

"match" pattern "{" eExpr "}"

XML DTD:

<!ELEMENT matcher (%pattern;, %eExpr;)>

Java:

Compiles to a Java method named "__match" as if we were compiling

to __match(pattern) :any { eExpr }

This works only because the E-to-Java binding mechanism knows to treat Java "__match" methods specially. XXX document the binding semantics.

Example:

in Kernel-E:

in XML:

in Java:

x

---

Unless stated otherwise, all text on this page which is either unattributed or by Mark S. Miller is hereby placed in the public domain.