ValidateVisitor {

    {{
    private String errors = "";
    }}

    before S {{
        if (host.get_depth() != null && host.get_depth().get_value() < 1)
            addError("Value (" + host.get_depth().get_value() + ") of element 'depth' is < 1");
    }}

    before C {{
        if (host.get_depth() != null && host.get_depth().get_value() < 1)
            addError("Value (" + host.get_depth().get_value() + ") of element 'depth' is < 1");
        if (host.get_op() != null && new String("
+
*").indexOf("
" + host.get_op().get_value() + "") < 0)
            addError("Value (" + host.get_op().get_value() + ") of element 'op' is not one of the enumerated values");
    }}

    public String get_return_val() {{
        return errors;
    }}

    private void addError(String errorText) {{
        errors = errors + "\n" + errorText;
    }}

}  // end of class ValidateVisitor