aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/Execution/StackEntry.php
diff options
context:
space:
mode:
Diffstat (limited to 'src/Execution/StackEntry.php')
-rw-r--r--src/Execution/StackEntry.php38
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);
+ }
+}