- Timestamp:
- 01/09/13 00:09:10 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
java/main/src/main/java/com/framsticks/parsers/FileSource.java
r77 r78 3 3 import com.framsticks.params.SourceInterface; 4 4 5 import java.io.BufferedReader; 6 import java.io.FileReader; 7 import java.io.IOException; 5 import java.io.*; 8 6 9 7 … … 17 15 this.filename = filename; 18 16 reader = new BufferedReader(new FileReader(filename)); 17 } 18 19 public FileSource(InputStream stream) { 20 filename = "<stream>"; 21 reader = new BufferedReader(new InputStreamReader(stream)); 19 22 } 20 23
Note: See TracChangeset
for help on using the changeset viewer.