randoop.contract

Class ObjectContractUtils

java.lang.Object

randoop.contract.ObjectContractUtils

public class ObjectContractUtils
extends java.lang.Object

Utility methods for safely executing and printing ObjectContract code.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ObjectContractUtils()

Method Summary

Modifier and Type	Method and Description
static ExecutionOutcome	execute(ObjectContract c, java.lang.Object... objs) Executes the given contract via reflection.
static java.lang.String	localizeContractCode(java.lang.String str, Variable... vars) Replace dummy variables such as "x0" in the code by their real names.

Methods inherited from class java.lang.Object

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

Constructor Detail

ObjectContractUtils

private ObjectContractUtils()

Method Detail

execute

public static ExecutionOutcome execute(ObjectContract c,
                                       java.lang.Object... objs)

Executes the given contract via reflection.

Parameters:

c - the contract to execute

objs - the list of values to substitute for variables

Returns:

the outcome from the execution

localizeContractCode

public static java.lang.String localizeContractCode(java.lang.String str,
                                                    Variable... vars)

Replace dummy variables such as "x0" in the code by their real names.

Parameters:

str - the contract code as a string with dummy variables

vars - list of Variable objects

Returns:

the contract code with actual variable names substituted for dummy names