final ATermAppl payload = (ATermAppl) term.getChildAt(0); // The 'pattern'. final Pattern pattern = Pattern.compile(payload.getName()); return new RestrictedTextDatatype(_dt, _check.and(str -> pattern.matcher(str).matches()), _allowLang, _excludedValues);
final ATermAppl payload = (ATermAppl) term.getChildAt(0); // The 'pattern'. final Pattern pattern = Pattern.compile(payload.getName()); return new RestrictedTextDatatype(_dt, _check.and(str -> pattern.matcher(str).matches()), _allowLang, _excludedValues);