Rename an attribute.

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>

diff --git a/Piles/Pile.java b/Piles/Pile.java
index e2cc0c470486d69833d790c5e157b867f128fed9..07c5a77941427a92e9b3eba87e9bdf7d5e96b7c8 100644 (file)
--- a/Piles/Pile.java
+++ b/Piles/Pile.java
@@ -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;
         }