com.google.java.contract

Interface ContractEnvironmentConfigurator

public interface ContractEnvironmentConfigurator

An object that can be called by Contracts for Java to configure the contract environment.

As the last step of its startup procedure, Contracts for Java instantiates a new object of the class specified by the system property com.google.java.contract.configurator and calls the method configure(ContractEnvironment) on it.

Method Summary

Methods

Modifier and Type	Method and Description
void	configure(ContractEnvironment contractEnv) Configures the contract environment.

Method Detail

configure

@Requires(value="contractEnv != null")
void configure(ContractEnvironment contractEnv)

Configures the contract environment. It is safe for this method to store contractEnv for later use, if needed.