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.

Class Specifications

public invariant getArray() != null;

Field Summary
static java.lang.String	CVS_REVISION

 

Constructor Summary

ZeroDimensionException(java.lang.Object[] array)           Initialize a new ZeroDimensionException with the given array.

ZeroDimensionException(java.lang.Object[] array, java.lang.String 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

ZeroDimensionException

public ZeroDimensionException(java.lang.Object[] array)

Initialize a new ZeroDimensionException with the given array.

Specifications:

requires array != null;
ensures getArray() == array;

ZeroDimensionException

public ZeroDimensionException(java.lang.Object[] array,
                              java.lang.String msg)

Initialize a new ZeroDimensionException with the given array and message.

Specifications:

requires array != null;
ensures getArray() == array;
ensures getMessage() == msg;

getArray

public java.lang.Object[] getArray()

Return the array that caused this ZeroDimensionException.