+ battfs_writeTestBlock(disk, 0, 0, 0, 0, 0, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 1, 0, 1, 0, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 2, 0, 0, 0, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 3, 0, 0, 0, 0, 123);
+
+ fclose(fp);
+ ref[0] = 0;
+ ref[1] = 1;
+ ref[2] = 3;
+ ref[3] = 2;
+
+ testCheck(disk, ref);
+ kprintf("Test7: passed\n");
+}
+
+static void test8(BattFsSuper *disk)
+{
+ pgcnt_t ref[4];
+ kprintf("Test8: 1 file with 1 old seq num, 1 free block\n");
+
+
+ fp = fopen(test_filename, "w+");
+
+ battfs_writeTestBlock(disk, 0, 0, 0, 0, 0, 1235);
+ battfs_writeTestBlock(disk, 1, 0, 0, 0, 0, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 2, 0, 1, 0, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 3, 0, 0, 0, 1, MARK_PAGE_VALID);
+
+
+ fclose(fp);
+ ref[0] = 1;
+ ref[1] = 2;
+ ref[2] = 0;
+ ref[3] = 3;
+
+ testCheck(disk, ref);
+ kprintf("Test8: passed\n");
+}
+
+static void test9(BattFsSuper *disk)
+{
+ pgcnt_t ref[8];
+ kprintf("Test9: 2 file with old seq num, 2 free block\n");
+
+
+ fp = fopen(test_filename, "w+");
+
+ battfs_writeTestBlock(disk, 0, 0, 0, 0, 0, 1235);
+ battfs_writeTestBlock(disk, 1, 0, 0, 0, 0, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 2, 0, 3, 0, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 3, 0, 0, 0, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 4, 0, 0, 0, 0, 1236);
+ battfs_writeTestBlock(disk, 5, 4, 0, 0, 0, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 6, 4, 1, 0, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 7, 4, 0, 0, 1, MARK_PAGE_VALID);
+
+
+ fclose(fp);
+ ref[0] = 1;
+ ref[1] = 3;
+ ref[2] = 5;
+ ref[3] = 6;
+ ref[4] = 0;
+ ref[5] = 4;
+ ref[6] = 2;
+ ref[7] = 7;
+
+ testCheck(disk, ref);
+ kprintf("Test9: passed\n");
+}
+
+static void test10(BattFsSuper *disk)
+{
+ KFileBattFs fd1;
+ KFileBattFs fd2;
+ kprintf("Test10: open file test, inode 0 and inode 4\n");
+
+ fp = fopen(test_filename, "w+");
+
+ unsigned int PAGE_FILL = 116;
+ unsigned int INODE = 0;
+ unsigned int INODE2 = 4;
+ unsigned int INEXISTENT_INODE = 123;
+ unsigned int MODE = 0;
+
+ battfs_writeTestBlock(disk, 0, 123, 0, PAGE_FILL, 0, 1235);
+ battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 4, INODE2, 0, PAGE_FILL, 0, 1236);
+ battfs_writeTestBlock(disk, 5, INODE2, 0, PAGE_FILL, 0, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 6, INODE2, 1, PAGE_FILL, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 7, INODE2, 0, PAGE_FILL, 1, MARK_PAGE_VALID);
+
+ fclose(fp);
+
+ ASSERT(battfs_init(disk));
+ ASSERT(!battfs_fileExists(disk, INEXISTENT_INODE));
+
+ ASSERT(battfs_fileExists(disk, INODE));
+ ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
+ ASSERT(fd1.fd.size == PAGE_FILL * 2);
+ ASSERT(fd1.fd.seek_pos == 0);
+ ASSERT(fd1.mode == MODE);
+ ASSERT(fd1.inode == INODE);
+ ASSERT(fd1.start == &disk->page_array[0]);
+ ASSERT(fd1.disk == disk);
+ ASSERT(LIST_HEAD(&disk->file_opened_list) == &fd1.link);
+
+ ASSERT(kfile_reopen(&fd1.fd) == &fd1.fd);
+ ASSERT(fd1.fd.size == PAGE_FILL * 2);
+ ASSERT(fd1.fd.seek_pos == 0);
+ ASSERT(fd1.mode == MODE);
+ ASSERT(fd1.inode == INODE);
+ ASSERT(fd1.start == &disk->page_array[0]);
+ ASSERT(fd1.disk == disk);
+ ASSERT(LIST_HEAD(&disk->file_opened_list) == &fd1.link);
+
+ ASSERT(battfs_fileExists(disk, INODE2));
+ ASSERT(battfs_fileopen(disk, &fd2, INODE2, MODE));
+ ASSERT(fd2.fd.size == PAGE_FILL * 2);
+ ASSERT(fd2.fd.seek_pos == 0);
+ ASSERT(fd2.mode == MODE);
+ ASSERT(fd2.inode == INODE2);
+ ASSERT(fd2.start == &disk->page_array[2]);
+ ASSERT(fd2.disk == disk);
+ ASSERT(LIST_HEAD(&disk->file_opened_list)->succ == &fd2.link);
+
+ ASSERT(kfile_close(&fd1.fd) == 0);
+ ASSERT(kfile_close(&fd2.fd) == 0);
+ ASSERT(LIST_EMPTY(&disk->file_opened_list));
+ ASSERT(battfs_close(disk));
+
+ kprintf("Test10: passed\n");
+}
+
+static void test11(BattFsSuper *disk)
+{
+ KFileBattFs fd1;
+ uint8_t buf[16];
+
+ kprintf("Test11: read file test\n");
+
+ fp = fopen(test_filename, "w+");
+
+ unsigned int PAGE_FILL = 116;
+ unsigned int INODE = 0;
+ unsigned int INODE2 = 4;
+ unsigned int MODE = 0;
+
+ battfs_writeTestBlock(disk, 0, 123, 0, PAGE_FILL, 0, 1235);
+ battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 4, INODE2, 0, PAGE_FILL, 0, 1236);
+ battfs_writeTestBlock(disk, 5, INODE2, 0, PAGE_FILL, 0, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 6, INODE2, 1, PAGE_FILL, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 7, INODE2, 0, PAGE_FILL, 1, MARK_PAGE_VALID);
+
+ fclose(fp);
+
+ ASSERT(battfs_init(disk));
+ ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
+ ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
+ ASSERT(fd1.fd.seek_pos == sizeof(buf));
+ for (size_t i = 0; i < sizeof(buf); i++)
+ ASSERT(buf[i] == 0);
+
+ ASSERT(kfile_close(&fd1.fd) == 0);
+ ASSERT(battfs_close(disk));
+
+ kprintf("Test11: passed\n");
+}
+
+static void test12(BattFsSuper *disk)
+{
+ KFileBattFs fd1;
+
+ kprintf("Test12: read file test across page boundary and seek test\n");
+
+ fp = fopen(test_filename, "w+");
+
+ const unsigned int PAGE_FILL = 116;
+ unsigned int INODE = 0;
+ unsigned int MODE = 0;
+ uint8_t buf[PAGE_FILL + 10];
+
+ battfs_writeTestBlock(disk, 0, 123, 0, PAGE_FILL, 0, 1235);
+ battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 4, INODE, 0, PAGE_FILL, 0, 1236);
+ battfs_writeTestBlock(disk, 5, INODE, 0, PAGE_FILL, 2, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 6, INODE, 1, PAGE_FILL, 3, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 7, INODE, 0, PAGE_FILL, 3, MARK_PAGE_VALID);
+
+ fclose(fp);
+
+ ASSERT(battfs_init(disk));
+ ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
+
+ ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
+ ASSERT(fd1.fd.seek_pos == sizeof(buf));
+ for (size_t i = 0; i < sizeof(buf); i++)
+ ASSERT(buf[i] == 0);
+
+ ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
+ ASSERT(fd1.fd.seek_pos == sizeof(buf) * 2);
+ for (size_t i = 0; i < sizeof(buf); i++)
+ ASSERT(buf[i] == 0);
+
+ ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
+ ASSERT(fd1.fd.seek_pos == sizeof(buf) * 3);
+ for (size_t i = 0; i < sizeof(buf); i++)
+ ASSERT(buf[i] == 0);
+
+ ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == 86);
+ ASSERT(fd1.fd.seek_pos == fd1.fd.size);
+ for (size_t i = 0; i < 86; i++)
+ ASSERT(buf[i] == 0);
+
+ ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
+ ASSERT(fd1.fd.seek_pos == 0);
+
+ ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_END) == fd1.fd.size);
+ ASSERT(fd1.fd.seek_pos = fd1.fd.size);
+
+ ASSERT(kfile_close(&fd1.fd) == 0);
+ ASSERT(battfs_close(disk));
+
+ kprintf("Test12: passed\n");
+}
+
+
+
+
+
+int main(void)
+{