View this page as Markdown

execute_call

Builds one raw EVM call step for ordered, non-atomic PROGRAM execution.

Example

Local

WITH actors AS (
  SELECT
    '0x1000000000000000000000000000000000000001'::ADDRESS AS sender,
    '0x2000000000000000000000000000000000000002'::ADDRESS AS writer,
    '0x3000000000000000000000000000000000000003'::ADDRESS AS second_target
),
step_values AS (
  SELECT [
    execute_call(
      sender,
      writer,
      '0x000000000000000000000000000000000000000000000000000000000000002a'::BYTES,
      1::UINT256,
      100000::UBIGINT
    ),
    execute_contract(
      sender,
      second_target,
      0::UINT256,
      100000::UBIGINT,
      '[{"type":"function","name":"set","inputs":[{"name":"value","type":"uint256"}],"outputs":[]}]'::JSON,
      'set'::VARCHAR,
      7::UINT256
    )
  ] AS steps
  FROM actors
),
authored AS (
  SELECT steps, program(steps) AS program
  FROM step_values
)
SELECT
  len(steps)::INTEGER AS step_count,
  'raw,abi'::VARCHAR AS step_order,
  program IS NOT NULL AS runnable
FROM authored;
-- => [{"step_count":2,"step_order":"raw,abi","runnable":"true"}]

API reference

Exact signatures with descriptions, requirements, inputs, returns, and examples.

execute_call(ADDRESS, ADDRESS, BYTES, UINT256, UBIGINT) #

Builds one raw EVM call step for ordered, non-atomic PROGRAM execution.

Inputs

Name Type Use
sender ADDRESS

Account exposed as the call sender.

 required positional
target ADDRESS

Account or contract called by the step.

 required positional
calldata BYTES

Exact non-NULL bytes passed to the target.

 required positional
value UINT256

Exact UINT256 native-token value, in Wei, sent by the call.

 required positional
gas_limit UBIGINT

UBIGINT gas limit; values greater than INT64_MAX are rejected.

 required positional

Returns

Name Type
step STEP

Raw call STEP. Returns a STEP with zero gas price and empty access-list and blob-hash context.

Guidance

PROGRAM execution

PROGRAM executes steps in list order without atomic rollback and stops after the first unsuccessful step.

Additional overloads

execute_call(ADDRESS, ADDRESS, BYTES, UINT256, UBIGINT, CALL_CONTEXT) #

Builds one raw EVM call step with explicit CALL_CONTEXT for ordered, non-atomic PROGRAM execution.

Inputs

NameTypeUse
senderADDRESS

Account exposed as the call sender.

requiredpositional
targetADDRESS

Account or contract called by the step.

requiredpositional
calldataBYTES

Exact non-NULL bytes passed to the target.

requiredpositional
valueUINT256

Exact UINT256 native-token value, in Wei, sent by the call.

requiredpositional
gas_limitUBIGINT

UBIGINT gas limit; values greater than INT64_MAX are rejected.

requiredpositional
Showing fewer

Returns

Name Type
step STEP

Contextual raw call STEP. Returns a STEP carrying the supplied CALL_CONTEXT.

Examples

Local SQL 

WITH actors AS (
  SELECT
    '0x1000000000000000000000000000000000000001'::ADDRESS AS sender,
    '0x2000000000000000000000000000000000000002'::ADDRESS AS writer,
    '0x3000000000000000000000000000000000000003'::ADDRESS AS second_target
),
inputs AS (
  SELECT
    *,
    call_context(
      1::UINT256,
      [{
        address: writer,
        storage_keys: [
          '0x0000000000000000000000000000000000000000000000000000000000000000'::BYTES32
        ]
      }],
      []::BYTES32[]
    ) AS context
  FROM actors
),
step_values AS (
  SELECT [
    execute_call(
      sender,
      writer,
      '0x000000000000000000000000000000000000000000000000000000000000002a'::BYTES,
      1::UINT256,
      100000::UBIGINT,
      context
    ),
    execute_contract(
      sender,
      second_target,
      0::UINT256,
      100000::UBIGINT,
      context,
      '[{"type":"function","name":"set","inputs":[{"name":"value","type":"uint256"}],"outputs":[]}]'::JSON,
      'set'::VARCHAR,
      7::UINT256
    )
  ] AS steps
  FROM inputs
),
authored AS (
  SELECT steps, program(steps) AS program
  FROM step_values
)
SELECT
  len(steps)::INTEGER AS step_count,
  'raw,abi'::VARCHAR AS step_order,
  program IS NOT NULL AS runnable
FROM authored;
-- => [{"step_count":2,"step_order":"raw,abi","runnable":"true"}]

Related functions

Category and tags

Category
Simulation
Tag
Simulate