aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/Structure/Types
diff options
context:
space:
mode:
authornsfisis <nsfisis@gmail.com>2024-07-11 02:57:23 +0900
committernsfisis <nsfisis@gmail.com>2024-07-11 02:57:23 +0900
commit26f49b7e27076e689541b9e13a1b54f60a4ee5c2 (patch)
treea3762813c34a384f21ddeed630ddf333a1cc1b05 /src/Structure/Types
parent326273f20c2d7dfe3d866eb720d1bb914570e3a3 (diff)
downloadphp-waddiwasi-26f49b7e27076e689541b9e13a1b54f60a4ee5c2.tar.gz
php-waddiwasi-26f49b7e27076e689541b9e13a1b54f60a4ee5c2.tar.zst
php-waddiwasi-26f49b7e27076e689541b9e13a1b54f60a4ee5c2.zip
feat: organize namespaces
Diffstat (limited to 'src/Structure/Types')
-rw-r--r--src/Structure/Types/ExternType.php28
-rw-r--r--src/Structure/Types/ExternTypes/Func.php16
-rw-r--r--src/Structure/Types/ExternTypes/Global_.php16
-rw-r--r--src/Structure/Types/ExternTypes/Mem.php16
-rw-r--r--src/Structure/Types/ExternTypes/Table.php16
-rw-r--r--src/Structure/Types/FuncType.php20
-rw-r--r--src/Structure/Types/GlobalType.php14
-rw-r--r--src/Structure/Types/Limits.php24
-rw-r--r--src/Structure/Types/MemType.php13
-rw-r--r--src/Structure/Types/Mut.php11
-rw-r--r--src/Structure/Types/NumType.php13
-rw-r--r--src/Structure/Types/RefType.php11
-rw-r--r--src/Structure/Types/ResultType.php31
-rw-r--r--src/Structure/Types/TableType.php14
-rw-r--r--src/Structure/Types/ValType.php25
-rw-r--r--src/Structure/Types/ValTypes/NumType.php21
-rw-r--r--src/Structure/Types/ValTypes/RefType.php21
-rw-r--r--src/Structure/Types/ValTypes/VecType.php21
-rw-r--r--src/Structure/Types/VecType.php10
19 files changed, 0 insertions, 341 deletions
diff --git a/src/Structure/Types/ExternType.php b/src/Structure/Types/ExternType.php
deleted file mode 100644
index 404f755..0000000
--- a/src/Structure/Types/ExternType.php
+++ /dev/null
@@ -1,28 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-abstract readonly class ExternType
-{
- final public static function Func(FuncType $type): ExternTypes\Func
- {
- return new ExternTypes\Func($type);
- }
-
- final public static function Table(TableType $type): ExternTypes\Table
- {
- return new ExternTypes\Table($type);
- }
-
- final public static function Mem(MemType $type): ExternTypes\Mem
- {
- return new ExternTypes\Mem($type);
- }
-
- final public static function Global(GlobalType $type): ExternTypes\Global_
- {
- return new ExternTypes\Global_($type);
- }
-}
diff --git a/src/Structure/Types/ExternTypes/Func.php b/src/Structure/Types/ExternTypes/Func.php
deleted file mode 100644
index 74e9215..0000000
--- a/src/Structure/Types/ExternTypes/Func.php
+++ /dev/null
@@ -1,16 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types\ExternTypes;
-
-use Nsfisis\Waddiwasi\Structure\Types\ExternType;
-use Nsfisis\Waddiwasi\Structure\Types\FuncType;
-
-final readonly class Func extends ExternType
-{
- protected function __construct(
- public FuncType $inner,
- ) {
- }
-}
diff --git a/src/Structure/Types/ExternTypes/Global_.php b/src/Structure/Types/ExternTypes/Global_.php
deleted file mode 100644
index d88b4b2..0000000
--- a/src/Structure/Types/ExternTypes/Global_.php
+++ /dev/null
@@ -1,16 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types\ExternTypes;
-
-use Nsfisis\Waddiwasi\Structure\Types\ExternType;
-use Nsfisis\Waddiwasi\Structure\Types\GlobalType;
-
-final readonly class Global_ extends ExternType
-{
- protected function __construct(
- public GlobalType $inner,
- ) {
- }
-}
diff --git a/src/Structure/Types/ExternTypes/Mem.php b/src/Structure/Types/ExternTypes/Mem.php
deleted file mode 100644
index 3777c5c..0000000
--- a/src/Structure/Types/ExternTypes/Mem.php
+++ /dev/null
@@ -1,16 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types\ExternTypes;
-
-use Nsfisis\Waddiwasi\Structure\Types\ExternType;
-use Nsfisis\Waddiwasi\Structure\Types\MemType;
-
-final readonly class Mem extends ExternType
-{
- protected function __construct(
- public MemType $inner,
- ) {
- }
-}
diff --git a/src/Structure/Types/ExternTypes/Table.php b/src/Structure/Types/ExternTypes/Table.php
deleted file mode 100644
index 26a7675..0000000
--- a/src/Structure/Types/ExternTypes/Table.php
+++ /dev/null
@@ -1,16 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types\ExternTypes;
-
-use Nsfisis\Waddiwasi\Structure\Types\ExternType;
-use Nsfisis\Waddiwasi\Structure\Types\TableType;
-
-final readonly class Table extends ExternType
-{
- protected function __construct(
- public TableType $inner,
- ) {
- }
-}
diff --git a/src/Structure/Types/FuncType.php b/src/Structure/Types/FuncType.php
deleted file mode 100644
index e445512..0000000
--- a/src/Structure/Types/FuncType.php
+++ /dev/null
@@ -1,20 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-final readonly class FuncType
-{
- public function __construct(
- public ResultType $params,
- public ResultType $results,
- ) {
- }
-
- public function equals(FuncType $other): bool
- {
- return $this->params->equals($other->params)
- && $this->results->equals($other->results);
- }
-}
diff --git a/src/Structure/Types/GlobalType.php b/src/Structure/Types/GlobalType.php
deleted file mode 100644
index 182b761..0000000
--- a/src/Structure/Types/GlobalType.php
+++ /dev/null
@@ -1,14 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-final readonly class GlobalType
-{
- public function __construct(
- public Mut $mut,
- public ValType $valType,
- ) {
- }
-}
diff --git a/src/Structure/Types/Limits.php b/src/Structure/Types/Limits.php
deleted file mode 100644
index e2ec343..0000000
--- a/src/Structure/Types/Limits.php
+++ /dev/null
@@ -1,24 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-final readonly class Limits
-{
- /**
- * @param U32 $min
- * @param ?U32 $max
- */
- public function __construct(
- public int $min,
- public ?int $max,
- ) {
- }
-
- public function isValid(): bool
- {
- return 0 <= $this->min &&
- ($this->max === null || $this->min <= $this->max);
- }
-}
diff --git a/src/Structure/Types/MemType.php b/src/Structure/Types/MemType.php
deleted file mode 100644
index d4c9009..0000000
--- a/src/Structure/Types/MemType.php
+++ /dev/null
@@ -1,13 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-final readonly class MemType
-{
- public function __construct(
- public Limits $limits,
- ) {
- }
-}
diff --git a/src/Structure/Types/Mut.php b/src/Structure/Types/Mut.php
deleted file mode 100644
index 8b3c611..0000000
--- a/src/Structure/Types/Mut.php
+++ /dev/null
@@ -1,11 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-enum Mut
-{
- case Const;
- case Var;
-}
diff --git a/src/Structure/Types/NumType.php b/src/Structure/Types/NumType.php
deleted file mode 100644
index 28b6d80..0000000
--- a/src/Structure/Types/NumType.php
+++ /dev/null
@@ -1,13 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-enum NumType
-{
- case I32;
- case I64;
- case F32;
- case F64;
-}
diff --git a/src/Structure/Types/RefType.php b/src/Structure/Types/RefType.php
deleted file mode 100644
index 0d40d86..0000000
--- a/src/Structure/Types/RefType.php
+++ /dev/null
@@ -1,11 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-enum RefType
-{
- case FuncRef;
- case ExternRef;
-}
diff --git a/src/Structure/Types/ResultType.php b/src/Structure/Types/ResultType.php
deleted file mode 100644
index 623ca3e..0000000
--- a/src/Structure/Types/ResultType.php
+++ /dev/null
@@ -1,31 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-use function count;
-
-final readonly class ResultType
-{
- /**
- * @param list<ValType> $types
- */
- public function __construct(
- public array $types,
- ) {
- }
-
- public function equals(ResultType $other): bool
- {
- if (count($this->types) !== count($other->types)) {
- return false;
- }
- foreach ($this->types as $i => $type) {
- if (!$type->equals($other->types[$i])) {
- return false;
- }
- }
- return true;
- }
-}
diff --git a/src/Structure/Types/TableType.php b/src/Structure/Types/TableType.php
deleted file mode 100644
index 619ad25..0000000
--- a/src/Structure/Types/TableType.php
+++ /dev/null
@@ -1,14 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-final readonly class TableType
-{
- public function __construct(
- public Limits $limits,
- public RefType $refType,
- ) {
- }
-}
diff --git a/src/Structure/Types/ValType.php b/src/Structure/Types/ValType.php
deleted file mode 100644
index bf072e2..0000000
--- a/src/Structure/Types/ValType.php
+++ /dev/null
@@ -1,25 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-abstract readonly class ValType
-{
- final public static function NumType(NumType $type): ValTypes\NumType
- {
- return new ValTypes\NumType($type);
- }
-
- final public static function VecType(VecType $type): ValTypes\VecType
- {
- return new ValTypes\VecType($type);
- }
-
- final public static function RefType(RefType $type): ValTypes\RefType
- {
- return new ValTypes\RefType($type);
- }
-
- abstract public function equals(ValType $other): bool;
-}
diff --git a/src/Structure/Types/ValTypes/NumType.php b/src/Structure/Types/ValTypes/NumType.php
deleted file mode 100644
index fcaa7e3..0000000
--- a/src/Structure/Types/ValTypes/NumType.php
+++ /dev/null
@@ -1,21 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types\ValTypes;
-
-use Nsfisis\Waddiwasi\Structure\Types\NumType as OrigNumType;
-use Nsfisis\Waddiwasi\Structure\Types\ValType;
-
-final readonly class NumType extends ValType
-{
- protected function __construct(public OrigNumType $inner)
- {
- }
-
- public function equals(ValType $other): bool
- {
- return $other instanceof self
- && $this->inner === $other->inner;
- }
-}
diff --git a/src/Structure/Types/ValTypes/RefType.php b/src/Structure/Types/ValTypes/RefType.php
deleted file mode 100644
index fc48dfb..0000000
--- a/src/Structure/Types/ValTypes/RefType.php
+++ /dev/null
@@ -1,21 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types\ValTypes;
-
-use Nsfisis\Waddiwasi\Structure\Types\RefType as OrigRefType;
-use Nsfisis\Waddiwasi\Structure\Types\ValType;
-
-final readonly class RefType extends ValType
-{
- protected function __construct(public OrigRefType $inner)
- {
- }
-
- public function equals(ValType $other): bool
- {
- return $other instanceof self
- && $this->inner === $other->inner;
- }
-}
diff --git a/src/Structure/Types/ValTypes/VecType.php b/src/Structure/Types/ValTypes/VecType.php
deleted file mode 100644
index a28081f..0000000
--- a/src/Structure/Types/ValTypes/VecType.php
+++ /dev/null
@@ -1,21 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types\ValTypes;
-
-use Nsfisis\Waddiwasi\Structure\Types\ValType;
-use Nsfisis\Waddiwasi\Structure\Types\VecType as OrigVecType;
-
-final readonly class VecType extends ValType
-{
- protected function __construct(public OrigVecType $inner)
- {
- }
-
- public function equals(ValType $other): bool
- {
- return $other instanceof self
- && $this->inner === $other->inner; // @phpstan-ignore-line
- }
-}
diff --git a/src/Structure/Types/VecType.php b/src/Structure/Types/VecType.php
deleted file mode 100644
index ae8a0f6..0000000
--- a/src/Structure/Types/VecType.php
+++ /dev/null
@@ -1,10 +0,0 @@
-<?php
-
-declare(strict_types=1);
-
-namespace Nsfisis\Waddiwasi\Structure\Types;
-
-enum VecType
-{
- case V128;
-}