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).
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.
org.multijava.util.testing	Provides JUnit testing utilities for all of the parts of MultiJava and the Java Modeling Language.

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, Object[])
byte	Field.getByte(Object)
char	Field.getChar(Object)
double	Field.getDouble(Object)
float	Field.getFloat(Object)
int	Field.getInt(Object)
long	Field.getLong(Object)
short	Field.getShort(Object)
boolean	Field.getBoolean(Object)
void	Field.setByte(Object, byte)
void	Field.setChar(Object, char)
void	Field.setDouble(Object, double)
void	Field.setFloat(Object, float)
void	Field.setInt(Object, int)
void	Field.setLong(Object, long)
void	Field.setShort(Object, short)
void	Field.setBoolean(Object, boolean)
Object	Field.get(Object)
void	Field.set(Object, Object)

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

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.
abstract JMLValueBag	JMLValueBagSpecs.insert(JMLType elem, int cnt) Returns a new bag that contains all the elements of this and also the given argument.
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.

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

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

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

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

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

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).

Uses of IllegalArgumentException in org.jmlspecs.samples.jmlrefman

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

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

Uses of IllegalArgumentException in org.multijava.util.testing

Methods in org.multijava.util.testing that throw IllegalArgumentException

protected void	TestFilesTestSuite.Helper.dotest(ByteArrayOutputStream ba) This is the actual test; it compiles the given file and compares its output to the expected result (in fileToTest+ORACLE_SUFFIX); the output is expected to match and the result of the compile to be true or false, depending on whether errors or warnings were reported.
protected void	TestFilesCompileOnlyTestSuite.Helper.dotest(ByteArrayOutputStream ba)
protected void	TestFilesCompileAndRunTestSuite.Helper.dotest(ByteArrayOutputStream ba) Executes this test case.