org.obligate.annotations.contract.proxy
Interface ContractVariables

All Known Implementing Classes:

ContractProxy, DirectContractProxy, IndirectContractProxy

public interface ContractVariables

Field Summary

static java.lang.String	POSTCONDITION_ID
static java.lang.String	PRECONDITION_ID

Field Detail

PRECONDITION_ID

static final java.lang.String PRECONDITION_ID

See Also:

Constant Field Values

POSTCONDITION_ID

static final java.lang.String POSTCONDITION_ID

See Also:

Constant Field Values