Package com.tnsai.metadata

Class ContractSpec.Builder

java.lang.Object

com.tnsai.metadata.ContractSpec.Builder

Enclosing class:

ContractSpec

public static final class ContractSpec.Builder
extends Object

Fluent builder for the programmatic path.

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
ContractSpec	build()
ContractSpec.Builder	invariant(String... exprs)
ContractSpec.Builder	message(String message)
ContractSpec.Builder	postcondition(String... exprs)
ContractSpec.Builder	precondition(String... exprs)
ContractSpec.Builder	strict(boolean strict)
ContractSpec.Builder	validate(boolean validate)

Methods inherited from class java.lang.Object

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

Constructor Details

Builder

public Builder()

Method Details

precondition

public ContractSpec.Builder precondition(String... exprs)

postcondition

public ContractSpec.Builder postcondition(String... exprs)

invariant

public ContractSpec.Builder invariant(String... exprs)

validate

public ContractSpec.Builder validate(boolean validate)

strict

public ContractSpec.Builder strict(boolean strict)

message

public ContractSpec.Builder message(String message)

build

public ContractSpec build()