ext2: Rename Inode_Extents -> Inline_Extents
diff --git a/src/filo-fs-ext2.ads b/src/filo-fs-ext2.ads
index 31a679e..1da3d77 100644
--- a/src/filo-fs-ext2.ads
+++ b/src/filo-fs-ext2.ads
@@ -67,10 +67,10 @@
subtype Cache_Buffer is Buffer_Type (Max_Block_Index);
-- Same as the 12 direct + 3 indirect blocks times 4B:
- subtype Inode_Extents_Index is Natural range 0 .. 59;
- subtype Inode_Extents is Buffer_Type (Inode_Extents_Index)
+ subtype Inline_Extents_Index is Natural range 0 .. 59;
+ subtype Inline_Extents is Buffer_Type (Inline_Extents_Index)
with
- Object_Size => (Inode_Extents_Index'Last + 1) * 8;
+ Object_Size => (Inline_Extents_Index'Last + 1) * 8;
-- TODO: Could use modular Unsigned_32 if GNATprove wouldn't stumble as much:
type Inode_0_Index is new Integer_64 range 0 .. Integer_64 (Unsigned_32'Last);
@@ -91,7 +91,7 @@
Mode : Inode_Type := Inode_Type'First;
Size : Inode_Length := 0;
Use_Extents : Boolean := False;
- Inline : Inode_Extents := (others => 16#00#);
+ Inline : Inline_Extents := (others => 16#00#);
Map_Cache : Inode_Map_Cache := (others => <>);
end record;