1 // sEXT2 - Simple File System Example
2 // Space Definition Language File
16 set UsedInode(Inode) :
22 set DirectoryInode(Inode) : RootDirectoryInode;
24 set RootDirectoryInode(Inode);
26 set UsedBlock(Block) :
34 set FileDirectoryBlock(Block) :
38 set SuperBlock(Superblock);
40 set GroupBlock(Groupblock);
44 set DirectoryBlock(Block);
46 set InodeTableBlock(InodeTable);
48 set InodeBitmapBlock(InodeBitmap);
50 set BlockBitmapBlock(BlockBitmap);
52 set DirectoryEntry(DirectoryEntry);
54 // relations xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
56 inodeof: DirectoryEntry -> UsedInode (many->1);
58 contents: UsedInode -> FileDirectoryBlock (1->many);
60 inodestatus: Inode -> int (many->1);
62 blockstatus: Block -> int (many->1);
64 referencecount: Inode -> int (many->1);
66 filesize: Inode -> int (many->1);