239240241242243244245
tokens.addAll(getTokenizer(s).tokenize()); tokenIndex = 0; } protected static ManchesterOWLSyntaxTokenizer getTokenizer(String s) { return new ManchesterOWLSyntaxTokenizer(s); }