How to use

getChildAt

method

in

openllet.aterm.ATermAppl

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);