Skip to main content
Last updated

Database operators

table-written

pact
(table-written t)
pact
(table-written t)
  • takes t: a
  • produces bool
  • where a is of type table or string

Whether a table is written in the function under analysis

Supported in properties only.

table-read

pact
(table-read t)
pact
(table-read t)
  • takes t: a
  • produces bool
  • where a is of type table or string

Whether a table is read in the function under analysis

Supported in properties only.

cell-delta

pact
(cell-delta t c r)
pact
(cell-delta t c r)
  • takes t: a
  • takes c: b
  • takes r: string
  • produces c
  • where a is of type table or string
  • where b is of type column or string
  • where c is of type integer or decimal

The difference in a cell's value before and after the transaction

Supported in properties only.

column-delta

pact
(column-delta t c)
pact
(column-delta t c)
  • takes t: a
  • takes c: b
  • produces c
  • where a is of type table or string
  • where b is of type column or string
  • where c is of type integer or decimal

The difference in a column's total summed value before and after the transaction

Supported in properties only.

column-written

pact
(column-written t c)
pact
(column-written t c)
  • takes t: a
  • takes c: b
  • produces bool
  • where a is of type table or string
  • where b is of type column or string

Whether a column is written to in a transaction

Supported in properties only.

column-read

pact
(column-read t c)
pact
(column-read t c)
  • takes t: a
  • takes c: b
  • produces bool
  • where a is of type table or string
  • where b is of type column or string

Whether a column is read from in a transaction

Supported in properties only.

row-read

pact
(row-read t r)
pact
(row-read t r)
  • takes t: a
  • takes r: string
  • produces bool
  • where a is of type table or string

Whether a row is read in the function under analysis

Supported in properties only.

row-written

pact
(row-written t r)
pact
(row-written t r)
  • takes t: a
  • takes r: string
  • produces bool
  • where a is of type table or string

Whether a row is written in the function under analysis

Supported in properties only.

row-read-count

pact
(row-read-count t r)
pact
(row-read-count t r)
  • takes t: a
  • takes r: string
  • produces integer
  • where a is of type table or string

The number of times a row is read during a transaction

Supported in properties only.

row-write-count

pact
(row-write-count t r)
pact
(row-write-count t r)
  • takes t: a
  • takes r: string
  • produces integer
  • where a is of type table or string

The number of times a row is written during a transaction

Supported in properties only.

row-exists

pact
(row-exists t r time)
pact
(row-exists t r time)
  • takes t: a
  • takes r: string
  • takes time: one of {"before","after"}
  • produces bool
  • where a is of type table or string

Whether a row exists before or after a transaction

Supported in properties only.

read

pact
(read t r)
pact
(read t r)
  • takes t: a
  • takes r: string
  • takes time: one of {"before","after"}
  • produces object
  • where a is of type table or string

The value of a read before or after a transaction

Supported in properties only.