Repair/RepairInterpreter/testspace

   1 set Block(int): partition UsedBlock | FreeBlock
   2 set FreeBlock(int):
   3 set Inode(int): partition UsedInode | FreeInode
   4 set FreeInode(int):
   5 set UsedInode(int): partition FileInode | DirectoryInode
   6 set FileInode(int):
   7 set DirectoryInode(int): RootDirectoryInode
   8 set RootDirectoryInode(int):
   9 set UsedBlock(int): partition SuperBlock | GroupBlock | FileDirectoryBlock | InodeTableBlock | InodeBitmapBlock | BlockBitmapBlock
  10 set FileDirectoryBlock(int): DirectoryBlock | FileBlock
  11 set SuperBlock(int):
  12 set GroupBlock(int):
  13 set FileBlock(int):
  14 set DirectoryBlock(int):
  15 set InodeTableBlock(int):
  16 set InodeBitmapBlock(int):
  17 set BlockBitmapBlock(int):
  18 set DirectoryEntry(DirectoryEntry):
  19 inodeof: DirectoryEntry -> UsedInode (many->1)
  20 contents: UsedInode -> FileDirectoryBlock (1->many)
  21 inodestatus: Inode -> token (many->1)
  22 blockstatus: Block -> token (many->1)
  23 referencecount: Inode -> int (many->1)
  24 filesize: Inode -> int (many->1)