171172173174175176177178179180181
return; if (!file.canRead()) return; UnicodeInputStreamReader filein = new UnicodeInputStreamReader(new FileInputStream(file), "UTF-8"); BufferedReader reader = new BufferedReader(filein); String lastComment = null; String line;
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)); }