+ @Override
+ public void onFullDefinitionDeclared(StmtContext.Mutable<String, MaxElementsStatement,
+ EffectiveStatement<String, MaxElementsStatement>> stmt) throws SourceException {
+ super.onFullDefinitionDeclared(stmt);
+ SUBSTATEMENT_VALIDATOR.validate(stmt);
+ }