fifolist.java

一个关于java 的常用工具包

package org.jutil.java.collections;

import java.util.Iterator;
import java.util.LinkedList;

/**
 * FifoList is a class of objects that represent
 * simple first-in first-out lists .
 *
 * <center>
 *   <img src="doc-files/FifoList.png"/>
 * </center>
 *
 * @path    $Source: /cvsroot/org-jutil/jutil.org/src/org/jutil/java/collections/FifoList.java,v $
 * @version $Revision: 1.7 $
 * @date    $Date: 2002/07/21 15:15:19 $
 * @state   $State: Exp $
 * @author   Tom Schrijvers
 * @author   Marko van Dooren
 * @release $Name:  $
 */
public class FifoList extends AbstractFifo {

  /* The revision of this class */
  public final static String CVS_REVISION ="$Revision: 1.7 $";

	/**
	 * Initialize a new empty FifoList.
	 */
 /*@
	 @ public behavior
	 @
	 @ post size() == 0;
	 @*/
	public FifoList() {
	  $queue = new LinkedList();
	}
	
  /**
	 * See superclass.
   */
  public void push(Object object) {
	  $queue.addLast(object);
  }

  /**
   * See superclass.
	 */
  public Object pop() {
    return $queue.removeFirst();
  }

  /**
   * See superclass/
   */
  public void clear() {
	  $queue.clear();
  }

	/**
	 * See superclass.
	 */
	public Iterator iterator() {
	  return $queue.iterator();
	}

  /**
   * See superclass.
   */
   public int size() {
	return $queue.size();
   }

	/**
   	 * See superclass.
  	 */
	public Object getFirst() {
	  return $queue.getFirst();
	}

	/**
	  * See superclass.
	  */
	public int nbExplicitOccurrences(Object item) {
	  return Collections.nbExplicitOccurrences(item,$queue);
	}
  
 /*@
	 @ private invariant $queue != null;
	 @*/
	private LinkedList $queue;

}
/*
 * <copyright>Copyright (C) 1997-2001. This software is copyrighted by 
 * the people and entities mentioned after the "@author" tags above, on 
 * behalf of the JUTIL.ORG Project. The copyright is dated by the dates 
 * after the "@date" tags above. All rights reserved.
 * This software is published under the terms of the JUTIL.ORG Software
 * License version 1.1 or later, a copy of which has been included with
 * this distribution in the LICENSE file, which can also be found at
 * http://org-jutil.sourceforge.net/LICENSE. This software is distributed 
 * WITHOUT ANY WARRANTY; without even the implied warranty of 
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. 
 * See the JUTIL.ORG Software License for more details. For more information,
 * please see http://org-jutil.sourceforge.net/</copyright>
 */