1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
|
--TEST--
Union types in PHP 8.0
--SKIPIF--
<?php if (PHP_VERSION_ID < 80000) die('skip PHP >= 8.0 only'); ?>
--FILE--
<?php
require __DIR__ . '/../util.php';
$code = <<<'PHP'
<?php
namespace NS;
function test(OBJECT|array|float|int|String|null $a) : string|false {
return json_encode($a);
}
class Xyz {
public bool|stdClass $x;
}
function testClasses(iterable|\stdClass|Xyz $s) : namespace\Xyz|false|null {
return new X();
}
test([]);
testClasses([2,3]);
PHP;
$node = ast\parse_code($code, $version=70);
echo ast_dump($node), "\n";
--EXPECTF--
AST_STMT_LIST
0: AST_NAMESPACE
name: "NS"
stmts: null
1: AST_FUNC_DECL
name: "test"
docComment: null
params: AST_PARAM_LIST
0: AST_PARAM
type: AST_TYPE_UNION
0: AST_TYPE
flags: TYPE_OBJECT (%d)
1: AST_TYPE
flags: TYPE_ARRAY (%d)
2: AST_TYPE
flags: TYPE_DOUBLE (%d)
3: AST_TYPE
flags: TYPE_LONG (%d)
4: AST_TYPE
flags: TYPE_STRING (%d)
5: AST_TYPE
flags: TYPE_NULL (%d)
name: "a"
default: null
stmts: AST_STMT_LIST
0: AST_RETURN
expr: AST_CALL
expr: AST_NAME
flags: NAME_NOT_FQ (%d)
name: "json_encode"
args: AST_ARG_LIST
0: AST_VAR
name: "a"
returnType: AST_TYPE_UNION
0: AST_TYPE
flags: TYPE_STRING (%d)
1: AST_TYPE
flags: TYPE_FALSE (%d)
__declId: 0
2: AST_CLASS
name: "Xyz"
docComment: null
extends: null
implements: null
stmts: AST_STMT_LIST
0: AST_PROP_GROUP
flags: MODIFIER_PUBLIC (%d)
type: AST_TYPE_UNION
0: AST_TYPE
flags: TYPE_BOOL (%d)
1: AST_NAME
flags: NAME_NOT_FQ (%d)
name: "stdClass"
props: AST_PROP_DECL
0: AST_PROP_ELEM
name: "x"
default: null
docComment: null
__declId: 1
3: AST_FUNC_DECL
name: "testClasses"
docComment: null
params: AST_PARAM_LIST
0: AST_PARAM
type: AST_TYPE_UNION
0: AST_TYPE
flags: TYPE_ITERABLE (%d)
1: AST_NAME
flags: NAME_FQ (%d)
name: "stdClass"
2: AST_NAME
flags: NAME_NOT_FQ (%d)
name: "Xyz"
name: "s"
default: null
stmts: AST_STMT_LIST
0: AST_RETURN
expr: AST_NEW
class: AST_NAME
flags: NAME_NOT_FQ (%d)
name: "X"
args: AST_ARG_LIST
returnType: AST_TYPE_UNION
0: AST_NAME
flags: NAME_RELATIVE (%d)
name: "Xyz"
1: AST_TYPE
flags: TYPE_FALSE (%d)
2: AST_TYPE
flags: TYPE_NULL (%d)
__declId: 2
4: AST_CALL
expr: AST_NAME
flags: NAME_NOT_FQ (%d)
name: "test"
args: AST_ARG_LIST
0: AST_ARRAY
flags: ARRAY_SYNTAX_SHORT (%d)
5: AST_CALL
expr: AST_NAME
flags: NAME_NOT_FQ (%d)
name: "testClasses"
args: AST_ARG_LIST
0: AST_ARRAY
flags: ARRAY_SYNTAX_SHORT (%d)
0: AST_ARRAY_ELEM
flags: 0
value: 2
key: null
1: AST_ARRAY_ELEM
flags: 0
value: 3
key: null
|
