Make compatible with PHP's pattern matching RFC

composer.json

@@ -7,7 +7,8 @@
   "keywords": ["language", "module", "xp"],
   "require" : {
     "xp-framework/core": "^12.0 | ^11.0 | ^10.0",
-    "xp-framework/compiler": "^9.0 | ^8.0",
+    "xp-framework/compiler": "^9.0",
+    "xp-framework/ast": "^11.8",
     "php" : ">=7.4.0"
   },
   "require-dev" : {

src/main/php/lang/ast/syntax/php/IsArrayStructure.class.php

@@ -0,0 +1,24 @@
+<?php namespace lang\ast\syntax\php;
+
+use lang\ast\Type;
+use util\Objects;
+
+class IsArrayStructure extends Type {
+  public $patterns, $rest;
+
+  /**
+   * Creates a array structure "type"
+   *
+   * @param  lang.ast.Type[] $patterns
+   * @param  bool $rest
+   */
+  public function __construct($patterns= [], $rest= false) {
+    $this->patterns= $patterns;
+    $this->rest= $rest;
+  }
+
+  /** @return string */
+  public function toString() {
+    return nameof($this).'('.($this->rest ? '>=' : '===').' '.Objects::stringOf($this->patterns).')';
+  }
+}

src/main/php/lang/ast/syntax/php/IsBinding.class.php

@@ -0,0 +1,23 @@
+<?php namespace lang\ast\syntax\php;
+
+use lang\ast\Type;
+
+class IsBinding extends Type {
+  public $variable;
+  public $restriction= null;
+
+  /**
+   * Creates a binding "type"
+   *
+   * @param  lang.ast.nodes.Variable $variable
+   */
+  public function __construct($variable) {
+    $this->variable= $variable;
+  }
+
+  /** @return string */
+  public function toString() {
+    $restriction= $this->restriction ? ' & '.Objects::stringOf($this->restriction) : '';
+    return nameof($this).'('.$this->variable->pointer.$restriction.')';
+  }
+}

src/main/php/lang/ast/syntax/php/IsComparison.class.php

@@ -0,0 +1,24 @@
+<?php namespace lang\ast\syntax\php;
+
+use lang\ast\Type;
+use util\Objects;
+
+class IsComparison extends Type {
+  public $value, $operator;
+
+  /**
+   * Creates a comparison "type"
+   *
+   * @param  lang.ast.Node $value
+   * @param  string $operator
+   */
+  public function __construct($value, $operator) {
+    $this->value= $value;
+    $this->operator= $operator;
+  }
+
+  /** @return string */
+  public function toString() {
+    return nameof($this).'('.$this->operator.' '.Objects::stringOf($this->value).')';
+  }
+}

src/main/php/lang/ast/syntax/php/IsCompound.class.php

@@ -0,0 +1,24 @@
+<?php namespace lang\ast\syntax\php;
+
+use lang\ast\Type;
+use util\Objects;
+
+class IsCompound extends Type {
+  public $patterns, $operator;
+
+  /**
+   * Creates a compound "type"
+   *
+   * @param  lang.ast.Type[] $patterns
+   * @param  string $operator
+   */
+  public function __construct($patterns, $operator) {
+    $this->patterns= $patterns;
+    $this->operator= $operator;
+  }
+
+  /** @return string */
+  public function toString() {
+    return nameof($this).'('.$this->operator.' '.Objects::stringOf($this->patterns).')';
+  }
+}

src/main/php/lang/ast/syntax/php/IsIdentical.class.php

@@ -0,0 +1,22 @@
+<?php namespace lang\ast\syntax\php;
+
+use lang\ast\Type;
+use util\Objects;
+
+class IsIdentical extends Type {
+  public $value;
+
+  /**
+   * Creates a identical "type"
+   *
+   * @param  lang.ast.Node $value
+   */
+  public function __construct($value) {
+    $this->value= $value;
+  }
+
+  /** @return string */
+  public function toString() {
+    return nameof($this).'('.Objects::stringOf($this->value).')';
+  }
+}

src/main/php/lang/ast/syntax/php/IsObjectStructure.class.php

@@ -0,0 +1,24 @@
+<?php namespace lang\ast\syntax\php;
+
+use lang\ast\Type;
+use util\Objects;
+
+class IsObjectStructure extends Type {
+  public $type, $patterns;
+
+  /**
+   * Creates a object structure "type"
+   *
+   * @param  lang.ast.Type $type
+   * @param  lang.ast.Type[] $patterns
+   */
+  public function __construct($type, $patterns= []) {
+    $this->type= $type;
+    $this->patterns= $patterns;
+  }
+
+  /** @return string */
+  public function toString() {
+    return nameof($this).'('.Objects::stringOf($this->type).' '.Objects::stringOf($this->patterns).')';
+  }
+}