randoop.test

Class ContractSet

java.lang.Object

randoop.test.ContractSet

public class ContractSet
extends java.lang.Object

Manages the set of ObjectContract objects. Contracts are organized by arity.

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<java.util.List<ObjectContract>>	contractMap Each element is a list of all contracts of that arity.

Constructor Summary

Constructors

Constructor and Description
ContractSet()

Method Summary

Modifier and Type	Method and Description
void	add(ObjectContract contract) Adds a contract to this set.
java.util.List<ObjectContract>	getWithArity(int arity) Returns the list of contracts with the given arity.
boolean	isEmpty()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

contractMap

private final java.util.List<java.util.List<ObjectContract>> contractMap

Each element is a list of all contracts of that arity. For example, the element at index 2 is a list of contracts of arity 2. Used only for containment check.

Constructor Detail

ContractSet

public ContractSet()

Method Detail

getWithArity

public java.util.List<ObjectContract> getWithArity(int arity)

Returns the list of contracts with the given arity.

Parameters:

arity - the arity

Returns:

the list of contracts with the given arity

add

public void add(ObjectContract contract)

Adds a contract to this set.

Parameters:

contract - the contract

isEmpty

public boolean isEmpty()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object