Source Code Cross Referenced for FileReader.java in  » Testing » KeY » java » io » Java Source Code / Java DocumentationJava Source Code and Java Documentation

01:        package java.io;
02:
03:        public class FileReader extends InputStreamReader {
04:            public FileReader(File file) throws FileNotFoundException {
05:            }
06:
07:            public FileReader(FileDescriptor fd) {
08:            }
09:
10:            public FileReader(String name) throws FileNotFoundException {
11:            }
12:        }