aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/WebAssembly/Validation/Context.php
diff options
context:
space:
mode:
authornsfisis <nsfisis@gmail.com>2026-02-21 23:22:25 +0900
committernsfisis <nsfisis@gmail.com>2026-02-21 23:22:35 +0900
commit39e6c4bfb1f3fb96bba47e3eec8e6451038a3d22 (patch)
tree619472dd31a38ae277299495d0ff213e31093dfb /src/WebAssembly/Validation/Context.php
parent2bea3784061a33870d4678af011ffc6fc73c6ad3 (diff)
downloadphp-waddiwasi-39e6c4bfb1f3fb96bba47e3eec8e6451038a3d22.tar.gz
php-waddiwasi-39e6c4bfb1f3fb96bba47e3eec8e6451038a3d22.tar.zst
php-waddiwasi-39e6c4bfb1f3fb96bba47e3eec8e6451038a3d22.zip
feat: implement validation phaseHEADmain
Diffstat (limited to 'src/WebAssembly/Validation/Context.php')
-rw-r--r--src/WebAssembly/Validation/Context.php42
1 files changed, 42 insertions, 0 deletions
diff --git a/src/WebAssembly/Validation/Context.php b/src/WebAssembly/Validation/Context.php
new file mode 100644
index 0000000..e63fb0d
--- /dev/null
+++ b/src/WebAssembly/Validation/Context.php
@@ -0,0 +1,42 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Nsfisis\Waddiwasi\WebAssembly\Validation;
+
+use Nsfisis\Waddiwasi\WebAssembly\Structure\Types\FuncType;
+use Nsfisis\Waddiwasi\WebAssembly\Structure\Types\GlobalType;
+use Nsfisis\Waddiwasi\WebAssembly\Structure\Types\MemType;
+use Nsfisis\Waddiwasi\WebAssembly\Structure\Types\TableType;
+use Nsfisis\Waddiwasi\WebAssembly\Structure\Types\ValType;
+
+final readonly class Context
+{
+ /**
+ * @param list<FuncType> $types
+ * @param list<FuncType> $funcs
+ * @param list<TableType> $tables
+ * @param list<MemType> $mems
+ * @param list<GlobalType> $globals
+ * @param list<ValType> $elems
+ * @param list<bool> $datas
+ * @param list<ValType> $locals
+ * @param list<list<ValType>> $labels
+ * @param list<ValType> $return
+ * @param list<int> $refs
+ */
+ public function __construct(
+ public array $types,
+ public array $funcs,
+ public array $tables,
+ public array $mems,
+ public array $globals,
+ public array $elems,
+ public array $datas,
+ public array $locals,
+ public array $labels,
+ public array $return,
+ public array $refs,
+ ) {
+ }
+}