chore(analyzer): add more tests

Signed-off-by: azjezz <[email protected]>

Author: azjezz

crates/analyzer/tests/cases/bad_path_abstract_instantiation.php

@@ -0,0 +1,15 @@
+<?php
+
+abstract class AbstractClass
+{
+    abstract public function doSomething(): void;
+}
+
+/**
+ * @mago-expect analysis:abstract-instantiation
+ * @mago-expect analysis:impossible-assignment
+ */
+function testAbstractInstantiation(): void
+{
+    $_ = new AbstractClass();
+}

crates/analyzer/tests/cases/bad_path_assignment_to_this.php

@@ -0,0 +1,12 @@
+<?php
+
+class MyClass
+{
+    /**
+     * @mago-expect analysis:assignment-to-this
+     */
+    public function reassignThis(): void
+    {
+        $this = new MyClass();
+    }
+}

crates/analyzer/tests/cases/bad_path_enum_instantiation.php

@@ -0,0 +1,16 @@
+<?php
+
+enum Status
+{
+    case Active;
+    case Inactive;
+}
+
+/**
+ * @mago-expect analysis:enum-instantiation
+ * @mago-expect analysis:impossible-assignment
+ */
+function testEnumInstantiation(): void
+{
+    $_ = new Status();
+}

crates/analyzer/tests/cases/bad_path_interface_instantiation.php

@@ -0,0 +1,15 @@
+<?php
+
+interface MyInterface
+{
+    public function doSomething(): void;
+}
+
+/**
+ * @mago-expect analysis:interface-instantiation
+ * @mago-expect analysis:impossible-assignment
+ */
+function testInterfaceInstantiation(): void
+{
+    $_ = new MyInterface();
+}

crates/analyzer/tests/cases/bad_path_invalid_break.php

@@ -0,0 +1,9 @@
+<?php
+
+/**
+ * @mago-expect analysis:invalid-break
+ */
+function testInvalidBreak(): void
+{
+    break;
+}

crates/analyzer/tests/cases/bad_path_invalid_clone.php

@@ -0,0 +1,11 @@
+<?php
+
+/**
+ * @mago-expect analysis:invalid-clone
+ * @mago-expect analysis:impossible-assignment
+ */
+function testInvalidClone(): void
+{
+    $value = 42;
+    $_ = clone $value;
+}

crates/analyzer/tests/cases/bad_path_invalid_continue.php

@@ -0,0 +1,9 @@
+<?php
+
+/**
+ * @mago-expect analysis:invalid-continue
+ */
+function testInvalidContinue(): void
+{
+    continue;
+}

crates/analyzer/tests/cases/bad_path_invalid_iterator.php

@@ -0,0 +1,14 @@
+<?php
+
+/**
+ * @mago-expect analysis:invalid-iterator
+ * @mago-expect analysis:mixed-argument
+ * @mago-expect analysis:mixed-assignment
+ */
+function testInvalidIterator(): void
+{
+    $notIterable = 42;
+    foreach ($notIterable as $item) {
+        echo $item;
+    }
+}

crates/analyzer/tests/cases/bad_path_invalid_throw.php

@@ -0,0 +1,9 @@
+<?php
+
+/**
+ * @mago-expect analysis:invalid-throw
+ */
+function testInvalidThrow(): void
+{
+    throw 'not an exception';
+}

crates/analyzer/tests/cases/bad_path_method_access_on_null.php

@@ -0,0 +1,15 @@
+<?php
+
+class MyClass
+{
+    public function doSomething(): void {}
+}
+
+/**
+ * @mago-expect analysis:method-access-on-null
+ */
+function testMethodAccessOnNull(): void
+{
+    $obj = null;
+    $obj->doSomething();
+}