@Test
void throwsCorrectErrorForNewSizeAttrNaN() {
    MatcherAssert.assertThat(
        "the message in the error is correct",
        Assertions.assertThrows(
            ExAbstract.class,
            () -> new Dataized(
                new PhWith(
                    new EOmallocTest.PhiWithIdDummy(
                        new EOmalloc$EOof$EOallocated$EOresized()
                    ).it(),
                    "new-size",
                    new Data.ToPhi(true)
                )
            ).take(),
            "put TRUE in int attr fails with a proper message that explains what happened"
        ).getMessage(),
        Matchers.equalTo("the 'new-size' attribute must be a number")
    );
}

@Test
void throwsCorrectErrorForNewSizeAttrNotAnInt() {
    MatcherAssert.assertThat(
        "the message in the error is correct",
        Assertions.assertThrows(
            ExAbstract.class,
            () -> new Dataized(
                new PhWith(
                    new EOmallocTest.PhiWithIdDummy(
                        new EOmalloc$EOof$EOallocated$EOresized()
                    ).it(),
                    "new-size",
                    new Data.ToPhi(42.42)
                )
            ).take(),
            "put double in int attr fails with a proper message that explains what happened"
        ).getMessage(),
        Matchers.equalTo("the 'new-size' attribute (42.42) must be an integer")
    );
}

@Test
void throwsCorrectErrorForNewSizeAttrNotNatural() {
    MatcherAssert.assertThat(
        "the message in the error is correct",
        Assertions.assertThrows(
            ExAbstract.class,
            () -> new Dataized(
                new PhWith(
                    new EOmallocTest.PhiWithIdDummy(
                        new EOmalloc$EOof$EOallocated$EOresized()
                    ).it(),
                    "new-size",
                    new Data.ToPhi(-42)
                )
            ).take(),
            "put negative int in natural attr fails with a proper message that explains what happened"
        ).getMessage(),
        Matchers.equalTo("the 'new-size' attribute (-42) must be greater or equal to zero")
    );
}

/**
 * Test that dataization of Phi throws an error about an incorrect attribute which must use {@link Expect.Number}.
 *
 * @since 0.51
 */
public static final class Number {
    private final Phi phi;

    /**
     * Constructor.
     * @param phi The Phi object for dataization
     */
    public Number(Phi phi) {
        this.phi = phi;
    }

    /**
     * Perform the test.
     */
    public void it() {
        MatcherAssert.assertThat(
            "the message in the error is correct",
            Assertions.assertThrows(
                ExAbstract.class,
                () -> new Dataized(phi).take(),
                "fails with correct error message while transforming Phi to Number"
            ).getMessage(),
            Matchers.matchesRegex(".*the '.*' attribute must be a number.*")
        );
    }
}

@Test
void throwsCorrectErrorForNewSizeAttrNaN() {
    new ExpectTest.Number(
        new PhWith(
            new EOmallocTest.PhiWithIdDummy(
                new EOmalloc$EOof$EOallocated$EOresized()
            ).it(),
            "new-size",
            new Data.ToPhi(true)
        )
   ).it()
}