revision.java

一个关于java 的常用工具包

package org.jutil.junit;

/**
 * <p>A class of Revisions of something.</p>
 *
 * <p>An example of a revision is software revison. A revision consists of a sequence of numbers.
 * The first three numbers are called "major", "minor" and "micro". Further numbers have no name.</p>
 *
 * <center>
 *   <img src="doc-files/Revision.png"/>
 * </center>
 *
  * @path    $Source: /cvsroot/org-jutil/jutil.org/src/org/jutil/junit/Revision.java,v $
 * @version $Revision: 1.5 $
 * @date    $Date: 2002/08/19 15:54:27 $
 * @state   $State: Exp $
 * @author  Marko van Dooren
 * @release $Name:  $
 */
public interface Revision {

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

	/**
	 * Return the major number of this Revision.
	 */
 /*@
	 @ public behavior
	 @
	 @ post \result == getNumber(1);
	 @*/
	public int getMajor();

	/**
	 * Return the minor number of this Revision.
	 */
 /*@
	 @ public behavior
	 @
	 @ post \result == getNumber(2);
	 @*/
	public int getMinor();

	/**
	 * Return the micro number of this Revision.
	 */
 /*@
	 @ public behavior
	 @
	 @ post \result == getNumber(3);
	 @*/
	public int getMicro();

	/**
	 * Return the index'th number of this Revision.
	 *
	 * @param index
	 * 				The index of the requested number.
	 */
 /*@
	 @ pre index >= 1;
	 @
	 @ post \result >=0;
	 @ post (index > length()) ==> (\result == 0);
	 @*/
	public int getNumber(int index);

	/**
	 * Return the number of numbers in this Revision.
	 */
 /*@
	 @ public behavior
	 @
	 @ post \result >= 1;
	 @*/
	public int length();

	/**
	 * Check whether or not this revision is equal to another
	 *
	 * @param other
	 *        The other revision.
	 */
 /*@
	 @ also public behavior
	 @
	 @ post (! (other instanceof Revision)) ==> (\result == false);
	 @ post (other instanceof Revision) ==> \result == 
	 @                                      (\forall int i; i>=1;  
	 @                                        getNumber(i) == ((Revision)other).getNumber(i));
	 @*/
	public boolean equals(Object other);
}
/*
 * <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>
 */