vimeo/psalm

Bug: psalm.xml cannot be loaded if a non-existent directory is specified

Open

#7.111 aberto em 9 de dez. de 2021

Ver no GitHub
 (2 comments) (2 reactions) (0 assignees)PHP (668 forks)batch import
Help wantedenhancement

Métricas do repositório

Stars
 (5.369 stars)
Métricas de merge de PR
 (Mesclagem média 3d 12h) (5 fundiu PRs em 30d)

Description

I just had this strange error

Problem parsing /var/www/html/psalm.xml: Could not resolve config path to /var/www/html/

thrown from here.

The cause was this snippet in my psalm.xml:

        <RedundantConditionGivenDocblockType>
            <errorLevel type="suppress">
                <directory name="bar/"/>
            </errorLevel>
        </RedundantConditionGivenDocblockType>

I just had moved bar to foo/bar. So it could not resolve bar (realpath in Line 168 returned false). That was hard to find because the error was not very informative. Maybe we could change that so that I can see the real mistake a bit more clearly? 😅

Guia do colaborador

Direção de pesquisa
Melhore a mensagem de erro em FileFilter.php quando realpath retornar false, para que o nome do diretório inexistente seja exibido.
Pilha de tecnologia
php
Domain
backend
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
PHP
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
70