debuggers.hg
changeset 596:4fb0fd9f744b
bitkeeper revision 1.304.1.4 (3f0bde76AYbvHyA0ZKhVCX7Dwvw4sQ)
Add new Extent partition number bits that were needed by the PhysicalList changes that I put in the last cset by mistake. Ah well.
Add new Extent partition number bits that were needed by the PhysicalList changes that I put in the last cset by mistake. Ah well.
author | rac61@labyrinth.cl.cam.ac.uk |
---|---|
date | Wed Jul 09 09:20:54 2003 +0000 (2003-07-09) |
parents | d2e63f4ee02e |
children | 2fa0baf66747 |
files | tools/control/src/org/xenoserver/control/Extent.java |
line diff
1.1 --- a/tools/control/src/org/xenoserver/control/Extent.java Wed Jul 09 09:17:42 2003 +0000 1.2 +++ b/tools/control/src/org/xenoserver/control/Extent.java Wed Jul 09 09:20:54 2003 +0000 1.3 @@ -15,6 +15,8 @@ public class Extent { 1.4 private long offset; 1.5 /** Size of extent in sectors. */ 1.6 private long size; 1.7 + /** Partition number, if one is allocated. */ 1.8 + private int partition_no; 1.9 1.10 /** 1.11 * Constructor for Extent. 1.12 @@ -27,6 +29,20 @@ public class Extent { 1.13 this.offset = offset; 1.14 this.size = size; 1.15 } 1.16 + 1.17 + /** 1.18 + * Constructor for Extent. 1.19 + * @param disk Disk number. 1.20 + * @param offset Offset into disk. 1.21 + * @param size Size of extent. 1.22 + * @param partition_no Partition number. 1.23 + */ 1.24 + Extent(int disk, long offset, long size,int partition_no) { 1.25 + this.disk = disk; 1.26 + this.offset = offset; 1.27 + this.size = size; 1.28 + this.partition_no = partition_no; 1.29 + } 1.30 1.31 /** 1.32 * @return Disk number. 1.33 @@ -62,4 +78,11 @@ public class Extent { 1.34 public int getMinor() { 1.35 return disk & 0xFF; 1.36 } 1.37 + 1.38 + /** 1.39 + * @return Partition number of this extent. 1.40 + */ 1.41 + public int getPartitionNo() { 1.42 + return partition_no; 1.43 + } 1.44 }