randoop.condition.specification

Class Identifiers

java.lang.Object

randoop.condition.specification.Identifiers

public class Identifiers
extends java.lang.Object

Contains the identifiers used in the guards and properties of the specifications in a OperationSpecification. The order of the names is significant, but the names need not match the actual declaration of the method.

The JSON serialization of this class is used to read the specifications for an operation given using the --specifications command-line option. The JSON should include a JSON object labeled by the name of each field of this class, as in

   {
     "receiverName": "receiver",
     "parameters": [
       "signalValue"
      ],
     "returnName": "result"
   }
 

Names for the receiver and return value are optional; they default to "receiver" and "result".

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<java.lang.String>	parameters The formal parameter names (not including the receiver).
private java.lang.String	receiverName The receiver name.
private java.lang.String	returnName The return value identifier.

Constructor Summary

Constructors

Constructor and Description
Identifiers() Create a Identifiers object with no parameters and the default identifiers for the receiver and return value.
Identifiers(java.util.List<java.lang.String> parameters) Create an Identifiers object with the given parameter names and the default identifiers for the receiver and return value.
Identifiers(java.lang.String receiverName, java.util.List<java.lang.String> parameters, java.lang.String returnName) Create an Identifiers object with the given names.

Method Summary

Modifier and Type	Method and Description
@Nullable java.lang.String	duplicateName() Returns an identifier name that occurs more than once in this Identifiers, or null if there are no duplicate names.
boolean	equals(@Nullable java.lang.Object object)
java.util.List<java.lang.String>	getParameterNames() Returns the parameter names in this Identifiers object.
java.lang.String	getReceiverName() Returns the identifier for the receiver object in this Identifiers object.
java.lang.String	getReturnName() Returns the identifier for the return value in this Identifiers object.
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

receiverName

private final java.lang.String receiverName

The receiver name.

parameters

private final java.util.List<java.lang.String> parameters

The formal parameter names (not including the receiver).

returnName

private final java.lang.String returnName

The return value identifier.

Constructor Detail

Identifiers

public Identifiers(java.lang.String receiverName,
                   java.util.List<java.lang.String> parameters,
                   java.lang.String returnName)

Create an Identifiers object with the given names.

Parameters:

receiverName - the receiver name

parameters - the list of identifiers for the operation formal parameters

returnName - the return name

Identifiers

public Identifiers(java.util.List<java.lang.String> parameters)

Create an Identifiers object with the given parameter names and the default identifiers for the receiver and return value.

Parameters:

parameters - the list of identifiers for the operation parameters

Identifiers

public Identifiers()

Create a Identifiers object with no parameters and the default identifiers for the receiver and return value.

Method Detail

getReceiverName

public java.lang.String getReceiverName()

Returns the identifier for the receiver object in this Identifiers object.

Returns:

the receiver name

getParameterNames

public java.util.List<java.lang.String> getParameterNames()

Returns the parameter names in this Identifiers object.

Returns:

the parameter names

getReturnName

public java.lang.String getReturnName()

Returns the identifier for the return value in this Identifiers object.

Returns:

the return value identifier

duplicateName

public @Nullable java.lang.String duplicateName()

Returns an identifier name that occurs more than once in this Identifiers, or null if there are no duplicate names.

Returns:

a name occurs more than once, or null if there are no duplicate names

equals

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

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object