ArrayErrors

java.lang.Object

com.jml.util.ArrayErrors

public class ArrayErrors extends Object

Method Summary

Modifier and Type

Method

Description

static void

checkNotEmpty(double[] arr)

Checks to see if array is empty.

static void

checkSameLength(double[] arr1, double[] arr2)

Checks to see if two arrays have the same number of entries

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- checkNotEmpty
  
  public static void checkNotEmpty(double[] arr)
  
  Checks to see if array is empty.
  
  Parameters:
  
  arr - Array in question.
  
  Throws:
  
  IllegalArgumentException - If array is empty
- checkSameLength
  
  public static void checkSameLength(double[] arr1, double[] arr2)
  
  Checks to see if two arrays have the same number of entries
  
  Parameters:
  
  arr1 - Array one in question.
  
  arr2 - Array two in question.
  
  Throws:
  
  IllegalArgumentException - If arrays differ in length.