Merge pull request #7 from LibreCodeCoop/chore/bump-php-versions

chore: bump php versions

Author: vitormattos

.github/workflows/lint-php-cs.yml

@@ -32,7 +32,7 @@ jobs:
       - name: Set up php
         uses: shivammathur/setup-php@1a18b2267f80291a81ca1d33e7c851fe09e7dfc4 # v2
         with:
-          php-version: 8.3
+          php-version: 8.5
           coverage: none
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/lint-php.yml

@@ -24,7 +24,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        php-versions: [ "8.3" ]
+        php-versions: [ 8.5 ]
 
     name: php-lint
 

.github/workflows/phpunit.yml

@@ -20,7 +20,7 @@ jobs:
 
     strategy:
       matrix:
-        php-versions: ['8.3']
+        php-versions: [8.5]
 
     steps:
       - name: Checkout

composer.lock

@@ -1,4 +1,5 @@
 <?php
+
 /**
  * @copyright Copyright (c) 2023, Vitor Mattos <vitor@php.rio>
  *
@@ -28,6 +29,10 @@
 use DateTime;
 use InvalidArgumentException;
 
+/**
+ * @psalm-suppress UnusedClass
+ * @psalm-suppress ClassMustBeFinal
+ */
 class INSS
 {
     private float $baseMaxima;
@@ -53,10 +58,15 @@ private function loadTabela(string $arquivoDaTabela): void
             throw new InvalidArgumentException('Arquivo da tabela INSS não encontrado: ' . $arquivoDaTabela);
         }
         $data = file_get_contents($arquivoDaTabela);
+        if ($data === false) {
+            throw new InvalidArgumentException('Não foi possível ler o arquivo da tabela INSS: ' . $arquivoDaTabela);
+        }
         if (!json_validate($data)) {
             throw new InvalidArgumentException('Conteúdo do arquivo da tabela INSS ser um JSON: ' . $arquivoDaTabela);
         }
-        $this->tabela = json_decode($data, true);
+        /** @var array<array-key, array<string, float>> $tabela */
+        $tabela = json_decode($data, true);
+        $this->tabela = $tabela;
     }
 
     private function getBaseMaxima(): float

src/Service/INSS.php

@@ -1,4 +1,5 @@
 <?php
+
 /**
  * @copyright Copyright (c) 2023, Vitor Mattos <vitor@php.rio>
  *
@@ -30,6 +31,9 @@
 /**
  * Calculadora de teste: https://www27.receita.fazenda.gov.br/simulador-irpf/
  * Fonte de dados: https://www.gov.br/receitafederal/pt-br/assuntos/meu-imposto-de-renda/tabelas
+ *
+ * @psalm-suppress UnusedClass
+ * @psalm-suppress ClassMustBeFinal
  */
 class IRPF
 {
@@ -56,10 +60,15 @@ private function loadTabelaProgressiva(string $arquivoDaTabelaIRPF): void
             throw new InvalidArgumentException('Arquivo da tabela progressiva do IRPF não encontrado: ' . $arquivoDaTabelaIRPF);
         }
         $data = file_get_contents($arquivoDaTabelaIRPF);
+        if ($data === false) {
+            throw new InvalidArgumentException('Não foi possível ler o arquivo da tabela progressiva do IRPF: ' . $arquivoDaTabelaIRPF);
+        }
         if (!json_validate($data)) {
             throw new InvalidArgumentException('Conteúdo do arquivo da tabela progressiva do IRPF ser um JSON: ' . $arquivoDaTabelaIRPF);
         }
-        $this->tabelaProgressiva = json_decode($data, true);
+        /** @var array<int, list<array<string, mixed>>> $tabelaProgressiva */
+        $tabelaProgressiva = json_decode($data, true);
+        $this->tabelaProgressiva = $tabelaProgressiva;
     }
 
     private function filtraTabelaProgressiva(): array
@@ -72,7 +81,12 @@ private function filtraTabelaProgressiva(): array
             $tabelasDoAnoBase,
             fn (array $t) => $this->isOnMonthInterval($t)
         );
-        return current($aliquotasDoMes);
+        $tabelaDoMes = current($aliquotasDoMes);
+        if ($tabelaDoMes === false) {
+            throw new InvalidArgumentException('Mês inexistente: '. $this->mes . '. Corrija a tabela progressiva do IRPF.');
+        }
+
+        return $tabelaDoMes;
     }
 
     private function isOnMonthInterval(array $row): bool
@@ -156,6 +170,7 @@ private function calculaDeducaoTradicional(float $inss, int $dependentes): float
         return $inss + $dependentes * $this->tabela['deducao_por_dependente'];
     }
 
+    /** @psalm-suppress PossiblyUnusedParam */
     public function calcula(float $base, int $dependentes): float
     {
         $faixa = $this->getFaixa($base);

src/Service/IRPF.php

@@ -1,4 +1,5 @@
 <?php
+
 /**
  * @copyright Copyright (c) 2023, Vitor Mattos <vitor@php.rio>
  *
@@ -25,6 +26,9 @@
 
 namespace Impostos\Service;
 
+/**
+ * @psalm-suppress UnusedClass
+ */
 enum TipoProducao: int
 {
     case PRODUCAO_INTERNA = 1;

src/Service/TipoProducao.php

@@ -1,4 +1,5 @@
 <?php
+
 /**
  * @copyright Copyright (c) 2023, Vitor Mattos <vitor@php.rio>
  *

src/bootstrap.php

@@ -1,4 +1,5 @@
 <?php
+
 /**
  * @copyright Copyright (c) 2023, Vitor Mattos <vitor@php.rio>
  *

tests/php/Service/INSSTest.php

@@ -1,4 +1,5 @@
 <?php
+
 /**
  * @copyright Copyright (c) 2023, Vitor Mattos <vitor@php.rio>
  *