Method getFile

src/java/simpledb/common/Catalog.java:39–41

()

        }

        public DbFile getFile() {
            return file;
        }

        public void setFile(DbFile file) {
            this.file = file;