Codestin Search App

java.lang.Object
- randoop.contract.ObjectContract
- - randoop.contract.ObserverEqArray

```
public final class ObserverEqArray
extends ObjectContract
```
A check recording the current state of an array during execution.
ObserverEqArray checks are not checks that must hold of all objects of a given class (unlike a check like EqualsReflexive, which must hold for any objects, no matter its execution context).

Field Summary

Fields
Modifier and Type	Field and Description
`private static double`	`DOUBLE_DELTA` The maximum difference for which doubles are considered equal.
`private static float`	`FLOAT_DELTA` The maximum difference for which floats are considered equal.
`(package private) static TypeTuple`	`inputTypes` The arguments to which this contract can be applied.
`private java.lang.Object`	`value` The run-time result of calling the observer: an array of literals.

Constructor Summary

Constructors
Constructor and Description

ObserverEqArray(java.lang.Object value, AccessibilityPredicate isAccessible)
Creates a new ObserverEqArray.

Constructors
Constructor and Description
`ObserverEqArray(java.lang.Object value, AccessibilityPredicate isAccessible)` Creates a new ObserverEqArray.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`private java.lang.String`	`arrayComponentsToString()` Returns a string representation of the components of the array, enclosed in curly braces, as it would appear in Java source code.
`boolean`	`equals(@Nullable java.lang.Object o)`
`boolean`	`evaluate(java.lang.Object... objects)` Evaluates the contract on the given values.
`java.lang.String`	`get_observer_str()` Returns a string describing the observer.
`int`	`getArity()` The number of values that this contract is over.
`TypeTuple`	`getInputTypes()` Returns the input types for this contract.
`int`	`hashCode()`
`static boolean`	`isLiteralType(java.lang.Object value, AccessibilityPredicate isAccessible)` Returns true if the value can be represented as a literal in Java source code.
`private java.lang.String`	`newArrayExpression()` Returns a Java array constructor expression for this, e.g., "new int[] {1,2,3}".
`java.lang.String`	`toCodeString()` A string that can be used as Java source code and will result in the expression being evaluated.
`java.lang.String`	`toCommentString()` A string that will be inserted as a comment in the test before the code corresponding to this contract.
`java.lang.String`	`toString()`

Methods inherited from class randoop.contract.ObjectContract
checkContract, failedContract, toStringHandleExceptions

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Field Detail
  - value
```
private java.lang.Object value
```
    The run-time result of calling the observer: an array of literals.
  - DOUBLE_DELTA
```
private static final double DOUBLE_DELTA
```
    The maximum difference for which doubles are considered equal.
    
    See Also:
    
    Constant Field Values
  - FLOAT_DELTA
```
private static final float FLOAT_DELTA
```
    The maximum difference for which floats are considered equal.
    
    See Also:
    
    Constant Field Values
  - inputTypes
```
static TypeTuple inputTypes
```
    The arguments to which this contract can be applied.
- Constructor Detail
  - ObserverEqArray
```
public ObserverEqArray(java.lang.Object value,
                       AccessibilityPredicate isAccessible)
```
    Creates a new ObserverEqArray.
    
    Parameters:
    
    value - the run-time result of calling the observer: an array of literals
    
    isAccessible - the accessibility predicate
- Method Detail
  - isLiteralType
```
public static boolean isLiteralType(java.lang.Object value,
                                    AccessibilityPredicate isAccessible)
```
    Returns true if the value can be represented as a literal in Java source code. If value is of type Enum or another class that is not built-in, an accessibility check is performed.
    
    Parameters:
    
    value - an object
    
    isAccessible - the accessibility predicate
    
    Returns:
    
    true iff the array elements are primitives, boxed primitives, Strings, Classes, accessible Enums or if the array consists of only null values
  - equals
```
public boolean equals(@Nullable java.lang.Object o)
```
    Overrides:
    
    equals in class java.lang.Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class java.lang.Object
  - toCodeString
```
public java.lang.String toCodeString()
```
    Description copied from class: ObjectContract
    
    A string that can be used as Java source code and will result in the expression being evaluated.
    The N-th object that participates in the contract check should be referred to as "xN" (for N one of 0, ... , 9). For example, if the expression of arity 2 represents a call of the equals method between two objects, the code should be something like assert x0.equals(x1);".
    The string does not contain a trailing newline. When there is a leading comment, it should start with a newline.
    
    Specified by:
    
    toCodeString in class ObjectContract
    
    Returns:
    
    the code string representation of this contract; must be non-null
  - newArrayExpression
```
private java.lang.String newArrayExpression()
```
    Returns a Java array constructor expression for this, e.g., "new int[] {1,2,3}".
    
    Returns:
    
    a Java array constructor expression for this
  - arrayComponentsToString
```
private java.lang.String arrayComponentsToString()
```
    Returns a string representation of the components of the array, enclosed in curly braces, as it would appear in Java source code.
    
    Returns:
    
    a String that represents the components of the array
  - evaluate
```
public boolean evaluate(java.lang.Object... objects)
                 throws java.lang.Throwable
```
    Description copied from class: ObjectContract
    
    Evaluates the contract on the given values. Returns false if the contract was violated. Returns true if the contract was satisfied or was not applicable.
    When calling this method during execution of a test, Randoop guarantees that objects does not contain any null objects, and that objects.length == getArity().
    
    Specified by:
    
    evaluate in class ObjectContract
    
    Parameters:
    
    objects - the actual parameters to this contract
    
    Returns:
    
    false if the contract is violated, true otherwise
    
    Throws:
    
    java.lang.Throwable - if an exception is thrown in evaluation
  - getArity
```
public int getArity()
```
    Description copied from class: ObjectContract
    
    The number of values that this contract is over.
    
    Specified by:
    
    getArity in class ObjectContract
    
    Returns:
    
    the number of arguments to the contract
  - getInputTypes
```
public TypeTuple getInputTypes()
```
    Description copied from class: ObjectContract
    
    Returns the input types for this contract.
    
    Specified by:
    
    getInputTypes in class ObjectContract
    
    Returns:
    
    the input types for this contract
  - toCommentString
```
public java.lang.String toCommentString()
```
    Description copied from class: ObjectContract
    
    A string that will be inserted as a comment in the test before the code corresponding to this contract. Occurrences of variables x0, x1, x2, etc. in the string will be replaced by actual values.
    
    Specified by:
    
    toCommentString in class ObjectContract
    
    Returns:
    
    the comment string representation of this contract
  - get_observer_str
```
public java.lang.String get_observer_str()
```
    Description copied from class: ObjectContract
    
    Returns a string describing the observer.
    
    Specified by:
    
    get_observer_str in class ObjectContract
    
    Returns:
    
    a string description of the contract
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object

Class ObserverEqArray

Field Summary

Constructor Summary

Method Summary

Methods inherited from class randoop.contract.ObjectContract

Methods inherited from class java.lang.Object

Field Detail

value

DOUBLE_DELTA

FLOAT_DELTA

inputTypes

Constructor Detail

ObserverEqArray

Method Detail

isLiteralType

equals

hashCode

toCodeString

newArrayExpression

arrayComponentsToString

evaluate

getArity

getInputTypes

toCommentString

get_observer_str

toString