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