diff options
| author | nsfisis <nsfisis@gmail.com> | 2024-07-10 19:30:09 +0900 |
|---|---|---|
| committer | nsfisis <nsfisis@gmail.com> | 2024-07-10 19:30:20 +0900 |
| commit | 2984d445831ebf0cd8c909f589dc203018ae2b0b (patch) | |
| tree | 465c6e304b85fcd322389dd8b530cea5acabd929 /src/Execution/Externs | |
| parent | 1011da8798ba7370d914dbce9feac1b06ab81ed5 (diff) | |
| download | php-waddiwasi-2984d445831ebf0cd8c909f589dc203018ae2b0b.tar.gz php-waddiwasi-2984d445831ebf0cd8c909f589dc203018ae2b0b.tar.zst php-waddiwasi-2984d445831ebf0cd8c909f589dc203018ae2b0b.zip | |
test: implement "register" action of WAST
Diffstat (limited to 'src/Execution/Externs')
| -rw-r--r-- | src/Execution/Externs/Func.php | 16 | ||||
| -rw-r--r-- | src/Execution/Externs/Global_.php | 16 | ||||
| -rw-r--r-- | src/Execution/Externs/Mem.php | 16 | ||||
| -rw-r--r-- | src/Execution/Externs/Table.php | 16 |
4 files changed, 64 insertions, 0 deletions
diff --git a/src/Execution/Externs/Func.php b/src/Execution/Externs/Func.php new file mode 100644 index 0000000..124309c --- /dev/null +++ b/src/Execution/Externs/Func.php @@ -0,0 +1,16 @@ +<?php + +declare(strict_types=1); + +namespace Nsfisis\Waddiwasi\Execution\Externs; + +use Nsfisis\Waddiwasi\Execution\Extern; +use Nsfisis\Waddiwasi\Execution\FuncInst; + +final readonly class Func extends Extern +{ + protected function __construct( + public FuncInst $func, + ) { + } +} diff --git a/src/Execution/Externs/Global_.php b/src/Execution/Externs/Global_.php new file mode 100644 index 0000000..ccf9ad0 --- /dev/null +++ b/src/Execution/Externs/Global_.php @@ -0,0 +1,16 @@ +<?php + +declare(strict_types=1); + +namespace Nsfisis\Waddiwasi\Execution\Externs; + +use Nsfisis\Waddiwasi\Execution\Extern; +use Nsfisis\Waddiwasi\Execution\GlobalInst; + +final readonly class Global_ extends Extern +{ + protected function __construct( + public GlobalInst $global, + ) { + } +} diff --git a/src/Execution/Externs/Mem.php b/src/Execution/Externs/Mem.php new file mode 100644 index 0000000..bd1f119 --- /dev/null +++ b/src/Execution/Externs/Mem.php @@ -0,0 +1,16 @@ +<?php + +declare(strict_types=1); + +namespace Nsfisis\Waddiwasi\Execution\Externs; + +use Nsfisis\Waddiwasi\Execution\Extern; +use Nsfisis\Waddiwasi\Execution\MemInst; + +final readonly class Mem extends Extern +{ + protected function __construct( + public MemInst $mem, + ) { + } +} diff --git a/src/Execution/Externs/Table.php b/src/Execution/Externs/Table.php new file mode 100644 index 0000000..fde1e32 --- /dev/null +++ b/src/Execution/Externs/Table.php @@ -0,0 +1,16 @@ +<?php + +declare(strict_types=1); + +namespace Nsfisis\Waddiwasi\Execution\Externs; + +use Nsfisis\Waddiwasi\Execution\Extern; +use Nsfisis\Waddiwasi\Execution\TableInst; + +final readonly class Table extends Extern +{ + protected function __construct( + public TableInst $table, + ) { + } +} |
