randoop.operation

Class UncheckedCast

java.lang.Object

randoop.operation.CallableOperation

randoop.operation.UncheckedCast

All Implemented Interfaces:

Operation

class UncheckedCast
extends CallableOperation

An Operation to perform an explicit cast. NOTE: there is no actual checking of the types being done. This operation is only used in contexts where the cast is known to be unchecked.

Field Summary

Fields

Modifier and Type	Field and Description
private Type	type The result type of the cast.

Constructor Summary

Constructors

Constructor and Description
UncheckedCast(Type type) Creates an operation that performs a cast.

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.
ExecutionOutcome	execute(java.lang.Object[] input) Performs this operation using the array of input values.
java.lang.String	getName() Returns the name for the operation.
boolean	isUncheckedCast() Predicate to indicate whether this object represents an unchecked cast.
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.

Methods inherited from class randoop.operation.CallableOperation

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

type

private final Type type

The result type of the cast.

Constructor Detail

UncheckedCast

UncheckedCast(Type type)

Creates an operation that performs a cast. Intended for use in generated sequences where an unchecked cast is needed.

Parameters:

type - the cast type

Method Detail

execute

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

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.

Performs this cast on the first value of the input array.

Specified by:

execute in class CallableOperation

Parameters:

input - array containing appropriate inputs to operation

Returns:

the value cast to the type of this cast

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.

Appends the code for this cast applied to the given input 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

isUncheckedCast

public boolean isUncheckedCast()

Description copied from interface: Operation

Predicate to indicate whether this object represents an unchecked cast.

Specified by:

isUncheckedCast in interface Operation

Overrides:

isUncheckedCast in class CallableOperation

Returns:

true if the this object is a cast, and false otherwise

toParsableString

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

Description copied from class: CallableOperation

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

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:

a string representation of this operation

getName

public java.lang.String getName()

Description copied from interface: Operation

Returns the name for the operation.

Returns:

the name for this operation