511512513514515516517
/** * @deprecated since 1.1 - Use new VerifyingVisitor().traverse(this) */ public void verify() throws PicoVerificationException { new VerifyingVisitor().traverse(this); }
445446447448449450451