return false;
}
}
public static Automaton getPatternAutomaton(String pattern) {
Automaton stringPart=new RegExp(pattern).toAutomaton();
return stringPart.concatenate(s_anyLangTag);
}
public static Automaton getLanguageRangeAutomaton(String languageRange) {
if ("*".equals(languageRange))
return s_anyStringWithNonemptyLangTag;
else {