aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/Execution/StackEntries/Frame.php
blob: c1a876edd01427178a1a145ada2d402d2470aeb6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
<?php

declare(strict_types=1);

namespace Nsfisis\Waddiwasi\Execution\StackEntries;

use Nsfisis\Waddiwasi\Execution\ModuleInst;
use Nsfisis\Waddiwasi\Execution\StackEntry;
use Nsfisis\Waddiwasi\Execution\Val;

final class Frame extends StackEntry
{
    /**
     * @param int<0, max> $arity
     * @param list<Val> $locals
     */
    public function __construct(
        public readonly int $arity,
        public array $locals,
        public readonly ModuleInst $module,
    ) {
    }
}