org.jutil.java.collections
Class ZeroDimensionException

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--java.lang.RuntimeException
                    |
                    +--org.jutil.java.collections.ZeroDimensionException
All Implemented Interfaces:
java.io.Serializable

public class ZeroDimensionException
extends java.lang.RuntimeException

A class of exceptions indicating the attempt to use a class in this package with an object array that has at least one dimension equal to zero.

Version:
$Revision: 1.5 $
Author:
Marko van Dooren
See Also:
Serialized Form

Field Summary
static java.lang.String CVS_REVISION
           
 
Constructor Summary
ZeroDimensionException(java.lang.Object[] array)
          // The array that causes a ZeroDimensionException
// can not be null
public invariant getArray() != null;

// may not be null
pre array != null;

// The array of this ZeroDimensionException is set to .
post getArray() == array;
Initialize a new ZeroDimensionException with the given array.
ZeroDimensionException(java.lang.Object[] array, java.lang.String msg)
          // may not be null
pre array != null;

// The array of this ZeroDimensionException is set to .
post getArray() == array;
// The message of this ZeroDimensionException is set to .
post getMessage() == msg;
Initialize a new ZeroDimensionException with the given array and message.
 
Method Summary
 java.lang.Object[] getArray()
          Return the array that caused this ZeroDimensionException.
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getLocalizedMessage, getMessage, printStackTrace, printStackTrace, printStackTrace, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

CVS_REVISION

public static final java.lang.String CVS_REVISION
Constructor Detail

ZeroDimensionException

public ZeroDimensionException(java.lang.Object[] array)
// The array that causes a ZeroDimensionException
// can not be null
public invariant getArray() != null;

// may not be null
pre array != null;

// The array of this ZeroDimensionException is set to .
post getArray() == array;
Initialize a new ZeroDimensionException with the given array.

ZeroDimensionException

public ZeroDimensionException(java.lang.Object[] array,
                              java.lang.String msg)
// may not be null
pre array != null;

// The array of this ZeroDimensionException is set to .
post getArray() == array;
// The message of this ZeroDimensionException is set to .
post getMessage() == msg;
Initialize a new ZeroDimensionException with the given array and message.
Method Detail

getArray

public java.lang.Object[] getArray()
Return the array that caused this ZeroDimensionException.