<?xml version="1.0" encoding="UTF-8"?>
<files psalm-version="5.25.0@01a8eb06b9e9cc6cfb6a320bf9fb14331919d505">
  <file src="src/CodeCoverage.php">
    <ArgumentTypeCoercion>
      <code><![CDATA[$tmp[0]]]></code>
    </ArgumentTypeCoercion>
    <RedundantCondition>
      <code><![CDATA[$class->isSubclassOf($parentClass)]]></code>
      <code><![CDATA[is_array($linesToBeCovered)]]></code>
    </RedundantCondition>
  </file>
  <file src="src/Data/ProcessedCodeCoverageData.php">
    <InvalidArgument>
      <code><![CDATA[$functionData]]></code>
      <code><![CDATA[$functionData]]></code>
    </InvalidArgument>
    <PossiblyNullArgument>
      <code><![CDATA[$newData->lineCoverage[$file][$line]]]></code>
    </PossiblyNullArgument>
    <PropertyTypeCoercion>
      <code><![CDATA[$this->functionCoverage]]></code>
      <code><![CDATA[$this->functionCoverage]]></code>
      <code><![CDATA[$this->functionCoverage]]></code>
      <code><![CDATA[$this->functionCoverage]]></code>
      <code><![CDATA[$this->functionCoverage]]></code>
      <code><![CDATA[$this->functionCoverage]]></code>
      <code><![CDATA[$this->functionCoverage]]></code>
      <code><![CDATA[$this->functionCoverage]]></code>
      <code><![CDATA[$this->functionCoverage]]></code>
      <code><![CDATA[$this->functionCoverage]]></code>
      <code><![CDATA[$this->lineCoverage]]></code>
      <code><![CDATA[$this->lineCoverage]]></code>
      <code><![CDATA[$this->lineCoverage]]></code>
    </PropertyTypeCoercion>
  </file>
  <file src="src/Driver/PcovDriver.php">
    <UndefinedConstant>
      <code><![CDATA[inclusive]]></code>
    </UndefinedConstant>
    <UndefinedFunction>
      <code><![CDATA[clear()]]></code>
      <code><![CDATA[collect(inclusive, $filesToCollectCoverageFor)]]></code>
      <code><![CDATA[start()]]></code>
      <code><![CDATA[stop()]]></code>
      <code><![CDATA[waiting()]]></code>
    </UndefinedFunction>
  </file>
  <file src="src/Driver/XdebugDriver.php">
    <UndefinedConstant>
      <code><![CDATA[XDEBUG_CC_BRANCH_CHECK]]></code>
      <code><![CDATA[XDEBUG_CC_DEAD_CODE]]></code>
      <code><![CDATA[XDEBUG_CC_UNUSED]]></code>
      <code><![CDATA[XDEBUG_FILTER_CODE_COVERAGE]]></code>
      <code><![CDATA[XDEBUG_PATH_INCLUDE]]></code>
    </UndefinedConstant>
  </file>
  <file src="src/Filter.php">
    <ArgumentTypeCoercion>
      <code><![CDATA[$directory]]></code>
      <code><![CDATA[$directory]]></code>
    </ArgumentTypeCoercion>
    <DeprecatedMethod>
      <code><![CDATA[excludeFile]]></code>
    </DeprecatedMethod>
    <InvalidDocblockParamName>
      <code><![CDATA[$files]]></code>
    </InvalidDocblockParamName>
    <RiskyTruthyFalsyComparison>
      <code><![CDATA[!$filename]]></code>
      <code><![CDATA[!$filename]]></code>
    </RiskyTruthyFalsyComparison>
  </file>
  <file src="src/Node/Builder.php">
    <RiskyTruthyFalsyComparison>
      <code><![CDATA[empty($paths[$i][0])]]></code>
    </RiskyTruthyFalsyComparison>
    <UnsupportedReferenceUsage>
      <code><![CDATA[$pointer = &$pointer[$path[$i] . $type]]]></code>
    </UnsupportedReferenceUsage>
  </file>
  <file src="src/Node/Directory.php">
    <MissingTemplateParam>
      <code><![CDATA[IteratorAggregate]]></code>
    </MissingTemplateParam>
    <PropertyTypeCoercion>
      <code><![CDATA[$this->directories]]></code>
      <code><![CDATA[$this->files]]></code>
    </PropertyTypeCoercion>
    <UnsupportedReferenceUsage>
      <code><![CDATA[$this->directories[] = &$this->children[count($this->children) - 1]]]></code>
      <code><![CDATA[$this->files[]    = &$this->children[count($this->children) - 1]]]></code>
    </UnsupportedReferenceUsage>
  </file>
  <file src="src/Node/Iterator.php">
    <ArgumentTypeCoercion>
      <code><![CDATA[$this->nodes[$this->position]]]></code>
    </ArgumentTypeCoercion>
    <MissingTemplateParam>
      <code><![CDATA[RecursiveIterator]]></code>
    </MissingTemplateParam>
    <PropertyNotSetInConstructor>
      <code><![CDATA[$position]]></code>
    </PropertyNotSetInConstructor>
    <PropertyTypeCoercion>
      <code><![CDATA[$node->children()]]></code>
    </PropertyTypeCoercion>
  </file>
  <file src="src/Report/Html/Renderer.php">
    <InvalidArgument>
      <code><![CDATA[[
                'id'               => $node->id(),
                'full_path'        => $node->pathAsString(),
                'path_to_root'     => $this->pathToRoot($node),
                'breadcrumbs'      => $this->breadcrumbs($node),
                'date'             => $this->date,
                'version'          => $this->version,
                'runtime'          => $this->runtimeString(),
                'generator'        => $this->generator,
                'low_upper_bound'  => $this->thresholds->lowUpperBound(),
                'high_lower_bound' => $this->thresholds->highLowerBound(),
            ]]]></code>
    </InvalidArgument>
    <PossiblyUndefinedArrayOffset>
      <code><![CDATA[$data['branchesExecutedPercentAsString']]]></code>
      <code><![CDATA[$data['linesExecutedPercentAsString']]]></code>
      <code><![CDATA[$data['pathsExecutedPercentAsString']]]></code>
      <code><![CDATA[$data['testedMethodsPercentAsString']]]></code>
    </PossiblyUndefinedArrayOffset>
  </file>
  <file src="src/Report/Html/Renderer/Dashboard.php">
    <PossiblyInvalidArgument>
      <code><![CDATA[str_replace($baseLink, '', $class['link'])]]></code>
      <code><![CDATA[str_replace($baseLink, '', $classes[$className]['link'])]]></code>
      <code><![CDATA[str_replace($baseLink, '', $classes[$className]['link'])]]></code>
      <code><![CDATA[str_replace($baseLink, '', $classes[$class]['methods'][$method]['link'])]]></code>
      <code><![CDATA[str_replace($baseLink, '', $classes[$class]['methods'][$method]['link'])]]></code>
      <code><![CDATA[str_replace($baseLink, '', $method['link'])]]></code>
    </PossiblyInvalidArgument>
  </file>
  <file src="src/Report/Html/Renderer/File.php">
    <InvalidArgument>
      <code><![CDATA[[
                'lineNumber'  => $lineNumber,
                'lineContent' => $lineContent,
                'class'       => $class,
                'popover'     => $popover,
            ]]]></code>
    </InvalidArgument>
    <InvalidArrayOffset>
      <code><![CDATA[$tokens[$j - 1]]]></code>
    </InvalidArrayOffset>
    <RiskyTruthyFalsyComparison>
      <code><![CDATA[$coverageData[$i]]]></code>
    </RiskyTruthyFalsyComparison>
  </file>
  <file src="src/Report/Xml/Coverage.php">
    <PossiblyNullReference>
      <code><![CDATA[replaceChild]]></code>
    </PossiblyNullReference>
  </file>
  <file src="src/Report/Xml/Facade.php">
    <PropertyNotSetInConstructor>
      <code><![CDATA[$project]]></code>
      <code><![CDATA[$target]]></code>
    </PropertyNotSetInConstructor>
  </file>
  <file src="src/Report/Xml/File.php">
    <ArgumentTypeCoercion>
      <code><![CDATA[$totalsContainer]]></code>
    </ArgumentTypeCoercion>
  </file>
  <file src="src/Report/Xml/Node.php">
    <ArgumentTypeCoercion>
      <code><![CDATA[$totalsContainer]]></code>
    </ArgumentTypeCoercion>
    <PropertyNotSetInConstructor>
      <code><![CDATA[$contextNode]]></code>
      <code><![CDATA[$dom]]></code>
    </PropertyNotSetInConstructor>
  </file>
  <file src="src/Report/Xml/Report.php">
    <MissingParamType>
      <code><![CDATA[$name]]></code>
      <code><![CDATA[$name]]></code>
      <code><![CDATA[$name]]></code>
      <code><![CDATA[$name]]></code>
    </MissingParamType>
  </file>
  <file src="src/Report/Xml/Source.php">
    <PossiblyNullArgument>
      <code><![CDATA[$context->namespaceURI]]></code>
    </PossiblyNullArgument>
    <PossiblyNullReference>
      <code><![CDATA[replaceChild]]></code>
    </PossiblyNullReference>
  </file>
  <file src="src/StaticAnalysis/CachingFileAnalyser.php">
    <NullableReturnStatement>
      <code><![CDATA[$this->cache[$filename]['classesIn']]]></code>
      <code><![CDATA[$this->cache[$filename]['executableLinesIn']]]></code>
      <code><![CDATA[$this->cache[$filename]['functionsIn']]]></code>
      <code><![CDATA[$this->cache[$filename]['ignoredLinesFor']]]></code>
      <code><![CDATA[$this->cache[$filename]['linesOfCodeFor']]]></code>
      <code><![CDATA[$this->cache[$filename]['traitsIn']]]></code>
    </NullableReturnStatement>
    <PossiblyNullArrayAccess>
      <code><![CDATA[$this->cache[$filename]['classesIn']]]></code>
      <code><![CDATA[$this->cache[$filename]['executableLinesIn']]]></code>
      <code><![CDATA[$this->cache[$filename]['functionsIn']]]></code>
      <code><![CDATA[$this->cache[$filename]['ignoredLinesFor']]]></code>
      <code><![CDATA[$this->cache[$filename]['linesOfCodeFor']]]></code>
      <code><![CDATA[$this->cache[$filename]['traitsIn']]]></code>
    </PossiblyNullArrayAccess>
    <PossiblyUndefinedArrayOffset>
      <code><![CDATA[$this->cache[$filename]]]></code>
      <code><![CDATA[$this->cache[$filename]]]></code>
      <code><![CDATA[$this->cache[$filename]]]></code>
      <code><![CDATA[$this->cache[$filename]]]></code>
      <code><![CDATA[$this->cache[$filename]]]></code>
      <code><![CDATA[$this->cache[$filename]]]></code>
    </PossiblyUndefinedArrayOffset>
  </file>
  <file src="src/StaticAnalysis/CodeUnitFindingVisitor.php">
    <PossiblyInvalidOperand>
      <code><![CDATA[$parameter->var->name]]></code>
    </PossiblyInvalidOperand>
    <PossiblyNullReference>
      <code><![CDATA[toString]]></code>
      <code><![CDATA[toString]]></code>
      <code><![CDATA[toString]]></code>
      <code><![CDATA[toString]]></code>
    </PossiblyNullReference>
    <PossiblyUndefinedMethod>
      <code><![CDATA[toString]]></code>
    </PossiblyUndefinedMethod>
    <RedundantCondition>
      <code><![CDATA[assert($node->namespacedName instanceof Name)]]></code>
      <code><![CDATA[assert(isset($node->name))]]></code>
      <code><![CDATA[assert(isset($node->namespacedName))]]></code>
    </RedundantCondition>
    <RedundantConditionGivenDocblockType>
      <code><![CDATA[assert($node->namespacedName instanceof Name)]]></code>
      <code><![CDATA[assert($parentNode->namespacedName instanceof Name)]]></code>
      <code><![CDATA[assert(isset($parameter->var->name))]]></code>
    </RedundantConditionGivenDocblockType>
    <UnsupportedPropertyReferenceUsage>
      <code><![CDATA[$storage = &$this->classes]]></code>
      <code><![CDATA[$storage = &$this->traits]]></code>
    </UnsupportedPropertyReferenceUsage>
  </file>
  <file src="src/StaticAnalysis/ExecutableLinesFindingVisitor.php">
    <UndefinedClass>
      <code><![CDATA[Node\Stmt\Throw_]]></code>
    </UndefinedClass>
  </file>
  <file src="src/StaticAnalysis/ParsingFileAnalyser.php">
    <RiskyTruthyFalsyComparison>
      <code><![CDATA[empty($source)]]></code>
    </RiskyTruthyFalsyComparison>
  </file>
</files>
