Package randoop.operation

Class FieldGet

java.lang.Object

randoop.operation.CallableOperation

randoop.operation.FieldGet

All Implemented Interfaces:

Operation

public class FieldGet
extends CallableOperation

FieldGetter is an adapter that creates a Operation from a AccessibleField and behaves like a getter for the field.

See Also:

AccessibleField

Field Summary

Fields

Modifier and Type	Field	Description
private AccessibleField	field

Constructor Summary

Constructors

Constructor	Description
FieldGet(AccessibleField field)	FieldGetter sets the public field for the getter statement.

Method Summary

Modifier and Type	Method	Description
void	appendCode(Type declaringType, TypeTuple inputTypes, Type outputType, List<Variable> inputVars, StringBuilder b)	Adds the text for an initialization of a variable from a field to the StringBuilder.
boolean	equals(Object obj)
ExecutionOutcome	execute(Object[] statementInput)	Performs computation of getting value of field or capturing thrown exceptions.
String	getName()	Returns the name for the operation.
int	hashCode()
boolean	isConstantField()	Predicate to indicate whether this object represents a constant field.
boolean	isMessage()	Predicate to indicate whether object represents a method-call-like operation (either static or instance).
boolean	isStatic()	Predicate to indicate whether object represents a static operation on the declaring class.
static TypedOperation	parse(String descr)	Parses a getter for a field from a string.
boolean	satisfies(ReflectionPredicate reflectionPredicate)	Determines whether enclosed Field satisfies the given predicate.
String	toParsableString(Type declaringType, TypeTuple inputTypes, Type outputType)	Returns string descriptor for field that can be parsed by PublicFieldParser.
String	toString()

Methods inherited from class randoop.operation.CallableOperation

getArgumentString, getReflectionObject, getValue, isConstructorCall, isMethodCall, isNonreceivingValue, isUncheckedCast

Methods inherited from class java.lang.Object

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

Field Detail

field

private AccessibleField field

Constructor Detail

FieldGet

public FieldGet(AccessibleField field)

FieldGetter sets the public field for the getter statement.

Parameters:

field - the AccessibleField object from which to get values

Method Detail

execute

public ExecutionOutcome execute(Object[] statementInput)

Performs computation of getting value of field or capturing thrown exceptions. Exceptions should only be NullPointerException, which happens when input is null but field is an instance field. AccessibleField.getValue(Object) suppresses exceptions that occur because field is not valid or accessible.

Specified by:

execute in class CallableOperation

Parameters:

statementInput - the inputs for statement

Returns:

outcome of access

Throws:

RandoopBug - if field access throws bug exception

SequenceExecutionException - if field access has a type exception

appendCode

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

Adds the text for an initialization of a variable from a field to the StringBuilder.

Specified by:

appendCode in class CallableOperation

Parameters:

inputVars - the list of variables to be used

b - the StringBuilder that strings are appended to

declaringType - the declaring type for this operation

inputTypes - the input types for this operation

outputType - the output type for this operation

toParsableString

public String toParsableString(Type declaringType,
                               TypeTuple inputTypes,
                               Type outputType)

Returns string descriptor for field that can be parsed by PublicFieldParser.

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

toString

public String toString()

Overrides:

toString in class Object

getName

public String getName()

Description copied from interface: Operation

Returns the name for the operation.

Returns:

the name for this operation

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

parse

public static TypedOperation parse(String descr)
                            throws OperationParseException

Parses a getter for a field from a string. A getter description has the form "<get>( field-descriptor )" where "<get>" is literal ("<" and ">" included), and field-descriptor is as recognized by

Parameters:

descr - the string containing descriptor of getter for a field

Returns:

the getter operation for the given string descriptor

Throws:

OperationParseException - if any error in descriptor string

isStatic

public boolean isStatic()

Description copied from interface: Operation

Predicate to indicate whether object represents a static operation on the declaring class.

Specified by:

isStatic in interface Operation

Overrides:

isStatic in class CallableOperation

Returns:

true if operation corresponds to static method or field of a class, and false otherwise

isConstantField

public boolean isConstantField()

Description copied from interface: Operation

Predicate to indicate whether this object represents a constant field.

Specified by:

isConstantField in interface Operation

Overrides:

isConstantField in class CallableOperation

Returns:

true if this operation is a constant field, and false otherwise

isMessage

public boolean isMessage()

Predicate to indicate whether object represents a method-call-like operation (either static or instance). This includes field getters and setters, which are operations that access fields.

Specified by:

isMessage in interface Operation

Overrides:

isMessage in class CallableOperation

Returns:

true, always

satisfies

public boolean satisfies(ReflectionPredicate reflectionPredicate)

Determines whether enclosed Field satisfies the given predicate.

Specified by:

satisfies in interface Operation

Overrides:

satisfies in class CallableOperation

Parameters:

reflectionPredicate - the ReflectionPredicate to be checked

Returns:

true only if the field used in this getter satisfies predicate.canUse