Uses of Class
com.tnsai.metadata.ContractSpec.Builder

Packages that use ContractSpec.Builder

Package	Description
com.tnsai.metadata	Metadata extraction and representation for actions, tools, and roles.

Uses of ContractSpec.Builder in com.tnsai.metadata

Methods in com.tnsai.metadata that return ContractSpec.Builder

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