- Timestamp:
- 06/26/13 13:27:31 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
java/main/src/main/java/com/framsticks/parsers/FileSource.java
r85 r86 9 9 public class FileSource implements SourceInterface { 10 10 11 private finalBufferedReader reader;11 private BufferedReader reader; 12 12 private final String filename; 13 13 14 p rotectedFileSource(InputStream stream, String filename) {14 public FileSource(InputStream stream, String filename) { 15 15 this.filename = filename; 16 16 this.reader = new BufferedReader(new InputStreamReader(stream, Encoding.getFramsticksCharset())); … … 28 28 public String readLine() 29 29 { 30 assert !isClosed(); 30 31 try 31 32 { … … 80 81 81 82 } 83 reader = null; 84 } 85 86 @Override 87 public boolean isClosed() { 88 return reader == null; 82 89 } 83 90
Note: See TracChangeset
for help on using the changeset viewer.