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