randoop.operation

Class TypedClassOperation

java.lang.Object

randoop.operation.TypedOperation

randoop.operation.TypedClassOperation

All Implemented Interfaces:

java.lang.Comparable<TypedOperation>, Operation

Direct Known Subclasses:

TypedClassOperationWithCast

public class TypedClassOperation
extends TypedOperation

Represents a TypedOperation and its declaring class. Examples of TypedOperations that have a declaring class are a method call or field access.

Nested Class Summary

Nested classes/interfaces inherited from class randoop.operation.TypedOperation

TypedOperation.RankedTypeOperation

Field Summary

Fields

Modifier and Type	Field and Description
private ClassOrInterfaceType	declaringType The declaring type for this operation.
private @MonotonicNonNull RawSignature	rawSignature The cached value of getRawSignature().

Fields inherited from class randoop.operation.TypedOperation

compareRankedTypeOperation, inputTypes

Constructor Summary

Constructors

Constructor and Description
TypedClassOperation(CallableOperation operation, ClassOrInterfaceType declaringType, TypeTuple inputTypes, Type outputType) Creates a TypedClassOperation for a given CallableOperation indicating the signature of the operation.
TypedClassOperation(CallableOperation operation, ClassOrInterfaceType declaringType, TypeTuple inputTypes, Type outputType, ExecutableSpecification execSpec) Creates a TypedClassOperation for a given CallableOperation indicating the signature of the operation.

Method Summary

Modifier and Type	Method and Description
void	appendCode(java.util.List<Variable> inputVars, java.lang.StringBuilder b) Produces a Java source code representation of this operation and appends it to the given StringBuilder.
TypedClassOperation	applyCaptureConversion() Applies a capture conversion to the wildcard types of this operation, and returns a new operation with new type variables for the wildcard types.
boolean	equals(@Nullable java.lang.Object obj)
ClassOrInterfaceType	getDeclaringType() Returns the class in which the operation is defined.
@Nullable java.lang.String	getFullyQualifiedSignature() Returns the fully-qualified signature for this operation if it is a method or constructor call.
java.lang.String	getName() Returns the name for the operation.
TypedClassOperation	getOperationForType(ClassOrInterfaceType type) Creates an operation with the same name, input types, and output type as this operation, but having the given type as the owning class.
@Nullable RawSignature	getRawSignature() Returns the RawSignature for this operation if it is a method or constructor call.
java.util.List<TypeVariable>	getTypeParameters() Returns an empty list representing the type parameters of this.
java.lang.String	getUnqualifiedBinaryName() Returns the simple name of this operation, not qualified by the declaring class.
int	hashCode()
boolean	hasWildcardTypes() Indicates whether this operation has a type that is a wildcard type.
TypedClassOperation	substitute(Substitution substitution) Applies the given substitution to the generic types in this operation, and returns a new operation with the instantiated types.
java.lang.String	toParsableString() Returns a string representation of this Operation, which can be read by the static parse method for an Operation class.
java.lang.String	toString()

Methods inherited from class randoop.operation.TypedOperation

checkPrestate, compareTo, createArrayCreation, createArrayElementAssignment, createCast, createGetterForField, createInitializedArrayCreation, createNonreceiverInitialization, createNullOrZeroInitializationForType, createPrimitiveInitialization, createSetterForField, execute, forConstructor, forMethod, getExecutableSpecification, getInputTypes, getOperation, getOutputType, getSignatureString, getValue, isConstantField, isConstructorCall, isGeneric, isGeneric, isMessage, isMethodCall, isNonreceivingValue, isStatic, isUncheckedCast, satisfies, setExecutableSpecification

Methods inherited from class java.lang.Object

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

Field Detail

declaringType

private final ClassOrInterfaceType declaringType

The declaring type for this operation.

rawSignature

private @MonotonicNonNull RawSignature rawSignature

The cached value of getRawSignature().

Constructor Detail

TypedClassOperation

public TypedClassOperation(CallableOperation operation,
                           ClassOrInterfaceType declaringType,
                           TypeTuple inputTypes,
                           Type outputType)

Creates a TypedClassOperation for a given CallableOperation indicating the signature of the operation.

Parameters:

operation - the CallableOperation

declaringType - the declaring class type for this operation

inputTypes - the input types for the operation

outputType - the output types for the operation

TypedClassOperation

public TypedClassOperation(CallableOperation operation,
                           ClassOrInterfaceType declaringType,
                           TypeTuple inputTypes,
                           Type outputType,
                           ExecutableSpecification execSpec)

Creates a TypedClassOperation for a given CallableOperation indicating the signature of the operation.

Parameters:

operation - the CallableOperation

declaringType - the declaring class type for this operation

inputTypes - the input types for the operation

outputType - the output types for the operation

execSpec - the specification for the operation

Method Detail

equals

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

Overrides:

equals in class TypedOperation

hashCode

public int hashCode()

Overrides:

hashCode in class TypedOperation

getDeclaringType

public ClassOrInterfaceType getDeclaringType()

Returns the class in which the operation is defined.

Returns:

class to which the operation belongs

substitute

public TypedClassOperation substitute(Substitution substitution)

Applies the given substitution to the generic types in this operation, and returns a new operation with the instantiated types.

Applies the substitution to the declaring type, all input types, and the output type.

Specified by:

substitute in class TypedOperation

Parameters:

substitution - the substitution

Returns:

the operation resulting from applying the substitution to the types of this operation

applyCaptureConversion

public TypedClassOperation applyCaptureConversion()

Description copied from class: TypedOperation

Applies a capture conversion to the wildcard types of this operation, and returns a new operation with new type variables for the wildcard types.

Specified by:

applyCaptureConversion in class TypedOperation

Returns:

the operation result from applying a capture conversion to wildcard types of this operation

appendCode

public void appendCode(java.util.List<Variable> inputVars,
                       java.lang.StringBuilder b)

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

Specified by:

appendCode in class TypedOperation

Parameters:

inputVars - the list of variables that are inputs to operation

b - the StringBuilder to which code is added

toParsableString

public java.lang.String toParsableString()

Returns a string representation of this Operation, which can be read by the static parse method for an Operation class. 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 TypedOperation

Returns:

string descriptor of Operation object

toString

public java.lang.String toString()

Overrides:

toString in class TypedOperation

getName

public java.lang.String getName()

Description copied from interface: Operation

Returns the name for the operation.

Specified by:

getName in interface Operation

Overrides:

getName in class TypedOperation

Returns:

the name for this operation

getUnqualifiedBinaryName

public java.lang.String getUnqualifiedBinaryName()

Returns the simple name of this operation, not qualified by the declaring class.

Returns:

the unqualified name of this operation

hasWildcardTypes

public boolean hasWildcardTypes()

Description copied from class: TypedOperation

Indicates whether this operation has a type that is a wildcard type.

Specified by:

hasWildcardTypes in class TypedOperation

Returns:

true if at least one input or output type has a wildcard, false otherwise

getTypeParameters

public java.util.List<TypeVariable> getTypeParameters()

Description copied from class: TypedOperation

Returns an empty list representing the type parameters of this. Clients will mutate the list.

Overrides:

getTypeParameters in class TypedOperation

Returns:

an empty list representing the type parameters of this

getFullyQualifiedSignature

public @Nullable java.lang.String getFullyQualifiedSignature()

Returns the fully-qualified signature for this operation if it is a method or constructor call.

Returns:

this operation's fully qualified signature if it is a method or constructor call, null otherwise

getRawSignature

public @Nullable RawSignature getRawSignature()

Returns the RawSignature for this operation if it is a method or constructor call.

Returns:

the RawSignature of this method or constructor operation, null if this is another kind of operation

getOperationForType

public TypedClassOperation getOperationForType(ClassOrInterfaceType type)

Creates an operation with the same name, input types, and output type as this operation, but having the given type as the owning class.

Note: this is only a valid object if type has the method. This is definitely the case if type is a subtype of the declaring type of the operation, but this method does not force that check because we sometimes want to create the operation for superclasses.

Parameters:

type - a type to substitute into the operation

Returns:

an operation with type substituted for the declaring type of this operation. The returned object will be invalid if type does not have the method. The returned object may be this, if the argument is already this's declaring type.