Skip to content

Commit

Permalink
Merge pull request #15 from danog/rm_tlist
Browse files Browse the repository at this point in the history
Remove usages of deprecated TList types
  • Loading branch information
veewee committed Nov 28, 2023
2 parents e6af6fc + 8623603 commit bf6d560
Show file tree
Hide file tree
Showing 4 changed files with 12 additions and 20 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/psl.yml
Expand Up @@ -33,7 +33,7 @@ jobs:
working-directory: psl
run: |
composer config repositories.psalm-plugin path ../
composer require --dev 'php-standard-library/psalm-plugin:*@dev'
composer require --dev 'php-standard-library/psalm-plugin:*@dev' 'vimeo/psalm:>=5.16'
- name: "installing dependencies"
working-directory: psl
Expand Down
2 changes: 1 addition & 1 deletion composer.json
Expand Up @@ -11,7 +11,7 @@
],
"require": {
"php": "^8.1",
"vimeo/psalm": "^5.0"
"vimeo/psalm": ">=5.16"
},
"conflict": {
"azjezz/psl": "<2.0"
Expand Down
14 changes: 5 additions & 9 deletions src/EventHandler/Str/Chunk/FunctionReturnTypeProvider.php
Expand Up @@ -27,30 +27,26 @@ public static function getFunctionReturnType(FunctionReturnTypeProviderEvent $ev
$argument_type = Argument::getType($event->getCallArgs(), $event->getStatementsSource(), 0);
if (null === $argument_type) {
// [unknown] -> list<string>
return new Type\Union([new Type\Atomic\TList(new Type\Union([new Type\Atomic\TString()]))]);
return Type::getList(Type::getString());
}

$string_argument_type = $argument_type->getAtomicTypes()['string'] ?? null;
if (null === $string_argument_type) {
// [unknown] -> list<string>
return new Type\Union([new Type\Atomic\TList(new Type\Union([new Type\Atomic\TString()]))]);
return Type::getList(Type::getString());
}

if ($string_argument_type instanceof Type\Atomic\TNonEmptyString) {
// non-empty-lowercase-string => non-empty-list<non-empty-lowercase-string>
if ($string_argument_type instanceof Type\Atomic\TNonEmptyLowercaseString) {
return new Type\Union([
new Type\Atomic\TNonEmptyList(new Type\Union([
new Type\Atomic\TNonEmptyLowercaseString()
]))
]);
return Type::getNonEmptyList(Type::getNonEmptyLowercaseString());
}

// non-empty-string => non-empty-list<non-empty-string>
return new Type\Union([new Type\Atomic\TNonEmptyList(new Type\Union([new Type\Atomic\TNonEmptyString()]))]);
return Type::getNonEmptyList(Type::getNonEmptyString());
}

// string -> list<string>
return new Type\Union([new Type\Atomic\TList(new Type\Union([new Type\Atomic\TString()]))]);
return Type::getList(Type::getString());
}
}
14 changes: 5 additions & 9 deletions src/EventHandler/Str/Split/FunctionReturnTypeProvider.php
Expand Up @@ -27,30 +27,26 @@ public static function getFunctionReturnType(FunctionReturnTypeProviderEvent $ev
$argument_type = Argument::getType($event->getCallArgs(), $event->getStatementsSource(), 0);
if (null === $argument_type) {
// [unknown] -> list<string>
return new Type\Union([new Type\Atomic\TList(new Type\Union([new Type\Atomic\TString()]))]);
return Type::getList(Type::getString());
}

$string_argument_type = $argument_type->getAtomicTypes()['string'] ?? null;
if (null === $string_argument_type) {
// [unknown] -> list<string>
return new Type\Union([new Type\Atomic\TList(new Type\Union([new Type\Atomic\TString()]))]);
return Type::getList(Type::getString());
}

if ($string_argument_type instanceof Type\Atomic\TNonEmptyString) {
// non-empty-lowercase-string => non-empty-list<non-empty-lowercase-string>
if ($string_argument_type instanceof Type\Atomic\TNonEmptyLowercaseString) {
return new Type\Union([
new Type\Atomic\TNonEmptyList(new Type\Union([
new Type\Atomic\TNonEmptyLowercaseString()
]))
]);
return Type::getNonEmptyList(Type::getNonEmptyLowercaseString());
}

// non-empty-string => non-empty-list<non-empty-string>
return new Type\Union([new Type\Atomic\TNonEmptyList(new Type\Union([new Type\Atomic\TNonEmptyString()]))]);
return Type::getNonEmptyList(Type::getNonEmptyString());
}

// string -> list<string>
return new Type\Union([new Type\Atomic\TList(new Type\Union([new Type\Atomic\TString()]))]);
return Type::getList(Type::getString());
}
}

0 comments on commit bf6d560

Please sign in to comment.