<?php

/**
 * PHP Deal framework
 *
 * @copyright Copyright 2019, Lisachenko Alexander <lisachenko.it@gmail.com>
 *
 * This source file is subject to the license that is bundled
 * with this source code in the file LICENSE.
 */

declare(strict_types=1);

namespace PhpDeal\Functional\Verify\ClassPropagation;

use PhpDeal\Annotation as Contract;

abstract class StubParentWithInheritDoc extends StubGrandparent
{
    /**
     * @param int $variable
     * @Contract\Verify("$variable !== 2")
     * @inheritdoc
     */
    public function add(int $variable): void
    {
    }
}
