Rename an attribute.
[TP_POO.git] / Piles / Pile.java
index 1c808c21880b75fd231d62e891dde9aad5acfca9..07c5a77941427a92e9b3eba87e9bdf7d5e96b7c8 100644 (file)
@@ -5,7 +5,7 @@
 public class Pile {
     private int int_array[];
     private int array_size;
-    private int stack_head_index;
+    private int head_index;
 
     /**
      * set the size of the internal array
@@ -28,7 +28,7 @@ public class Pile {
      * @param int index the stack head index
      */
     private void setHeadIndex(int index) {
-        stack_head_index = index;
+        head_index = index;
     }
 
     /**
@@ -36,7 +36,7 @@ public class Pile {
      * @return the integer stack head index
      */
     private int getHeadIndex() {
-        return stack_head_index;
+        return head_index;
     }
 
     /**
@@ -55,8 +55,8 @@ public class Pile {
      */
     public void empiler(int value) {
         if (!plein()) {
-            int_array[stack_head_index] = value;
-            stack_head_index++;
+            int_array[head_index] = value;
+            head_index++;
         } else {
             System.out.println("La pile est pleine");
         }
@@ -68,8 +68,8 @@ public class Pile {
      */
     public int depiler() {
         if (!vide()) {
-            stack_head_index--;
-            return int_array[stack_head_index];
+            head_index--;
+            return int_array[head_index];
         } else {
             return -1;
         }
@@ -95,7 +95,7 @@ public class Pile {
      * [afficher description]
      */
     public void afficher() {
-        for (int i = 0; i < getSize(); i++) {
+        for (int i = 0; i < getHeadIndex(); i++) {
             System.out.println("element " + i + " " + int_array[i]);
         }
     }