diff options
| author | nsfisis <nsfisis@gmail.com> | 2024-01-27 13:22:56 +0900 |
|---|---|---|
| committer | nsfisis <nsfisis@gmail.com> | 2024-02-26 11:07:06 +0900 |
| commit | 900377463a8264871ee42e488112b076b7973b6a (patch) | |
| tree | bf727d3484ca7c8d35f18ef29ea8d9305d4b57da /src/Execution/StackEntry.php | |
| parent | e2495878b872b341e6e04eed31dd255b1a6e256f (diff) | |
| download | php-waddiwasi-900377463a8264871ee42e488112b076b7973b6a.tar.gz php-waddiwasi-900377463a8264871ee42e488112b076b7973b6a.tar.zst php-waddiwasi-900377463a8264871ee42e488112b076b7973b6a.zip | |
feat: partially implement execution
Diffstat (limited to 'src/Execution/StackEntry.php')
| -rw-r--r-- | src/Execution/StackEntry.php | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/src/Execution/StackEntry.php b/src/Execution/StackEntry.php new file mode 100644 index 0000000..8a9d7dd --- /dev/null +++ b/src/Execution/StackEntry.php @@ -0,0 +1,38 @@ +<?php + +declare(strict_types=1); + +namespace Nsfisis\Waddiwasi\Execution; + +use Nsfisis\Waddiwasi\Structure\Instructions\Instr; + +abstract readonly class StackEntry +{ + final public static function Value(Val $inner): StackEntries\Value + { + return new StackEntries\Value($inner); + } + + /** + * @param int<0, max> $arity + * @param list<Instr> $target + */ + final public static function Label( + int $arity, + array $target, + ): StackEntries\Label { + return new StackEntries\Label($arity, $target); + } + + /** + * @param int<0, max> $arity + * @param list<Val> $locals + */ + final public static function Frame( + int $arity, + array $locals, + ModuleInst $module, + ): StackEntries\Frame { + return new StackEntries\Frame($arity, $locals, $module); + } +} |
