(int pageSize)
| 68 | |
| 69 | // THIS FUNCTION SHOULD ONLY BE USED FOR TESTING!! |
| 70 | public static void setPageSize(int pageSize) { |
| 71 | BufferPool.pageSize = pageSize; |
| 72 | } |
| 73 | |
| 74 | // THIS FUNCTION SHOULD ONLY BE USED FOR TESTING!! |
| 75 | public static void resetPageSize() { |
no outgoing calls