diff options
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); + } +} |
