| 103 | |
| 104 | // see DbFile.java for javadocs |
| 105 | public void writePage(Page page) throws IOException { |
| 106 | // some code goes here |
| 107 | // not necessary for lab1 |
| 108 | HeapPageId heapPageId = (HeapPageId) page.getId(); |
| 109 | int size = BufferPool.getPageSize(); |
| 110 | int pageNumber = heapPageId.getPageNumber(); |
| 111 | byte[] pageData = page.getPageData(); |
| 112 | RandomAccessFile randomAccessFile = new RandomAccessFile(file, "rw"); |
| 113 | randomAccessFile.seek(pageNumber* size); |
| 114 | randomAccessFile.write(pageData); |
| 115 | randomAccessFile.close(); |
| 116 | } |
| 117 | |
| 118 | /** |
| 119 | * Returns the number of pages in this HeapFile. |