22

✏️ Editing: BitwiseOrTest.inc

<?php

/*
 * Type union or bitwise or.
 */

/* testBitwiseOr1 */
$result = $value | $test /* testBitwiseOr2 */ | $another;

abstract class TypeUnion
{
    /* testTypeUnionOOConstSimple */
    public const Foo|Bar SIMPLE = new Foo;

/* testTypeUnionOOConstReverseModifierOrder */
    protected final const int|float MODIFIERS_REVERSED /* testBitwiseOrOOConstDefaultValue */ = E_WARNING | E_NOTICE;

const
        /* testTypeUnionOOConstMulti1 */
        array |
        /* testTypeUnionOOConstMulti2 */
        Traversable | // phpcs:ignore Stnd.Cat.Sniff
        false
        /* testTypeUnionOOConstMulti3 */
        | null MULTI_UNION = false;

/* testTypeUnionOOConstNamespaceRelative */
    final protected const namespace\Sub\NameA|namespace\Sub\NameB NAMESPACE_RELATIVE = new namespace\Sub\NameB;

/* testTypeUnionOOConstPartiallyQualified */
    const Partially\Qualified\NameA|Partially\Qualified\NameB PARTIALLY_QUALIFIED = new Partially\Qualified\NameA;

/* testTypeUnionOOConstFullyQualified */
    const \Fully\Qualified\NameA|\Fully\Qualified\NameB FULLY_QUALIFIED = new \Fully\Qualified\NameB();

/* testTypeUnionPropertySimple */
    public static Foo|Bar $obj;

/* testTypeUnionPropertyReverseModifierOrder */
    static protected int|float $number /* testBitwiseOrPropertyDefaultValue */ = E_WARNING | E_NOTICE;

private
        /* testTypeUnionPropertyMulti1 */
        array |
        /* testTypeUnionPropertyMulti2 */
        Traversable | // phpcs:ignore Stnd.Cat.Sniff
        false
        /* testTypeUnionPropertyMulti3 */
        | null $arrayOrFalse;

/* testTypeUnionPropertyNamespaceRelative */
    public namespace\Sub\NameA|namespace\Sub\NameB $namespaceRelative;

/* testTypeUnionPropertyPartiallyQualified */
    public Partially\Qualified\NameA|Partially\Qualified\NameB $partiallyQual;

/* testTypeUnionPropertyFullyQualified */
    public \Fully\Qualified\NameA|\Fully\Qualified\NameB $fullyQual;

/* testTypeUnionPropertyWithReadOnlyKeyword */
    protected readonly string|null $array;

/* testTypeUnionPropertyWithStaticAndReadOnlyKeywords */
    static readonly string|null $array;

/* testTypeUnionPropertyWithVarAndReadOnlyKeywords */
    var readonly string|null $array;

/* testTypeUnionPropertyWithReadOnlyKeywordFirst */
    readonly protected string|null $array;

/* testTypeUnionPropertyWithOnlyReadOnlyKeyword */
    readonly string|null $nullableString;

/* testTypeUnionPropertyWithOnlyStaticKeyword */
    static Foo|Bar $obj;

/* testTypeUnionWithPHP84FinalKeyword */
    final int|string $finalKeywordA;

/* testTypeUnionWithPHP84FinalKeywordFirst */
    final private float|null $finalKeywordB;

/* testTypeUnionWithPHP84FinalKeywordAndFQN */
    final \MyClass|false $finalKeywordC;

/* testTypeUnionPropertyPrivateSet */
    private(set) Foo|Bar $asym1;

/* testTypeUnionPropertyPublicPrivateSet */
    public private(set) Foo|Bar $asym2;

/* testTypeUnionPropertyProtected */
    protected(set) Foo|Bar $asym3;

/* testTypeUnionPropertyPublicProtected */
    public protected(set) Foo|Bar $asym4;

/* testTypeUnionWithPHP84AbstractKeyword */
    abstract int|string $abstractKeywordA { get; }

/* testTypeUnionWithPHP84AbstractKeywordFirst */
    abstract protected float|null $abstractKeywordB { set; }

/* testTypeUnionWithPHP84AbstractKeywordAndFQN */
    abstract \MyClass|false $abstractKeywordC { get; }

public function paramTypes(
        /* testTypeUnionParam1 */
        int|float $paramA /* testBitwiseOrParamDefaultValue */ = CONSTANT_A | CONSTANT_B,

/* testTypeUnionParam2 */
        Foo|\Bar /* testTypeUnionParam3 */ |Baz &...$paramB = null,
    ) {
        /* testBitwiseOr3 */
        return (($a1 ^ $b1) |($a2 ^ $b2)) + $c;
    }

public function identifierNames(
        /* testTypeUnionParamNamespaceRelative */
        namespace\Sub\NameA|namespace\Sub\NameB $paramA,
        /* testTypeUnionParamPartiallyQualified */
        Partially\Qualified\NameA|Partially\Qualified\NameB $paramB,
        /* testTypeUnionParamFullyQualified */
        \Fully\Qualified\NameA|\Fully\Qualified\NameB $paramC,
    ) {}

/* testTypeUnionConstructorPropertyPromotion */
    public function __construct( public bool|null $property) {}

/* testTypeUnionReturnType */
    public function returnType() : int|false {}

/* testTypeUnionAbstractMethodReturnType1 */
    abstract public function abstractMethod(): object|array /* testTypeUnionAbstractMethodReturnType2 */ |false;

/* testTypeUnionReturnTypeNamespaceRelative */
    public function identifierNamesReturnRelative() : namespace\Sub\NameA|namespace\Sub\NameB {}

/* testTypeUnionReturnPartiallyQualified */
    public function identifierNamesReturnPQ() : Partially\Qualified\NameA|Partially\Qualified\NameB {}

/* testTypeUnionReturnFullyQualified */
    public function identifierNamesReturnFQ() : \Fully\Qualified\NameA|\Fully\Qualified\NameB {}
}

function globalFunctionWithSpreadAndReference(
    /* testTypeUnionWithReference */
    float|null &$paramA,
    /* testTypeUnionWithSpreadOperator */
    string|int ...$paramB
) {}

$dnfTypes = new class {
    /* testTypeUnionConstantTypeUnionBeforeDNF */
    const Foo|(A&B) UNION_BEFORE = /* testBitwiseOrOOConstDefaultValueDNF */ Foo|(A&B);

/* testTypeUnionPropertyTypeUnionAfterDNF */
    protected (\FQN&namespace\Relative)|Partially\Qualified $union_after = /* testBitwiseOrPropertyDefaultValueDNF */ (A&B)|Foo;

public function unionBeforeAndAfter(
        /* testTypeUnionParamUnionBeforeAndAfterDNF */
        string|(Stringable&\Countable)|int $param = /* testBitwiseOrParamDefaultValueDNF */ ( CONST_A & CONST_B) | CONST_C
    ): /* testTypeUnionReturnTypeUnionAfterDNF */ (A&B)|null {}
};

/* testTypeUnionClosureParamIllegalNullable */
$closureWithParamType = function (?string|null $string) {};

/* testBitwiseOrClosureParamDefault */
$closureWithReturnType = function ($string = NONSENSE | FAKE)/* testTypeUnionClosureReturn */ : \Package\MyA|PackageB {};

/* testTypeUnionArrowParam */
$arrowWithParamType = fn (object|array $param, /* testBitwiseOrArrowParamDefault */ ?int $int = CONSTA | CONSTB )
    /* testBitwiseOrArrowExpression */
    => $param | $int;

/* testTypeUnionArrowReturnType */
$arrowWithReturnType = fn ($param) : int|null => $param * 10;

/* testBitwiseOrInArrayKey */
$array = array(
    A | B => /* testBitwiseOrInArrayValue */ B | C
);

/* testBitwiseOrInShortArrayKey */
$array = [
    A | B => /* testBitwiseOrInShortArrayValue */ B | C
];

/* testBitwiseOrTryCatch */
try {
} catch ( ExceptionA | ExceptionB $e ) {
}

/* testBitwiseOrNonArrowFnFunctionCall */
$obj->fn($something | $else);

/* testTypeUnionNonArrowFunctionDeclaration */
function &fn(int|false $something) {}

/* testTypeUnionPHP82TrueFirst */
function trueTypeParam(true|null $param) {}

/* testTypeUnionPHP82TrueMiddle */
function trueTypeReturn($param): array|true|null {}

/* testTypeUnionPHP82TrueLast */
$closure = function ($param): array|true {}

/* testLiveCoding */
// Intentional parse error. This has to be the last test in the file.
return function( type|

MR SKB