Searched refs:charset (Results 1 – 2 of 2) sorted by relevance
40 charset
465 String charset = file.getCharset(); in readFile() local466 reader = new InputStreamReader(contents, charset); in readFile()543 String charset = file.getCharset(); in fileContains() local544 return streamContains(new InputStreamReader(contents, charset), string); in fileContains()