init

Author: JanTvrdik

.gitignore

@@ -0,0 +1,2 @@
+/vendor
+/composer.lock

composer.json

@@ -0,0 +1,7 @@
+{
+	"name": "phpstan/type-parser",
+	"license": "MIT",
+	"autoload": {
+		"classmap": ["src"]
+	}
+}

doc/grammer.ebnf

@@ -0,0 +1,28 @@
+Type
+  ::= Atomic (Union | Intersection)?
+    | Complement
+
+Union
+  ::= ('|' Atomic)+
+
+Intersection
+  ::= ('&' Atomic)+
+
+Complement
+  ::= '~' Atomic
+
+Atomic
+  ::= Identifier (Generic | Array)?
+    | '(' Type ')' Array?
+
+Generic
+  ::= '<' Type (',' Type)* '>'
+
+Array
+  ::= ('[' ']')+
+
+Identifier
+  ::= ('\'? Word)+
+
+Word
+  ::= [a-zA-Z_#x7F-#x10FFFF][0-9a-zA-Z_#x7F-#x10FFFF]*

doc/grammer.peg

@@ -0,0 +1,28 @@
+Type
+  = Atomic (Union / Intersection)?
+  / Complement
+
+Union
+  = ('|' Atomic)+
+
+Intersection
+  = ('&' Atomic)+
+
+Complement
+  = '~' Atomic
+
+Atomic
+  = Identifier (Generic / Array)?
+  / '(' Type ')' Array?
+
+Generic
+  = '<' Type (',' Type)* '>'
+
+Array
+  = ('[' ']')+
+
+Identifier
+  = ('\'? Word)+
+
+Word
+  = [a-zA-Z_\127-\255\\][a-zA-Z0-9_\127-\255\\]*

src/Ast/ArrayNode.php

@@ -0,0 +1,22 @@
+<?php declare(strict_types = 1);
+
+namespace PhpStan\TypeParser\Ast;
+
+
+class ArrayNode implements Node
+{
+	/** @var Node */
+	public $type;
+
+
+	public function __construct(Node $type)
+	{
+		$this->type = $type;
+	}
+
+
+	public function __toString(): string
+	{
+		return $this->type . '[]';
+	}
+}

src/Ast/ComplementNode.php

@@ -0,0 +1,22 @@
+<?php declare(strict_types = 1);
+
+namespace PhpStan\TypeParser\Ast;
+
+
+class ComplementNode implements Node
+{
+	/** @var Node */
+	public $type;
+
+
+	public function __construct(Node $type)
+	{
+		$this->type = $type;
+	}
+
+
+	public function __toString(): string
+	{
+		return '~' . $this->type;
+	}
+}

src/Ast/GenericNode.php

@@ -0,0 +1,26 @@
+<?php declare(strict_types = 1);
+
+namespace PhpStan\TypeParser\Ast;
+
+
+class GenericNode implements Node
+{
+	/** @var SimpleNode */
+	public $type;
+
+	/** @var Node[] */
+	public $genericTypes;
+
+
+	public function __construct(SimpleNode $type, array $genericTypes)
+	{
+		$this->type = $type;
+		$this->genericTypes = $genericTypes;
+	}
+
+
+	public function __toString(): string
+	{
+		return $this->type . '<' . implode(', ', $this->genericTypes) . '>';
+	}
+}

src/Ast/IntersectionNode.php

@@ -0,0 +1,22 @@
+<?php declare(strict_types = 1);
+
+namespace PhpStan\TypeParser\Ast;
+
+
+class IntersectionNode implements Node
+{
+	/** @var Node[] */
+	public $types;
+
+
+	public function __construct(array $types)
+	{
+		$this->types = $types;
+	}
+
+
+	public function __toString(): string
+	{
+		return '(' . implode(' & ', $this->types) . ')';
+	}
+}

src/Ast/Node.php

@@ -0,0 +1,9 @@
+<?php declare(strict_types = 1);
+
+namespace PhpStan\TypeParser\Ast;
+
+
+interface Node
+{
+	public function __toString(): string;
+}

src/Ast/SimpleNode.php

@@ -0,0 +1,22 @@
+<?php declare(strict_types = 1);
+
+namespace PhpStan\TypeParser\Ast;
+
+
+class SimpleNode implements Node
+{
+	/** @var string */
+	public $name;
+
+
+	public function __construct(string $name)
+	{
+		$this->name = $name;
+	}
+
+
+	public function __toString(): string
+	{
+		return $this->name;
+	}
+}