added Property and Parameter validation

Author: dg

src/PhpGenerator/Parameter.php

@@ -131,4 +131,9 @@ public function hasDefaultValue(): bool
 	{
 		return $this->hasDefaultValue;
 	}
+
+
+	public function validate(): void
+	{
+	}
 }

src/PhpGenerator/Printer.php

@@ -154,6 +154,7 @@ public function printClass(ClassType $class, PhpNamespace $namespace = null): st
 
 		$properties = [];
 		foreach ($class->getProperties() as $property) {
+			$property->validate();
 			$type = $property->getType();
 			$def = (($property->getVisibility() ?: 'public')
 				. ($property->isStatic() ? ' static' : '')
@@ -289,6 +290,7 @@ public function printParameters($function, PhpNamespace $namespace = null, int $
 		$special = false;
 
 		foreach ($list as $param) {
+			$param->validate();
 			$variadic = $function->isVariadic() && $param === end($list);
 			$type = $param->getType();
 			$promoted = $param instanceof PromotedParameter ? $param : null;

src/PhpGenerator/PromotedParameter.php

@@ -9,6 +9,8 @@
 
 namespace Nette\PhpGenerator;
 
+use Nette;
+
 
 /**
  * Promoted parameter in constructor.
@@ -34,4 +36,13 @@ public function isReadOnly(): bool
 	{
 		return $this->readOnly;
 	}
+
+
+	/** @throws Nette\InvalidStateException */
+	public function validate(): void
+	{
+		if ($this->readOnly && !$this->getType()) {
+			throw new Nette\InvalidStateException("Property \${$this->getName()}: Read-only properties are only supported on typed property.");
+		}
+	}
 }

src/PhpGenerator/Property.php

@@ -131,4 +131,13 @@ public function isReadOnly(): bool
 	{
 		return $this->readOnly;
 	}
+
+
+	/** @throws Nette\InvalidStateException */
+	public function validate(): void
+	{
+		if ($this->readOnly && !$this->type) {
+			throw new Nette\InvalidStateException("Property \$$this->name: Read-only properties are only supported on typed property.");
+		}
+	}
 }