randoop.operation

Class InitializedArrayCreation

java.lang.Object

randoop.operation.CallableOperation

randoop.operation.InitializedArrayCreation

All Implemented Interfaces:

Operation

public final class InitializedArrayCreation
extends CallableOperation

InitializedArrayCreation is an Operation representing the construction of a one-dimensional array with a given element type and length. The InitializedArrayCreation operation requires a list of elements in an initializer. For instance, new int[2] is the InitializedArrayCreation in the initialization
int[] x = new int[2] { 3, 7 };
with the initializer list as inputs.

In terms of the notation used for the Operation class, a creation of an array of elements of type e with length n has a signature [ e,...,e] → t, where [e,...,e] is a list of length n, and t is the array type.

InitializedArrayCreation objects are immutable.

Field Summary

Fields

Modifier and Type	Field and Description
private Type	elementType
private int	length

Constructor Summary

Constructors

Constructor and Description
InitializedArrayCreation(ArrayType arrayType, int length) Creates an object representing the construction of an array that holds values of the element type and has the given length.

Method Summary

Modifier and Type	Method and Description
void	appendCode(Type declaringType, TypeTuple inputTypes, Type outputType, java.util.List<Variable> inputVars, java.lang.StringBuilder b) Produces a Java source code representation of this statement and appends it to the given StringBuilder.
boolean	equals(@Nullable java.lang.Object o)
ExecutionOutcome	execute(java.lang.Object[] statementInput) Performs this operation using the array of input values.
int	getLength() Returns the length of created array.
java.lang.String	getName() Returns the name for the operation.
int	hashCode()
static TypedOperation	parse(java.lang.String str) Parses an array declaration in a string descriptor in the form generated by toParsableString(Type, TypeTuple, Type).
java.lang.String	toParsableString(Type declaringType, TypeTuple inputTypes, Type outputType) Returns a string representation of this Operation (not an invocation of this Operation), which can be read by the static parse method for the class in which the method is defined.
java.lang.String	toString()

Methods inherited from class randoop.operation.CallableOperation

getArgumentString, getReflectionObject, getValue, isConstantField, isConstructorCall, isMessage, isMethodCall, isNonreceivingValue, isStatic, isUncheckedCast, satisfies

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

length

private final int length

elementType

private final Type elementType

Constructor Detail

InitializedArrayCreation

InitializedArrayCreation(ArrayType arrayType,
                         int length)

Creates an object representing the construction of an array that holds values of the element type and has the given length.

Parameters:

length - number of objects allowed in the array

arrayType - the type of array this operation creates

Method Detail

getLength

public int getLength()

Returns the length of created array.

Returns:

length of array created by this object

execute

public ExecutionOutcome execute(java.lang.Object[] statementInput)

Performs this operation using the array of input values. Returns the results of execution as an ResultOrException object and can output results to specified PrintStream.

Specified by:

execute in class CallableOperation

Parameters:

statementInput - array containing appropriate inputs to operation

Returns:

NormalExecution object containing constructed array

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

appendCode

public void appendCode(Type declaringType,
                       TypeTuple inputTypes,
                       Type outputType,
                       java.util.List<Variable> inputVars,
                       java.lang.StringBuilder b)

Produces a Java source code representation of this statement and appends it to the given StringBuilder.

Specified by:

appendCode in class CallableOperation

Parameters:

declaringType - the declaring type for this operation

inputTypes - the input types for this operation

outputType - the output type for this operation

inputVars - the list of variables that are inputs to operation

b - the StringBuilder to which code is added

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(@Nullable java.lang.Object o)

Overrides:

equals in class java.lang.Object

toParsableString

public java.lang.String toParsableString(Type declaringType,
                                         TypeTuple inputTypes,
                                         Type outputType)

Returns a string representation of this Operation (not an invocation of this Operation), which can be read by the static parse method for the class in which the method is defined. For a class C implementing the Operation interface, this method should return a String s such that parsing the string returns an object equivalent to this object, i.e. C.parse(this.s).equals(this).

Creates string of the form TYPE[NUMELEMS] where TYPE is the type of the array, and NUMELEMS is the number of elements.

Example: int[3]

Specified by:

toParsableString in class CallableOperation

Parameters:

declaringType - the declaring type for this operation

inputTypes - the input types for this operation

outputType - the output type for this operation

Returns:

string descriptor for array creation

getName

public java.lang.String getName()

Description copied from interface: Operation

Returns the name for the operation.

Returns:

the name for this operation

parse

public static TypedOperation parse(java.lang.String str)
                            throws OperationParseException

Parses an array declaration in a string descriptor in the form generated by toParsableString(Type, TypeTuple, Type).

Parameters:

str - the string to be parsed for the InitializedArrayCreation

Returns:

the array creation for the given string descriptor

Throws:

OperationParseException - if string does not have expected form

See Also:

OperationParser.parse(String)