for testing and deploying your application
for finding and fixing issues
for empowering human code reviews
<?php
/*
* This file is part of the Kreta package.
*
* (c) Beñat Espiña <[email protected]>
* (c) Gorka Laucirica <[email protected]>
* For the full copyright and license information, please view the LICENSE
* file that was distributed with this source code.
*/
declare(strict_types=1);
namespace Spec\Kreta\Notifier\Domain\Model\Inbox\Notification;
use Kreta\Notifier\Domain\Model\Inbox\Notification\NotificationId;
use Kreta\SharedKernel\Domain\Model\Identity\Id;
use PhpSpec\ObjectBehavior;
class NotificationIdSpec extends ObjectBehavior
{
function it_is_initializable()
$this->shouldHaveType(NotificationId::class);
}
function it_extends_id()
$this->shouldHaveType(Id::class);
function it_generates()
$this->beConstructedGenerate();
$this::generate()->shouldReturnAnInstanceOf(NotificationId::class);
kreta /
Kreta
