Constraint

Functions

arg

Target a calldata argument by path. Each argument is a big-endian uint16 step; multiple steps navigate into nested types.

Git Source

function arg(p0: number): ConstraintBuilder;

Parameters

Returns

ConstraintBuilder

msgSender

Target the msg.sender context property.

Git Source

function msgSender(): ConstraintBuilder;

Returns

ConstraintBuilder

msgValue

Target the msg.value context property.

Git Source

function msgValue(): ConstraintBuilder;

Returns

ConstraintBuilder

blockTimestamp

Target the block.timestamp context property.

Git Source

function blockTimestamp(): ConstraintBuilder;

Returns

ConstraintBuilder

blockNumber

Target the block.number context property.

Git Source

function blockNumber(): ConstraintBuilder;

Returns

ConstraintBuilder

chainId

Target the block.chainid context property.

Git Source

function chainId(): ConstraintBuilder;

Returns

ConstraintBuilder

txOrigin

Target the tx.origin context property.

Git Source

function txOrigin(): ConstraintBuilder;

Returns

ConstraintBuilder

Types

ConstraintBuilder

Mutable builder that accumulates operators targeting a single path. Implements the Constraint interface so it can be passed directly to policy builders.

Git Source

ScalarValue

Accepted scalar value types for operator arguments.

Git Source