More work on attribute objects for #4502

Author: sebastianbergmann

.psalm/baseline.xml

@@ -357,6 +357,16 @@
       <code>Medium</code>
     </UnusedClass>
   </file>
+  <file src="src/Framework/Attributes/PostCondition.php">
+    <UnusedClass occurrences="1">
+      <code>PostCondition</code>
+    </UnusedClass>
+  </file>
+  <file src="src/Framework/Attributes/PreCondition.php">
+    <UnusedClass occurrences="1">
+      <code>PreCondition</code>
+    </UnusedClass>
+  </file>
   <file src="src/Framework/Attributes/PreserveGlobalState.php">
     <UnusedClass occurrences="1">
       <code>PreserveGlobalState</code>

src/Framework/Attributes/PostCondition.php

@@ -0,0 +1,17 @@
+<?php declare(strict_types=1);
+/*
+ * This file is part of PHPUnit.
+ *
+ * (c) Sebastian Bergmann <[email protected]>
+ *
+ * For the full copyright and license information, please view the LICENSE
+ * file that was distributed with this source code.
+ */
+namespace PHPUnit\Framework\Attributes;
+
+use Attribute;
+
+#[Attribute(Attribute::TARGET_METHOD)]
+final class PostCondition
+{
+}

src/Framework/Attributes/PreCondition.php

@@ -0,0 +1,17 @@
+<?php declare(strict_types=1);
+/*
+ * This file is part of PHPUnit.
+ *
+ * (c) Sebastian Bergmann <[email protected]>
+ *
+ * For the full copyright and license information, please view the LICENSE
+ * file that was distributed with this source code.
+ */
+namespace PHPUnit\Framework\Attributes;
+
+use Attribute;
+
+#[Attribute(Attribute::TARGET_METHOD)]
+final class PreCondition
+{
+}