aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/Execution/StackEntry.php
diff options
context:
space:
mode:
authornsfisis <nsfisis@gmail.com>2024-01-27 13:22:56 +0900
committernsfisis <nsfisis@gmail.com>2024-02-26 11:07:06 +0900
commit900377463a8264871ee42e488112b076b7973b6a (patch)
treebf727d3484ca7c8d35f18ef29ea8d9305d4b57da /src/Execution/StackEntry.php
parente2495878b872b341e6e04eed31dd255b1a6e256f (diff)
downloadphp-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.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);
+ }
+}