Constants

Functions

lookupOp

Map an operator code to its display label. Strips the NOT flag automatically.

function lookupOp(code: number): OpInfo;

Parameters

Name	Type	Description
`code`	`number`	Operator byte value (may include the NOT flag).

Returns

OpInfo — Display metadata for the base operator.

lookupScope

Map a scope code to its display label.

Git Source

function lookupScope(code: number): ScopeInfo;

Parameters

Name	Type	Description
`code`	`number`	Scope byte value.

Returns

ScopeInfo — Display metadata for the scope.

lookupContextProperty

Map a context property code to its display label and ABI type code.

Git Source

function lookupContextProperty(code: number): ContextPropertyInfo;

Parameters

Name	Type	Description
`code`	`number`	Context property ID.

Returns

ContextPropertyInfo — Display metadata including the Solidity type code for the property value.

lookupQuantifier

Map a quantifier path step to its display label.

Git Source

function lookupQuantifier(code: number): QuantifierInfo;

Parameters

Name	Type	Description
`code`	`number`	Quantifier step value.

Returns

QuantifierInfo — Display metadata for the quantifier.

lookupTypeCode

Map a raw type code byte to its Solidity label, structural category, and dynamism.

Git Source

function lookupTypeCode(code: number): TypeCodeInfo;

Parameters

Name	Type	Description
`code`	`number`	A single-byte descriptor type code.

Returns

TypeCodeInfo — Label, type class, and whether the type is ABI-dynamic.

isQuantifier

Check whether a path step is a quantifier (ALL_OR_EMPTY, ALL, or ANY).

Git Source

function isQuantifier(step: number): boolean;

Parameters

Name	Type	Description
`step`	`number`	-

Returns

boolean

Types

Op

Callcium policy operator codes.

Git Source

TypeCode

ABI type code ranges and sentinel values for the descriptor format.

Git Source

Quantifier

Reserved path step values that trigger quantified evaluation over array elements.

Git Source

Scope

Rule scope discriminant: context (EVM environment) vs. calldata (ABI payload).

Git Source

ContextProperty

Well-known context property IDs for context-scope rules.

Git Source

Limits

Protocol-imposed safety limits for path depth and quantifier array size.

Git Source

Operands

Operand count category for operator data validation.

Git Source

OpInfo

Display metadata for an operator code.

Git Source

ScopeInfo

Display metadata for a scope code.

Git Source

ContextPropertyInfo

Display metadata for a context property code.

Git Source

QuantifierInfo

Display metadata for a quantifier step.

Git Source

TypeCodeInfo

Display metadata for a descriptor type code.

Git Source

TypeClassInfo

Structural classification without label — used by the decoder hot path.

Git Source

TypeClass

Structural category for a descriptor type code.

Git Source

On this page