fp = fopen(test_filename, "w+");
- #define PAGE_FILL 116
- #define INODE 0
- #define INODE2 4
- #define MODE 0
+ 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, INODE, 0, PAGE_FILL, 0, 1235);
+ 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);
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.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);
return NULL;
}
+/**
+ * \return true if file \a inode exists on \a disk, false otherwise.
+ */
+bool battfs_fileExists(BattFsSuper *disk, inode_t inode)
+{
+ return findFile(disk, inode) != NULL;
+}
+
/**
* Count size of file \a inode on \a disk, starting at pointer \a start
* in disk->page_array. Size is written in \a size.
bool battfs_init(struct BattFsSuper *d);
bool battfs_close(struct BattFsSuper *disk);
+bool battfs_fileExists(BattFsSuper *disk, inode_t inode);
bool battfs_fileopen(BattFsSuper *disk, KFileBattFs *fd, inode_t inode, filemode_t mode);
bool battfs_writeTestBlock(struct BattFsSuper *disk, pgcnt_t page, inode_t inode, seq_t seq, fill_t fill, pgoff_t pgoff, mark_t mark);