1: <?php declare(strict_types = 1);
2:
3: namespace PHPStan\Type;
4:
5: use PHPStan\PhpDocParser\Ast\Type\IdentifierTypeNode;
6: use PHPStan\PhpDocParser\Ast\Type\TypeNode;
7: use PHPStan\TrinaryLogic;
8:
9: /** @api */
10: class ClassStringType extends StringType
11: {
12:
13: /** @api */
14: public function __construct()
15: {
16: parent::__construct();
17: }
18:
19: public function describe(VerbosityLevel $level): string
20: {
21: return 'class-string';
22: }
23:
24: public function accepts(Type $type, bool $strictTypes): AcceptsResult
25: {
26: if ($type instanceof CompoundType) {
27: return $type->isAcceptedBy($this, $strictTypes);
28: }
29:
30: return new AcceptsResult($type->isClassString(), []);
31: }
32:
33: public function isSuperTypeOf(Type $type): IsSuperTypeOfResult
34: {
35: if ($type instanceof CompoundType) {
36: return $type->isSubTypeOf($this);
37: }
38:
39: return new IsSuperTypeOfResult($type->isClassString(), []);
40: }
41:
42: public function isString(): TrinaryLogic
43: {
44: return TrinaryLogic::createYes();
45: }
46:
47: public function isNumericString(): TrinaryLogic
48: {
49: return TrinaryLogic::createMaybe();
50: }
51:
52: public function isNonEmptyString(): TrinaryLogic
53: {
54: return TrinaryLogic::createYes();
55: }
56:
57: public function isNonFalsyString(): TrinaryLogic
58: {
59: return TrinaryLogic::createYes();
60: }
61:
62: public function isLiteralString(): TrinaryLogic
63: {
64: return TrinaryLogic::createMaybe();
65: }
66:
67: public function isLowercaseString(): TrinaryLogic
68: {
69: return TrinaryLogic::createMaybe();
70: }
71:
72: public function isClassString(): TrinaryLogic
73: {
74: return TrinaryLogic::createYes();
75: }
76:
77: public function getClassStringObjectType(): Type
78: {
79: return new ObjectWithoutClassType();
80: }
81:
82: public function getObjectTypeOrClassStringObjectType(): Type
83: {
84: return new ObjectWithoutClassType();
85: }
86:
87: public function toPhpDocNode(): TypeNode
88: {
89: return new IdentifierTypeNode('class-string');
90: }
91:
92: }
93: