maride/php-parser
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

php8.1: resolve intersection types in NamespaceResolver

Browse Source
This commit is contained in:
Tyler Christensen 2023-04-24 12:26:00 -06:00 committed by Laytan Laats
parent 3c45afd848
commit 6855357aaa
2 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkg/visitor/nsresolver/namespace_resolver.go
View File

@ -283,6 +283,10 @@ func (nsr *NamespaceResolver) ResolveType(n ast.Vertex) {
for _, nnn := range nn.Types {
nsr.ResolveType(nnn)
}
case *ast.Intersection:
for _, nnn := range nn.Types {
nsr.ResolveType(nnn)
}
case *ast.Name:
nsr.ResolveName(n, "")

8
pkg/visitor/nsresolver/namespace_resolver_test.go
View File

@ -542,6 +542,8 @@ func TestResolveMethodName(t *testing.T) {
nameBC := &ast.Name{Parts: []ast.Vertex{&ast.NamePart{Value: []byte("B")}, &ast.NamePart{Value: []byte("C")}}}
nameCD := &ast.Name{Parts: []ast.Vertex{&ast.NamePart{Value: []byte("C")}, &ast.NamePart{Value: []byte("D")}}}
nameDE := &ast.Name{Parts: []ast.Vertex{&ast.NamePart{Value: []byte("D")}, &ast.NamePart{Value: []byte("E")}}}
nameEF := &ast.Name{Parts: []ast.Vertex{&ast.NamePart{Value: []byte("E")}, &ast.NamePart{Value: []byte("F")}}}
nameFG := &ast.Name{Parts: []ast.Vertex{&ast.NamePart{Value: []byte("F")}, &ast.NamePart{Value: []byte("G")}}}
methodNode := &ast.StmtClassMethod{
Name: &ast.Identifier{Value: []byte("A")},
@ -554,6 +556,10 @@ func TestResolveMethodName(t *testing.T) {
Type: &ast.Union{Types: []ast.Vertex{nameCD, nameDE}},
Var: &ast.ExprVariable{Name: &ast.Identifier{Value: []byte("all")}},
},
&ast.Parameter{
Type: &ast.Intersection{Types: []ast.Vertex{nameEF, nameFG}},
Var: &ast.ExprVariable{Name: &ast.Identifier{Value: []byte("any")}},
},
},
ReturnType: &ast.Nullable{Expr: nameBC},
Stmt: &ast.StmtStmtList{
@ -566,6 +572,8 @@ func TestResolveMethodName(t *testing.T) {
nameBC: "B\\C",
nameCD: "C\\D",
nameDE: "D\\E",
nameEF: "E\\F",
nameFG: "F\\G",
}
nsResolver := nsresolver.NewNamespaceResolver()