randoop.sequence

Class Statement

java.lang.Object

randoop.sequence.Statement

public final class Statement
extends java.lang.Object

Statement represents a Java statement, such as a method call Foo f = m(i1...iN) or a declaration int x = 0. The statement's data includes an operation and the list of inputs for the operation. The inputs to the operation are variables, but are represented by indexing into the enclosing sequence.

Field Summary

Fields

Modifier and Type	Field and Description
(package private) java.util.List<Sequence.RelativeNegativeIndex>	inputs
private TypedOperation	operation The operation (method call, constructor call, primitive values declaration, etc.).

Constructor Summary

Constructors

Constructor and Description
Statement(TypedOperation operation) Creates a statement based on the given operation.
Statement(TypedOperation operation, java.util.List<Sequence.RelativeNegativeIndex> inputVariables) Create a new statement of type statement that takes as input the given values.

Method Summary

Modifier and Type	Method and Description
void	appendCode(Variable variable, java.util.List<Variable> inputs, java.lang.StringBuilder b) Adds code for the statement to the given StringBuilder.
boolean	equals(@Nullable java.lang.Object obj) equals tests whether two Statement objects are equal:
ExecutionOutcome	execute(java.lang.Object[] inputs) execute performs the operation of the statement for the input variables and returns outcome.
@Nullable Type	getDeclaringClass() getDeclaringClass returns the declaring class as defined by the Operation of the statement.
@Nullable java.lang.String	getInlinedForm() Returns a printed representation of the value as a literal, rather than as a variable reference.
TypeTuple	getInputTypes()
TypedOperation	getOperation() getTypedOperation is meant to be a temporary solution to type confusion in generators.
Type	getOutputType()
java.lang.Object	getValue() getValue returns the "value" for a statement.
int	hashCode()
boolean	isConstructorCall() isConstructorCall determines if operation for statement is a call to a constructor.
boolean	isMethodCall() isMethodCall indicates whether a statement corresponds to a method-call-like operation.
boolean	isNonreceivingInitialization() isNonreceivingInitialization determines if operation is a nonreceiver term.
boolean	isNullInitialization() isNullInitialization determines if statement represents an initialization by null value.
boolean	isStatic() isStatic indicates whether the corresponding operation is declared as static.
java.lang.String	toParsableString(java.lang.String variableName, java.util.List<Variable> inputs)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

operation

private final TypedOperation operation

The operation (method call, constructor call, primitive values declaration, etc.).

inputs

final java.util.List<Sequence.RelativeNegativeIndex> inputs

Constructor Detail

Statement

public Statement(TypedOperation operation,
                 java.util.List<Sequence.RelativeNegativeIndex> inputVariables)

Create a new statement of type statement that takes as input the given values.

Parameters:

operation - the operation of this statement

inputVariables - the variable that are used in this statement

Statement

public Statement(TypedOperation operation)

Creates a statement based on the given operation.

Parameters:

operation - the operation for action of this statement

Method Detail

equals

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

equals tests whether two Statement objects are equal:

Overrides:

equals in class java.lang.Object

Returns:

true if operation is the same, the number of inputs is the same, and inputs are equal

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

getOutputType

public Type getOutputType()

getInputTypes

public TypeTuple getInputTypes()

appendCode

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

Adds code for the statement to the given StringBuilder.

Parameters:

variable - the Variable to be used if an initialization

inputs - the input list for the operation of the statement

b - the StringBuilder to which code text is appended

See Also:

Sequence.appendCode(StringBuilder, int)

toParsableString

public java.lang.String toParsableString(java.lang.String variableName,
                                         java.util.List<Variable> inputs)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isStatic

public boolean isStatic()

isStatic indicates whether the corresponding operation is declared as static.

Returns:

result of isStatic on operation corresponding to statement

isMethodCall

public boolean isMethodCall()

isMethodCall indicates whether a statement corresponds to a method-call-like operation. This could be either a method call, an assignment/initialization involving a method call, or the use of a public field in an assignment on either lhs (as "setter") or rhs (as "getter").

Returns:

true if operation is method-call-like, and false otherwise

execute

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

execute performs the operation of the statement for the input variables and returns outcome.

Parameters:

inputs - list of objects to use as inputs to execution

Returns:

object representing outcome of computation

getDeclaringClass

public @Nullable Type getDeclaringClass()

getDeclaringClass returns the declaring class as defined by the Operation of the statement.

Returns:

result of getDeclaringClass for corresponding statement

isConstructorCall

public boolean isConstructorCall()

isConstructorCall determines if operation for statement is a call to a constructor.

Returns:

true if operation is a constructor call, and false otherwise

isNonreceivingInitialization

public boolean isNonreceivingInitialization()

isNonreceivingInitialization determines if operation is a nonreceiver term.

Returns:

true if operation is a nonreceiver, and false otherwise

isNullInitialization

public boolean isNullInitialization()

isNullInitialization determines if statement represents an initialization by null value.

Returns:

true if statement represents null initialization, and false otherwise

getInlinedForm

public @Nullable java.lang.String getInlinedForm()

Returns a printed representation of the value as a literal, rather than as a variable reference.

Returns:

string containing code for a literal value

getValue

public java.lang.Object getValue()

getValue returns the "value" for a statement. Is only meaningful if statement is an assignment of a constant value. Appeals to CallableOperation to throw appropriate exception when unable to provide a value.

This is a hack to allow randoop.main.GenBranchDir to do mutation.

Returns:

value of term in statement (rhs of assignment/initialization) if any

getOperation

public final TypedOperation getOperation()

getTypedOperation is meant to be a temporary solution to type confusion in generators. This should go away. Only intended to be called by Sequence.extend(TypedOperation, List).

Returns:

operation object in the statement