961962963964965966967
} @Override public IValue read(IValueFactory factory, TypeStore store, Type type, InputStream stream) throws FactTypeUseException, IOException { return read(factory, store, type, new UnicodeInputStreamReader(stream)); }
175176177178179180181182
public Reader getCharacterReader(URI uri, String encoding) throws IOException { return getCharacterReader(uri, Charset.forName(encoding)); } public Reader getCharacterReader(URI uri, Charset encoding) throws IOException { return new UnicodeInputStreamReader(getInputStream(uri), encoding); }
30313233343536
return s.toCharArray(); } // NOTE: The user has to close the stream. public static char[] toChar(InputStream inputStream, Charset charset) throws IOException{ return toChar(new UnicodeInputStreamReader(inputStream, charset)); }