param("minLength", Long.toString(((MinLengthFacet)dtf).minLength));
} else if (dtf instanceof MaxLengthFacet) {
param("maxLength", Long.toString(((MaxLengthFacet)dtf).maxLength));
} else if (dtf instanceof PatternFacet) {
String pattern = "";
PatternFacet pf = (PatternFacet)dtf;
for (int j = 0; j < pf.getRegExps().length; j++) {
if (pattern.length() != 0)
pattern += "|";
pattern += pf.patterns[j];
}
param("pattern", pattern);