org.jutil.junit
Class AbstractRevision

java.lang.Object
  |
  +--org.jutil.junit.AbstractRevision

All Implemented Interfaces:

Revision

Direct Known Subclasses:

CVSRevision

public abstract class AbstractRevision

extends java.lang.Object

implements Revision

A class that implements the non-basic methods of Revision. Subclasses only need implements getNumber(int) and length().

Field Summary
static java.lang.String	CVS_REVISION

 

Constructor Summary

AbstractRevision()

 

Method Summary
boolean	equals(java.lang.Object other)           See superclass.
int	getMajor()           See superclass
int	getMicro()           See superclass
int	getMinor()           See superclass
java.lang.String	toString()           See superclass

 

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

 

Methods inherited from interface org.jutil.junit.Revision

getNumber, length

 

Field Detail

CVS_REVISION

public static final java.lang.String CVS_REVISION

AbstractRevision

public AbstractRevision()

getMajor

public int getMajor()

See superclass

Specifications inherited from overridden method in interface Revision:

public behavior
ensures \result == getNumber(1);

getMinor

public int getMinor()

See superclass

Specifications inherited from overridden method in interface Revision:

public behavior
ensures \result == getNumber(2);

getMicro

public int getMicro()

See superclass

Specifications inherited from overridden method in interface Revision:

public behavior
ensures \result == getNumber(3);

equals

public boolean equals(java.lang.Object other)

See superclass.

Specifications inherited from overridden method in interface Revision:

     also

public behavior
ensures (!(other instanceof Revision)) ==> (\result == false);
ensures (other instanceof Revision) ==> \result == ( \forall int i; i >= 1; getNumber(i) == ((Revision)other).getNumber(i));

toString

public java.lang.String toString()

See superclass