// File: Buffer_skeleton.java
// Time-stamp: "2005-01-20 16:37:53 calvanese"
// Purpose: Buffer: skeleton of the class

public class Buffer {

  // representation of the objects

  // Note: by the way items are added and extracted, the buffer will alwaye
  // be full up to a certain position, and the remaining positions will be
  // empty;  therefore, to represent the buffer, it is sufficient to use an
  // array of integers, and an integer representing the number of items in the
  // buffer;

  private int numItems;
  private float[] positions;

  // public methods

  public Buffer(int c) { }

  public int remainingCapacity() { }

  public int numDataItems() { }

  public void addDataItem(float f) { }

  public float extractDataItem(int i) { }
   
  public int countOccurrences(float f) { }

  public int[] whichPositions(float f) { }
}