railt / sdl

     * @return void

     * @throws TypeConflictException

     */

    private function validateListDirectRedefinition(AllowsTypeIndication $child, AllowsTypeIndication $parent): void

    {

        $isBrokenDirectRedefinition = $parent->isList() && ! $child->isList();

        if ($isBrokenDirectRedefinition) {

            $error = \sprintf('The %s cannot be overridden by non-list, but %s given', $parent, $child);

            throw new TypeConflictException($error, $this->getCallStack());

        }

    }

    /**

     * Checks the following situations:

     * @return void

     * @throws TypeConflictException

     */

    private function validateListInverseRedefinition(AllowsTypeIndication $child, AllowsTypeIndication $parent): void

    {

        $isBrokenInverseRedefinition = ! $parent->isList() && $child->isList();

        if ($isBrokenInverseRedefinition) {

            $error = \sprintf('The %s cannot be overridden by list, but %s given', $parent, $child);

            throw new TypeConflictException($error, $this->getCallStack());

        }

    }

    /**

     * @param AllowsTypeIndication|DependentDefinition $child