 are taken into account to
 determine whether a given executable is validated upon execution or not.
 <p>
 The following describes the formal rules for deciding whether an executable is validated.
 They are applied in decreasing order:
 <ul>
     <li>the executable is validated if it is annotated with <code>@ValidateOnExecution</code>
     and the <code>type</code> attribute contains the executable type or
     <a href="../../../jakarta/validation/executable/ExecutableType.html#IMPLICIT"><code>ExecutableTyp