/**
 * Abstract Syntax Tree.
 * 
 * <pre>
 * Group ::= Definition*
 * 
 * Definition ::= Test | FourPhaseTest | Table
 * 
 * Test ::= Assertion*
 * 
 * Assertion ::= Proposition* Fixture
 * 
 * Proposition ::= QuotedExpr Predicate
 * 
 * Predicate ::= IsPredicate | IsNotPredicate | ThrowsPredicate
 * 
 * IsPredicate ::= Matcher
 * IsNotPredicate ::= Matcher
 * ThrowsPredicate ::= Matcher
 * 
 * Matcher ::= EqualToMatcher | InstanceOfMatcher | NullValueMatcher
 * 
 * EqualToMatcher ::= QuotedExpr
 * InstanceOfMatcher ::= ClassType
 * 
 * Expr ::= QuotedExpr | StubExpr
 * 
 * StubExpr ::= QuotedExpr StubBehavior*
 * 
 * StubBehavior ::= MethodPattern Expr
 * 
 * MethodPattern ::= Type*
 * 
 * Type ::= NonArrayType
 * NonArrayType ::= PrimitiveType | ClassType
 * PrimitiveType ::= Kind
 * 
 * Fixture ::= | TableRef | Bindings
 * 
 * TableRef ::= TableType
 * 
 * TableType :: INLINE | CSV | TSV | EXCEL
 * 
 * Bindings ::= Binding*
 * 
 * FourPhaseTest ::= Phase? Phase? VerifyPhase Phase?
 * 
 * Phase ::= LetBindings? Execution?
 * VerifyPhase ::= Assertion+
 * 
 * Execution ::= QuotedExpr*
 * 
 * Table ::= Row*
 * 
 * Row ::= Expr*
 * </pre>
 * 
 */
package yokohama.unit.ast;
@@ -437,16 +437,30 @@
 oMatcher
+%0D%0A *          
  %7C Insta
@@ -471,16 +471,70 @@
 fMatcher
+%0D%0A *           %7C InstanceSuchThatMatcher%0D%0A *          
  %7C NullV
@@ -617,24 +617,79 @@
  ClassType%0D%0A
+ * InstanceSuchThatMatcher ::= ClassType Proposition+%0D%0A
  * %0D%0A * Expr

Update document