意味変数

// コントローラー/model/validator...
if (empty($name)) throw new Exception("error.name.empty");
if (!filter_var($email, FILTER_VALIDATE_EMAIL)) throw new Exception("error.email.invalid");

// messages/ja.yml
error.name.empty: "名前を入力してください"
error.email.invalid: "有効なメールアドレスを入力してください"

// README.md
// "名前は1-100文字で空白のみは不可..."

final readonly class Name
{
    #[Validate]
    public function validate(string $name): void
    {
        if (empty(trim($name))) {
            throw new EmptyNameException();
        }
    }
}

final readonly class ProductCode
{
    #[Validate]
    public function validate(string $code): void 
    { 
        // 標準的な商品コード検証（例：8桁の英数字）
        if (!preg_match('/^[A-Z0-9]{8}$/', $code)) {
            throw new InvalidProductCodeException();
        }
    }

    #[Validate] 
    public function validateLegacy(#[Legacy] string $code): void 
    { 
        // レガシーシステム用の緩い検証（例：6-10桁の英数字）
        if (!preg_match('/^[A-Z0-9]{6,10}$/', $code)) {
            throw new InvalidLegacyProductCodeException();
        }
    }

    #[Validate]
    public function validatePremium(#[Premium] string $code): void 
    { 
        // プレミアム商品用の厳格な検証（例：特定のプレフィックス必須）
        if (!preg_match('/^PREM[A-Z0-9]{4}$/', $code)) {
            throw new InvalidPremiumProductCodeException();
        }
    }
}

#[Message([
    'en' => 'Name cannot be empty.',
    'ja' => '名前は空にできません。'
])]
final readonly class EmptyNameException extends DomainException {}

final readonly class UserProfile
{
    public function __construct(
        #[Input] #[English] public string $name,    // 英語名として自動検証
        #[Input] string $emailAddress,              // メールアドレスとして自動検証
        #[Inject] NameFormatter $formatter
    ) {
        // この時点で、すべての入力が有効であることが保証されています
    }
}

final readonly class TeenAge  
{
    #[Validate]
    public function validate(#[Teen] int $age): void
    {
        // まず基本的なAge検証が実行される（#[Teen]により自動的に呼び出される）
        // その後、ティーン固有のルールを追加
        if ($age < 13) throw new TeenAgeTooYoungException();
        if ($age > 19) throw new TeenAgeTooOldException();
    }
}

final readonly class UserRegistration
{
    public function __construct(
        #[Input] string $email,
        #[Input] string $confirmEmail,
        #[Input] string $password,
        #[Input] string $confirmPassword,
    ) {
        // 何も書く必要はありません！
        // フレームワークが自動的に関係性を検証します
    }
}

// これがあれば...
final readonly class EmailConfirmation
{
    #[Validate]
    public function validate(string $email, string $confirmEmail): void
    {
        if ($email !== $confirmEmail) {
            throw new EmailMismatchException();
        }
    }
}

// $email, $confirmEmail を持つ任意のコンストラクタで自動適用される！

try {
    $userProfile = $becoming(new UserRegistrationInput($data));
} catch (SemanticVariableException $e) {
    $englishMessages = $e->getErrors()->getMessages('en');
    $japaneseMessages = $e->getErrors()->getMessages('ja');
}

final readonly class ProcessedOrder
{
    public function __construct(
        #[Input] #[Verified] string $productCode,    // 事前条件：検証済み商品コード
        #[Input] int $paymentAmount,                 // 事前条件：支払い金額
        #[Input] #[Adult] int $age                   // 事前条件：成人年齢
    ) {
        // 事前条件が満たされた時のみ存在可能
        $this->orderNumber = $this->generateOrderNumber();
        $this->processedAt = new DateTime();
    }
    
    public string $orderNumber;    // 事後条件：注文番号は必ず存在
    public DateTime $processedAt;  // 事後条件：処理時刻は必ず存在
}