Uses of Class
java.lang.IllegalArgumentException

Packages that use IllegalArgumentException

java.lang	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.lang.reflect	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.security	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
org.jmlspecs.models	This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package.
org.jmlspecs.models.resolve	This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models.
org.jmlspecs.samples.dbc	This package contains samples of JML specifications written in the style of design by contract.
org.jmlspecs.samples.jmlrefman	This package contains samples of JML specifications from the JML Reference Manual.

Uses of IllegalArgumentException in java.lang

Subclasses of IllegalArgumentException in java.lang

class

NumberFormatException

Methods in java.lang that throw IllegalArgumentException

protected Package

ClassLoader.definePackage(String, String, String, String, String, String, String, URL)

Uses of IllegalArgumentException in java.lang.reflect

Methods in java.lang.reflect that throw IllegalArgumentException

Object	Method.invoke(Object obj, Object[] args)
Object	Field.get(Object obj)
boolean	Field.getBoolean(Object obj)
byte	Field.getByte(Object obj)
char	Field.getChar(Object obj)
short	Field.getShort(Object obj)
int	Field.getInt(Object obj)
long	Field.getLong(Object obj)
float	Field.getFloat(Object obj)
double	Field.getDouble(Object obj)
void	Field.set(Object obj, Object value)
void	Field.setBoolean(Object obj, boolean z)
void	Field.setByte(Object obj, byte b)
void	Field.setChar(Object obj, char c)
void	Field.setShort(Object obj, short s)
void	Field.setInt(Object obj, int i)
void	Field.setLong(Object obj, long l)
void	Field.setFloat(Object obj, float f)
void	Field.setDouble(Object obj, double d)
Object	Constructor.newInstance(Object[] initargs)
static int	Array.getLength(Object Param0)
static byte	Array.getByte(Object Param0, int Param1)
static char	Array.getChar(Object Param0, int Param1)
static double	Array.getDouble(Object Param0, int Param1)
static float	Array.getFloat(Object Param0, int Param1)
static int	Array.getInt(Object Param0, int Param1)
static long	Array.getLong(Object Param0, int Param1)
static short	Array.getShort(Object Param0, int Param1)
static boolean	Array.getBoolean(Object Param0, int Param1)
static void	Array.setByte(Object Param0, int Param1, byte Param2)
static void	Array.setChar(Object Param0, int Param1, char Param2)
static void	Array.setDouble(Object Param0, int Param1, double Param2)
static void	Array.setFloat(Object Param0, int Param1, float Param2)
static void	Array.setInt(Object Param0, int Param1, int Param2)
static void	Array.setLong(Object Param0, int Param1, long Param2)
static void	Array.setShort(Object Param0, int Param1, short Param2)
static void	Array.setBoolean(Object Param0, int Param1, boolean Param2)
static Object	Array.newInstance(Class Param0, int[] Param1)
static Object	Array.get(Object Param0, int Param1)
static void	Array.set(Object Param0, int Param1, Object Param2)

Uses of IllegalArgumentException in java.security

Subclasses of IllegalArgumentException in java.security

class

InvalidParameterException

Uses of IllegalArgumentException in org.jmlspecs.models

Subclasses of IllegalArgumentException in org.jmlspecs.models

class	JMLMapException Exceptions from JML Map types that indicate that the argument was illegal for this operation.
class	JMLTypeException An exception class used in bad formatting exceptions.

Methods in org.jmlspecs.models that throw IllegalArgumentException

abstract JMLValueBag	JMLValueBagSpecs.insert(JMLType elem, int cnt)
JMLValueBag	JMLValueBag.insert(JMLType elem, int cnt) Return a bag containing the given item the given number of times, in addition to the ones in this bag.
JMLValueBag	JMLValueBag.remove(JMLType elem, int cnt) Return a bag containing the items in this bag, except for the given number of the given element.
JMLObjectBag	JMLObjectBag.insert(Object elem, int cnt) Return a bag containing the given item the given number of times, in addition to the ones in this bag.
JMLObjectBag	JMLObjectBag.remove(Object elem, int cnt) Return a bag containing the items in this bag, except for the given number of the given element.
JMLEqualsBag	JMLEqualsBag.insert(Object elem, int cnt) Return a bag containing the given item the given number of times, in addition to the ones in this bag.
JMLEqualsBag	JMLEqualsBag.remove(Object elem, int cnt) Return a bag containing the items in this bag, except for the given number of the given element.

Constructors in org.jmlspecs.models that throw IllegalArgumentException

JMLFiniteInteger(BigInteger n)
Initialize this finite integer from the given BigInteger.

JMLString(String s)
Initialize the contents of this object to be the given string.

Uses of IllegalArgumentException in org.jmlspecs.models.resolve

Methods in org.jmlspecs.models.resolve that throw IllegalArgumentException

static StringOfObject	StringOfObject.singleton(Object elem) Make a singleton string of objects containing just the given object.
static StringOfObject	StringOfObject.ext(StringOfObject s, Object elem) Extend the given string by placing the given element at the end.
static StringOfObject	StringOfObject.from(Object[] a) Make an array of objects into a string.
static StringOfObject	StringOfObject.from(Collection c) Make a collection into a string.
StringOfObject	StringOfObject.ext(Object elem) Extend a string with a new element at the end.
StringOfObject	StringOfObject.add(Object elem) Add an element to a string at the end.
StringOfObject	StringOfObject.addFront(Object elem) Add an element to a string at the front.
StringOfObject	StringOfObject.addAfterIndex(int afterThisOne, Object elem) Add an element to a string after the given index.
StringOfObject	StringOfObject.addBeforeIndex(int beforeThisOne, Object elem) Add an element to a string before the given index.
StringOfObject	StringOfObject.addAll(Collection c) Add all the elements of c, at the end of this string, in the order determined by c's iterator.
StringOfObject	StringOfObject.addAll(Object[] c) Add all the elements of c at the end of this string, in order from the smallest to the largest index.
StringOfObject	StringOfObject.pow(int n) Compose this string with itself the given number of times.

Constructors in org.jmlspecs.models.resolve that throw IllegalArgumentException

StringOfObject(Object elem)
Initialize this object to string containing just the given object.

StringOfObject(JMLObjectSequence os)
Initialize this object from the given representation.

NaturalNumber(long val)
Initialize this natural number to the given long value.

NaturalNumber(BigInteger val)
Initialize this natural number to the given BigInteger value.

Uses of IllegalArgumentException in org.jmlspecs.samples.dbc

Methods in org.jmlspecs.samples.dbc that throw IllegalArgumentException

static double

Polar.standardizeAngle(double rad) Standardize the angle so it's between -StrictMath.PI and StrictMath.PI (radians).

Constructors in org.jmlspecs.samples.dbc that throw IllegalArgumentException

Polar(double mag, double ang)
Initialize this polar coordinate number with magnitude mag and angle ang, except that when the magnitude is negative, this is interpreted as magnitude -mag and angle ang+StrictMath.PI.

Uses of IllegalArgumentException in org.jmlspecs.samples.jmlrefman

Methods in org.jmlspecs.samples.jmlrefman that throw IllegalArgumentException

abstract int	InconsistentMethodSpec2.cantBeSatisfied(int z) A specification that can't be satisfied.
abstract int	InconsistentMethodSpec.cantBeSatisfied(int z) A specification that can't be satisfied.