src/Execution/ControlFlowResult.php


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

<?php

declare(strict_types=1);

namespace Nsfisis\Waddiwasi\Execution;

use Nsfisis\Waddiwasi\Structure\Types\LabelIdx;

abstract readonly class ControlFlowResult
{
    final public static function Br(LabelIdx $label): ControlFlowResults\Br
    {
        return new ControlFlowResults\Br($label);
    }

    final public static function Return(): ControlFlowResults\Return_
    {
        return new ControlFlowResults\Return_();
    }
}