feat(#5264): make PhTerminated reject every interaction, not only delta

Author: maxonfjvipon

eo-runtime/src/main/java/org/eolang/PhTerminated.java

@@ -7,17 +7,63 @@
 /**
  * The ⊥ ("bottom") object of φ-calculus — a terminated computation.
  *
- * <p>It carries no data and no attributes. Dataizing it aborts the
- * program with an {@link ExFailure}, which EO {@code try} cannot catch
- * (that object only intercepts {@link EOerror.ExError}), so reaching ⊥
- * terminates the program for good.</p>
+ * <p>It has no data, no attributes, and no behaviour: every interaction
+ * with it aborts the program through an {@link ExFailure}. Because EO
+ * {@code try} only intercepts {@link EOerror.ExError}, this failure
+ * cannot be caught, so touching ⊥ terminates the program for good.</p>
  *
  * @since 0.73.1
  */
-public final class PhTerminated extends PhDefault {
+public final class PhTerminated implements Phi {
+
+    /**
+     * The message of the failure raised by every interaction with ⊥.
+     */
+    private static final String MESSAGE =
+        "the ⊥ object is a terminated computation and cannot be used";
+
+    @Override
+    public Phi copy() {
+        throw new ExFailure(PhTerminated.MESSAGE);
+    }
+
+    @Override
+    public boolean hasRho() {
+        throw new ExFailure(PhTerminated.MESSAGE);
+    }
+
+    @Override
+    public Phi take(final String name) {
+        throw new ExFailure(PhTerminated.MESSAGE);
+    }
+
+    @Override
+    public void put(final int pos, final Phi object) {
+        throw new ExFailure(PhTerminated.MESSAGE);
+    }
+
+    @Override
+    public void put(final String name, final Phi object) {
+        throw new ExFailure(PhTerminated.MESSAGE);
+    }
+
+    @Override
+    public String locator() {
+        throw new ExFailure(PhTerminated.MESSAGE);
+    }
+
+    @Override
+    public String forma() {
+        throw new ExFailure(PhTerminated.MESSAGE);
+    }
 
     @Override
     public byte[] delta() {
-        throw new ExFailure("the ⊥ object is a terminated computation and cannot be dataized");
+        throw new ExFailure(PhTerminated.MESSAGE);
+    }
+
+    @Override
+    public String φTerm() {
+        throw new ExFailure(PhTerminated.MESSAGE);
     }
 }

eo-runtime/src/test/java/org/eolang/PhTerminatedTest.java

@@ -21,4 +21,22 @@ void failsWhenDataized() {
             "dataizing the bottom object must abort instead of returning data"
         );
     }
+
+    @Test
+    void failsWhenDispatched() {
+        Assertions.assertThrows(
+            ExFailure.class,
+            () -> new PhTerminated().take("any"),
+            "dispatching an attribute on the bottom object must abort"
+        );
+    }
+
+    @Test
+    void failsWhenCopied() {
+        Assertions.assertThrows(
+            ExFailure.class,
+            () -> new PhTerminated().copy(),
+            "copying the bottom object must abort"
+        );
+    }
 }