Uses of Class
java.lang.IllegalStateException

Packages that use IllegalStateException

javax.crypto
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.

Uses of IllegalStateException in javax.crypto

Methods in javax.crypto that throw IllegalStateException

int	Cipher.getOutputSize(int Param0)
byte[]	Cipher.update(byte[] Param0)
byte[]	Cipher.update(byte[] Param0, int Param1, int Param2)
int	Cipher.update(byte[] Param0, int Param1, int Param2, byte[] Param3)
int	Cipher.update(byte[] Param0, int Param1, int Param2, byte[] Param3, int Param4)
byte[]	Cipher.doFinal()
int	Cipher.doFinal(byte[] Param0, int Param1)
byte[]	Cipher.doFinal(byte[] input)
byte[]	Cipher.doFinal(byte[] Param0, int Param1, int Param2)
int	Cipher.doFinal(byte[] Param0, int Param1, int Param2, byte[] Param3)
int	Cipher.doFinal(byte[] Param0, int Param1, int Param2, byte[] Param3, int Param4)
byte[]	Cipher.wrap(Key Param0)
Key	Cipher.unwrap(byte[] Param0, String Param1, int Param2)
int	ExemptionMechanism.getOutputSize(int)
byte[]	ExemptionMechanism.genExemptionBlob()
int	ExemptionMechanism.genExemptionBlob(byte[])
int	ExemptionMechanism.genExemptionBlob(byte[], int)

Uses of IllegalStateException in org.jmlspecs.models

Methods in org.jmlspecs.models that throw IllegalStateException

JMLValueSet	JMLValueSet.insert(JMLType elem) Returns a new set that contains all the elements of this and also the given argument.
JMLValueSet	JMLValueSet.union(JMLValueSet s2) Returns a new set that contains all the elements that are in either this or the given argument.
JMLValueSet	JMLValueSet.powerSet() Returns a new set that is the set of all subsets of this.
JMLObjectSequence	JMLObjectSequence.insertAfterIndex(int afterThisOne, Object item) Return a sequence like this, but with item put immediately after the given index.
JMLObjectSequence	JMLObjectSequence.insertBeforeIndex(int beforeThisOne, Object item) Return a sequence like this, but with item put immediately before the given index.
JMLObjectSequence	JMLObjectSequence.insertBack(Object item) Return a sequence like this, but with the given item put an the end.
JMLObjectSequence	JMLObjectSequence.insertFront(Object item) Return a sequence like this, but with the given item put an the front.
JMLValueSequence	JMLValueSequence.insertAfterIndex(int afterThisOne, JMLType item) Return a sequence like this, but with item put immediately after the given index.
JMLValueSequence	JMLValueSequence.insertBeforeIndex(int beforeThisOne, JMLType item) Return a sequence like this, but with item put immediately before the given index.
JMLValueSequence	JMLValueSequence.insertBack(JMLType item) Return a sequence like this, but with the given item put an the end.
JMLValueSequence	JMLValueSequence.insertFront(JMLType item) Return a sequence like this, but with the given item put an the front.
JMLValueToValueRelation	JMLValueToValueRelation.add(JMLType dv, JMLType rv) Return a relation that is just like this relation, except that it also associates the given domain element to the given range element.
JMLValueToValueRelation	JMLValueToValueRelation.insert(JMLValueValuePair pair) Return a relation that is just like this relation, except that it also includes the association described by the given pair.
JMLValueToValueRelation	JMLValueToValueRelation.union(JMLValueToValueRelation othRel) Return a relation that union of the this and the given relation.
JMLObjectToValueRelation	JMLObjectToValueRelation.add(Object dv, JMLType rv) Return a relation that is just like this relation, except that it also associates the given domain element to the given range element.
JMLObjectToValueRelation	JMLObjectToValueRelation.insert(JMLObjectValuePair pair) Return a relation that is just like this relation, except that it also includes the association described by the given pair.
JMLObjectToValueRelation	JMLObjectToValueRelation.union(JMLObjectToValueRelation othRel) Return a relation that union of the this and the given relation.
abstract JMLValueBag	JMLValueBagSpecs.insert(JMLType elem, int cnt)
JMLValueBag	JMLValueBag.insert(JMLType elem) Return a bag containing the given item and the ones in this bag.
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.
JMLValueToValueMap	JMLValueToValueMap.extendUnion(JMLValueToValueMap othMap) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then only the mapping in the given map is retained.
JMLValueToValueMap	JMLValueToValueMap.clashReplaceUnion(JMLValueToValueMap othMap, JMLType errval) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then each of these clashes is replaced by a mapping from the domain element in question to the given range element.
JMLValueToValueMap	JMLValueToValueMap.disjointUnion(JMLValueToValueMap othMap) Return a map that is the disjoint union of this and othMap.
JMLEqualsToValueRelation	JMLEqualsToValueRelation.add(Object dv, JMLType rv) Return a relation that is just like this relation, except that it also associates the given domain element to the given range element.
JMLEqualsToValueRelation	JMLEqualsToValueRelation.insert(JMLEqualsValuePair pair) Return a relation that is just like this relation, except that it also includes the association described by the given pair.
JMLEqualsToValueRelation	JMLEqualsToValueRelation.union(JMLEqualsToValueRelation othRel) Return a relation that union of the this and the given relation.
JMLEqualsSet	JMLEqualsSet.insert(Object elem) Returns a new set that contains all the elements of this and also the given argument.
JMLEqualsSet	JMLEqualsSet.union(JMLEqualsSet s2) Returns a new set that contains all the elements that are in either this or the given argument.
JMLEqualsSet	JMLEqualsSet.powerSet() Returns a new set that is the set of all subsets of this.
JMLValueToEqualsRelation	JMLValueToEqualsRelation.add(JMLType dv, Object rv) Return a relation that is just like this relation, except that it also associates the given domain element to the given range element.
JMLValueToEqualsRelation	JMLValueToEqualsRelation.insert(JMLValueEqualsPair pair) Return a relation that is just like this relation, except that it also includes the association described by the given pair.
JMLValueToEqualsRelation	JMLValueToEqualsRelation.union(JMLValueToEqualsRelation othRel) Return a relation that union of the this and the given relation.
JMLObjectToEqualsRelation	JMLObjectToEqualsRelation.add(Object dv, Object rv) Return a relation that is just like this relation, except that it also associates the given domain element to the given range element.
JMLObjectToEqualsRelation	JMLObjectToEqualsRelation.insert(JMLObjectEqualsPair pair) Return a relation that is just like this relation, except that it also includes the association described by the given pair.
JMLObjectToEqualsRelation	JMLObjectToEqualsRelation.union(JMLObjectToEqualsRelation othRel) Return a relation that union of the this and the given relation.
JMLEqualsToValueMap	JMLEqualsToValueMap.extendUnion(JMLEqualsToValueMap othMap) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then only the mapping in the given map is retained.
JMLEqualsToValueMap	JMLEqualsToValueMap.clashReplaceUnion(JMLEqualsToValueMap othMap, JMLType errval) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then each of these clashes is replaced by a mapping from the domain element in question to the given range element.
JMLEqualsToValueMap	JMLEqualsToValueMap.disjointUnion(JMLEqualsToValueMap othMap) Return a map that is the disjoint union of this and othMap.
JMLObjectToEqualsMap	JMLObjectToEqualsMap.extendUnion(JMLObjectToEqualsMap othMap) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then only the mapping in the given map is retained.
JMLObjectToEqualsMap	JMLObjectToEqualsMap.clashReplaceUnion(JMLObjectToEqualsMap othMap, Object errval) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then each of these clashes is replaced by a mapping from the domain element in question to the given range element.
JMLObjectToEqualsMap	JMLObjectToEqualsMap.disjointUnion(JMLObjectToEqualsMap othMap) Return a map that is the disjoint union of this and othMap.
JMLObjectSet	JMLObjectSet.insert(Object elem) Returns a new set that contains all the elements of this and also the given argument.
JMLObjectSet	JMLObjectSet.union(JMLObjectSet s2) Returns a new set that contains all the elements that are in either this or the given argument.
JMLObjectSet	JMLObjectSet.powerSet() Returns a new set that is the set of all subsets of this.
JMLValueToEqualsMap	JMLValueToEqualsMap.extendUnion(JMLValueToEqualsMap othMap) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then only the mapping in the given map is retained.
JMLValueToEqualsMap	JMLValueToEqualsMap.clashReplaceUnion(JMLValueToEqualsMap othMap, Object errval) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then each of these clashes is replaced by a mapping from the domain element in question to the given range element.
JMLValueToEqualsMap	JMLValueToEqualsMap.disjointUnion(JMLValueToEqualsMap othMap) Return a map that is the disjoint union of this and othMap.
JMLValueToObjectRelation	JMLValueToObjectRelation.add(JMLType dv, Object rv) Return a relation that is just like this relation, except that it also associates the given domain element to the given range element.
JMLValueToObjectRelation	JMLValueToObjectRelation.insert(JMLValueObjectPair pair) Return a relation that is just like this relation, except that it also includes the association described by the given pair.
JMLValueToObjectRelation	JMLValueToObjectRelation.union(JMLValueToObjectRelation othRel) Return a relation that union of the this and the given relation.
JMLValueToObjectMap	JMLValueToObjectMap.extendUnion(JMLValueToObjectMap othMap) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then only the mapping in the given map is retained.
JMLValueToObjectMap	JMLValueToObjectMap.clashReplaceUnion(JMLValueToObjectMap othMap, Object errval) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then each of these clashes is replaced by a mapping from the domain element in question to the given range element.
JMLValueToObjectMap	JMLValueToObjectMap.disjointUnion(JMLValueToObjectMap othMap) Return a map that is the disjoint union of this and othMap.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.add(Object dv, Object rv) Return a relation that is just like this relation, except that it also associates the given domain element to the given range element.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.insert(JMLObjectObjectPair pair) Return a relation that is just like this relation, except that it also includes the association described by the given pair.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.union(JMLObjectToObjectRelation othRel) Return a relation that union of the this and the given relation.
JMLObjectToObjectMap	JMLObjectToObjectMap.extendUnion(JMLObjectToObjectMap othMap) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then only the mapping in the given map is retained.
JMLObjectToObjectMap	JMLObjectToObjectMap.clashReplaceUnion(JMLObjectToObjectMap othMap, Object errval) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then each of these clashes is replaced by a mapping from the domain element in question to the given range element.
JMLObjectToObjectMap	JMLObjectToObjectMap.disjointUnion(JMLObjectToObjectMap othMap) Return a map that is the disjoint union of this and othMap.
JMLObjectToValueMap	JMLObjectToValueMap.extendUnion(JMLObjectToValueMap othMap) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then only the mapping in the given map is retained.
JMLObjectToValueMap	JMLObjectToValueMap.clashReplaceUnion(JMLObjectToValueMap othMap, JMLType errval) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then each of these clashes is replaced by a mapping from the domain element in question to the given range element.
JMLObjectToValueMap	JMLObjectToValueMap.disjointUnion(JMLObjectToValueMap othMap) Return a map that is the disjoint union of this and othMap.
JMLEqualsSequence	JMLEqualsSequence.insertAfterIndex(int afterThisOne, Object item) Return a sequence like this, but with item put immediately after the given index.
JMLEqualsSequence	JMLEqualsSequence.insertBeforeIndex(int beforeThisOne, Object item) Return a sequence like this, but with item put immediately before the given index.
JMLEqualsSequence	JMLEqualsSequence.insertBack(Object item) Return a sequence like this, but with the given item put an the end.
JMLEqualsSequence	JMLEqualsSequence.insertFront(Object item) Return a sequence like this, but with the given item put an the front.
JMLObjectBag	JMLObjectBag.insert(Object elem) Return a bag containing the given item and the ones in this bag.
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.
JMLEqualsToObjectRelation	JMLEqualsToObjectRelation.add(Object dv, Object rv) Return a relation that is just like this relation, except that it also associates the given domain element to the given range element.
JMLEqualsToObjectRelation	JMLEqualsToObjectRelation.insert(JMLEqualsObjectPair pair) Return a relation that is just like this relation, except that it also includes the association described by the given pair.
JMLEqualsToObjectRelation	JMLEqualsToObjectRelation.union(JMLEqualsToObjectRelation othRel) Return a relation that union of the this and the given relation.
JMLEqualsToObjectMap	JMLEqualsToObjectMap.extendUnion(JMLEqualsToObjectMap othMap) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then only the mapping in the given map is retained.
JMLEqualsToObjectMap	JMLEqualsToObjectMap.clashReplaceUnion(JMLEqualsToObjectMap othMap, Object errval) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then each of these clashes is replaced by a mapping from the domain element in question to the given range element.
JMLEqualsToObjectMap	JMLEqualsToObjectMap.disjointUnion(JMLEqualsToObjectMap othMap) Return a map that is the disjoint union of this and othMap.
JMLEqualsBag	JMLEqualsBag.insert(Object elem) Return a bag containing the given item and the ones in this bag.
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.
JMLEqualsToEqualsRelation	JMLEqualsToEqualsRelation.add(Object dv, Object rv) Return a relation that is just like this relation, except that it also associates the given domain element to the given range element.
JMLEqualsToEqualsRelation	JMLEqualsToEqualsRelation.insert(JMLEqualsEqualsPair pair) Return a relation that is just like this relation, except that it also includes the association described by the given pair.
JMLEqualsToEqualsRelation	JMLEqualsToEqualsRelation.union(JMLEqualsToEqualsRelation othRel) Return a relation that union of the this and the given relation.
JMLEqualsToEqualsMap	JMLEqualsToEqualsMap.extendUnion(JMLEqualsToEqualsMap othMap) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then only the mapping in the given map is retained.
JMLEqualsToEqualsMap	JMLEqualsToEqualsMap.clashReplaceUnion(JMLEqualsToEqualsMap othMap, Object errval) Return a new map that is like the union of the given map and this map, except that if both define a mapping for a given domain element, then each of these clashes is replaced by a mapping from the domain element in question to the given range element.
JMLEqualsToEqualsMap	JMLEqualsToEqualsMap.disjointUnion(JMLEqualsToEqualsMap othMap) Return a map that is the disjoint union of this and othMap.