odcs.OdcsContract

An ODCS contract as read gives it.

Usage

odcs.OdcsContract(
    document,
    tables=dict(),
    unread=list(),
)

Attributes

document: dict[str, Any]: The document as read.
tables: dict[str, list[Condition]]: The conditions sverify reads, per schema object, in the document’s order.
unread: list[Unread]: The rules sverify cannot read, with the reason.

Name	Description
conditions()	The conditions on schema object table (the only one by default),
schema()	The columns of schema object table and their types: the

The conditions on schema object table (the only one by default),

Usage

conditions(table=None)

for requires={"orders": ...} or ensures=....

table: str | None = None: The schema object’s name. Default: the contract’s only one.

list[Condition]: The conditions: SQL strings, sv.unique, sv.key,
sv.max_rows, sv.rows_per and sv.references.

The columns of schema object table and their types: the

Usage

schema(table=None)

physical type where DuckDB reads it, else the logical type.

table: str | None = None: The schema object’s name. Default: the contract’s only one.