On 7 sept. 2011, at 22:55, Sebastian Thomschke wrote:
OVal currently uses parameter names only for error reporting and not
to
provide cross-parameter validations. To express preconditions the user
is currently limited to work with an array containing the argument
values only:
@Pre("_args[0] != _args[1]", lang="groovy")
void myMethod(String uniqueValue, String anotherUniqueValue) {
// whatever....
}
Do you remember why you have this limitation?