Constants
Protocol constants, enums, and lookup helpers.
Functions
lookupOp
Map an operator code to its display label. Strips the NOT flag automatically. A context source adds ctx.
function lookupOp(code: number): OpInfo;Parameters
| Name | Type | Description |
|---|---|---|
code | number | Operator byte value (can include the NOT flag). |
Returns
OpInfo — Display metadata for the base operator.
lookupScope
Map a scope code to its display label.
function lookupScope(code: number): ScopeInfo;Parameters
| Name | Type | Description |
|---|---|---|
code | number | Scope byte value. |
Returns
ScopeInfo — Display metadata for the scope.
lookupQuantifier
Map a loop quantifier code to its display label.
function lookupQuantifier(code: number): QuantifierInfo;Parameters
| Name | Type | Description |
|---|---|---|
code | number | Quantifier byte value. |
Returns
QuantifierInfo — Display metadata for the quantifier.
lookupContextProperty
Map a context property code to its display label and ABI type code.
function lookupContextProperty(code: number): ContextPropertyInfo;Parameters
| Name | Type | Description |
|---|---|---|
code | number | Context property ID. |
Returns
ContextPropertyInfo — Display metadata including the ABI type code for the property value.
lookupTypeCode
Map a raw type code byte to its ABI type label, structural category, and dynamism.
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 code alone implies ABI dynamism (false for tuples and static arrays).
Types
Op
Callcium policy operator codes, with the NOT flag and the operand source fields.
Source
Operand source: constant values, or a context property.
TypeCode
ABI type code ranges and sentinel values for the descriptor format.
Scope
Rule scope discriminant: context (EVM environment), calldata (ABI payload) or loop (array elements).
LoopQuantifier
Loop quantifier: the body holds for every element (ALL) or for some element (ANY).
ContextProperty
Well-known context property IDs for context-scope rules.
Operands
Operand count category of an operator.
OpInfo
Display metadata for an operator code.
ScopeInfo
Display metadata for a scope code.
QuantifierInfo
Display metadata for a loop quantifier code.
ContextPropertyInfo
Display metadata for a context property code.
ComparisonCode
A defined comparison code.
ScopeCode
A defined scope code.
QuantifierCode
A defined loop quantifier code.
TypeCodeInfo
Display metadata for a descriptor type code.
TypeClassInfo
Structural classification without label.
TypeClass
Structural category for a descriptor type code.