|
JML | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.jmlspecs.models.JMLArrayOps
Array Operations that are useful for specifications.
Arrays
,
JMLObjectSequence
,
JMLValueSequence
Class Specifications |
Specifications inherited from class Object |
represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT; public represents _getClass <- \typeof(this); |
Model Field Summary |
Model fields inherited from class java.lang.Object |
_getClass, objectState, theString |
Ghost Field Summary |
Ghost fields inherited from class java.lang.Object |
objectTimesFinalized, owner |
Constructor Summary | |
JMLArrayOps()
|
Model Method Summary |
Model methods inherited from class java.lang.Object |
hashValue |
Method Summary | |
static boolean |
hasObjectIdentity(non_null Object[] array,
non_null Object element)
Search the array for the given element and tell if that element's object identity occurs in the array. |
static boolean |
hasObjectIdentity(non_null Object[] array,
non_null Object element,
int length)
Search the array for the given element and tell if that element's object identity occurs in the array from 0 the given length-1. |
static boolean |
hasValueEquals(non_null Object[] array,
non_null Object element)
Search the array for the given element and tell if an object with value "equals" to the given element occurs in the array. |
static boolean |
hasValueEquals(non_null Object[] array,
non_null Object element,
int length)
Search the array for the given element and tell if an object with value "equals" to the given element occurs in the array from 0 the given length-1. |
static int |
objectIdentityCount(non_null Object[] array,
non_null Object element)
Search the array for the given element and return how many times that element's object identity occurs in the array. |
static int |
objectIdentityCount(non_null Object[] array,
non_null Object element,
int length)
Search the array for the given element and return how many times that element's object identity occurs in the array from 0 the given length-1. |
static int |
valueEqualsCount(non_null Object[] array,
non_null Object element)
Search the array for the given element and return how many times an object with value "equals" to the given element occurs in the array. |
static int |
valueEqualsCount(non_null Object[] array,
non_null Object element,
int length)
Search the array for the given element and return how many times an object with value "equals" to the given element occurs in the array from 0 the given length-1. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public JMLArrayOps()
Method Detail |
public static int objectIdentityCount(non_null Object[] array, non_null Object element)
objectIdentityCount(Object[], Object, int)
,
hasObjectIdentity(Object[], Object)
,
valueEqualsCount(Object[], Object)
public static int objectIdentityCount(non_null Object[] array, non_null Object element, int length)
objectIdentityCount(Object[], Object)
,
hasObjectIdentity(Object[], Object, int)
,
valueEqualsCount(Object[], Object, int)
public static int valueEqualsCount(non_null Object[] array, non_null Object element)
valueEqualsCount(Object[], Object, int)
,
hasValueEquals(Object[], Object)
,
objectIdentityCount(Object[], Object)
public static int valueEqualsCount(non_null Object[] array, non_null Object element, int length)
valueEqualsCount(Object[], Object)
,
hasValueEquals(Object[], Object, int)
,
objectIdentityCount(Object[], Object, int)
public static boolean hasObjectIdentity(non_null Object[] array, non_null Object element)
hasObjectIdentity(Object[], Object, int)
,
objectIdentityCount(Object[], Object)
,
hasValueEquals(Object[], Object)
public static boolean hasObjectIdentity(non_null Object[] array, non_null Object element, int length)
hasObjectIdentity(Object[], Object)
,
objectIdentityCount(Object[], Object)
,
hasValueEquals(Object[], Object)
public static boolean hasValueEquals(non_null Object[] array, non_null Object element)
hasValueEquals(Object[], Object, int)
,
valueEqualsCount(Object[], Object)
,
hasObjectIdentity(Object[], Object)
public static boolean hasValueEquals(non_null Object[] array, non_null Object element, int length)
hasValueEquals(Object[], Object)
,
valueEqualsCount(Object[], Object, int)
,
hasObjectIdentity(Object[], Object, int)
|
JML | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |