<?php

declare(strict_types=1);

namespace Phred\ConsoleContracts\Tests;

use PHPUnit\Framework\TestCase;

final class SmokeTest extends TestCase
{
    public function testInterfacesAndClassesExist(): void
    {
        $this->assertTrue(interface_exists(\Phred\ConsoleContracts\CommandInterface::class));
        $this->assertTrue(interface_exists(\Phred\ConsoleContracts\InputInterface::class));
        $this->assertTrue(interface_exists(\Phred\ConsoleContracts\OutputInterface::class));
        $this->assertTrue(interface_exists(\Phred\ConsoleContracts\ConsoleMiddlewareInterface::class));
        $this->assertTrue(interface_exists(\Phred\ConsoleContracts\ConsoleExceptionInterface::class));
        $this->assertTrue(class_exists(\Phred\ConsoleContracts\Verbosity::class));
        $this->assertTrue(class_exists(\Phred\ConsoleContracts\ExitCode::class));
        $this->assertTrue(interface_exists(\Phred\ConsoleContracts\InteractionInterface::class));
        $this->assertTrue(interface_exists(\Phred\ConsoleContracts\Helpers\ProgressBarInterface::class));
        $this->assertTrue(interface_exists(\Phred\ConsoleContracts\Helpers\TableInterface::class));
        $this->assertTrue(interface_exists(\Phred\ConsoleContracts\Helpers\MarkdownConverterInterface::class));
        $this->assertTrue(class_exists(\Phred\ConsoleContracts\Attributes\Cmd::class));
        $this->assertTrue(class_exists(\Phred\ConsoleContracts\Attributes\Arg::class));
        $this->assertTrue(class_exists(\Phred\ConsoleContracts\Attributes\Opt::class));
        $this->assertTrue(trait_exists(\Phred\ConsoleContracts\Attributes\HasAttributes::class));
    }
}