<?xml version="1.0" encoding="UTF-8"?>
<files psalm-version="dev-master@">
  <file src="src/CodeCoverage.php">
    <ArgumentTypeCoercion occurrences="1">
      <code>$unit[0]</code>
    </ArgumentTypeCoercion>
    <DocblockTypeContradiction occurrences="1">
      <code>!is_array($linesToBeCovered) &amp;&amp; $linesToBeCovered !== false</code>
    </DocblockTypeContradiction>
    <InternalClass occurrences="3">
      <code>Test::LARGE</code>
      <code>Test::MEDIUM</code>
      <code>Test::SMALL</code>
    </InternalClass>
    <InternalMethod occurrences="5">
      <code>getName</code>
      <code>getName</code>
      <code>getSize</code>
      <code>isLarge</code>
      <code>isMedium</code>
    </InternalMethod>
    <RedundantCondition occurrences="1">
      <code>is_array($linesToBeCovered)</code>
    </RedundantCondition>
    <UnresolvableInclude occurrences="1">
      <code>include_once $uncoveredFile</code>
    </UnresolvableInclude>
  </file>
  <file src="src/Driver/PcovDriver.php">
    <UndefinedConstant occurrences="1">
      <code>inclusive</code>
    </UndefinedConstant>
    <UndefinedFunction occurrences="5">
      <code>clear()</code>
      <code>collect(inclusive, $filesToCollectCoverageFor)</code>
      <code>start()</code>
      <code>stop()</code>
      <code>waiting()</code>
    </UndefinedFunction>
  </file>
  <file src="src/Driver/Xdebug2Driver.php">
    <UndefinedConstant occurrences="3">
      <code>XDEBUG_CC_BRANCH_CHECK</code>
      <code>XDEBUG_CC_DEAD_CODE</code>
      <code>XDEBUG_CC_UNUSED</code>
    </UndefinedConstant>
  </file>
  <file src="src/Driver/Xdebug3Driver.php">
    <UndefinedConstant occurrences="5">
      <code>XDEBUG_CC_BRANCH_CHECK</code>
      <code>XDEBUG_CC_DEAD_CODE</code>
      <code>XDEBUG_CC_UNUSED</code>
      <code>XDEBUG_FILTER_CODE_COVERAGE</code>
      <code>XDEBUG_PATH_INCLUDE</code>
    </UndefinedConstant>
  </file>
  <file src="src/Filter.php">
    <InvalidDocblockParamName occurrences="1">
      <code>$files</code>
    </InvalidDocblockParamName>
  </file>
  <file src="src/Node/AbstractNode.php">
    <DocblockTypeContradiction occurrences="5">
      <code>$this-&gt;id === null</code>
      <code>$this-&gt;parent === null</code>
      <code>$this-&gt;parent === null</code>
      <code>$this-&gt;pathAsArray === null</code>
      <code>$this-&gt;pathAsString === null</code>
    </DocblockTypeContradiction>
    <PossiblyNullPropertyAssignmentValue occurrences="1">
      <code>$parent</code>
    </PossiblyNullPropertyAssignmentValue>
    <PropertyNotSetInConstructor occurrences="3">
      <code>$id</code>
      <code>$pathAsArray</code>
      <code>$pathAsString</code>
    </PropertyNotSetInConstructor>
  </file>
  <file src="src/Node/Builder.php">
    <UnsupportedReferenceUsage occurrences="1">
      <code>$pointer = &amp;$pointer[$path[$i] . $type]</code>
    </UnsupportedReferenceUsage>
  </file>
  <file src="src/Node/Directory.php">
    <DocblockTypeContradiction occurrences="3">
      <code>$this-&gt;classes === null</code>
      <code>$this-&gt;functions === null</code>
      <code>$this-&gt;traits === null</code>
    </DocblockTypeContradiction>
    <MissingTemplateParam occurrences="1">
      <code>IteratorAggregate</code>
    </MissingTemplateParam>
    <PropertyNotSetInConstructor occurrences="3">
      <code>$classes</code>
      <code>$functions</code>
      <code>$traits</code>
    </PropertyNotSetInConstructor>
    <PropertyTypeCoercion occurrences="2">
      <code>$this-&gt;directories</code>
      <code>$this-&gt;files</code>
    </PropertyTypeCoercion>
    <UnsupportedReferenceUsage occurrences="2">
      <code>$this-&gt;directories[] = &amp;$this-&gt;children[count($this-&gt;children) - 1]</code>
      <code>$this-&gt;files[]    = &amp;$this-&gt;children[count($this-&gt;children) - 1]</code>
    </UnsupportedReferenceUsage>
  </file>
  <file src="src/Node/File.php">
    <DocblockTypeContradiction occurrences="5">
      <code>$this-&gt;numClasses === null</code>
      <code>$this-&gt;numMethods === null</code>
      <code>$this-&gt;numTestedFunctions === null</code>
      <code>$this-&gt;numTestedMethods === null</code>
      <code>$this-&gt;numTraits === null</code>
    </DocblockTypeContradiction>
    <InvalidPropertyAssignmentValue occurrences="3">
      <code>$this-&gt;codeUnitsByLine</code>
      <code>$this-&gt;codeUnitsByLine</code>
      <code>$this-&gt;codeUnitsByLine</code>
    </InvalidPropertyAssignmentValue>
    <PropertyNotSetInConstructor occurrences="5">
      <code>$numClasses</code>
      <code>$numMethods</code>
      <code>$numTestedFunctions</code>
      <code>$numTestedMethods</code>
      <code>$numTraits</code>
    </PropertyNotSetInConstructor>
  </file>
  <file src="src/Node/Iterator.php">
    <ArgumentTypeCoercion occurrences="1">
      <code>$this-&gt;nodes[$this-&gt;position]</code>
    </ArgumentTypeCoercion>
    <MissingTemplateParam occurrences="1">
      <code>RecursiveIterator</code>
    </MissingTemplateParam>
    <PropertyNotSetInConstructor occurrences="1">
      <code>$position</code>
    </PropertyNotSetInConstructor>
  </file>
  <file src="src/ProcessedCodeCoverageData.php">
    <PossiblyNullArgument occurrences="1">
      <code>$this-&gt;functionCoverage[$file][$functionName]['branches'][$branchId]['hit']</code>
    </PossiblyNullArgument>
    <PossiblyNullArrayAccess occurrences="3">
      <code>$this-&gt;functionCoverage[$file][$functionName]['branches']</code>
      <code>$this-&gt;functionCoverage[$file][$functionName]['branches'][$branchId]</code>
      <code>$this-&gt;functionCoverage[$file][$functionName]['branches'][$branchId]['hit']</code>
    </PossiblyNullArrayAccess>
    <PossiblyNullArrayAssignment occurrences="1">
      <code>$this-&gt;functionCoverage[$file][$functionName]['branches']</code>
    </PossiblyNullArrayAssignment>
  </file>
  <file src="src/Report/Html/Renderer/File.php">
    <InternalClass occurrences="7">
      <code>BaseTestRunner::STATUS_ERROR</code>
      <code>BaseTestRunner::STATUS_FAILURE</code>
      <code>BaseTestRunner::STATUS_INCOMPLETE</code>
      <code>BaseTestRunner::STATUS_PASSED</code>
      <code>BaseTestRunner::STATUS_RISKY</code>
      <code>BaseTestRunner::STATUS_SKIPPED</code>
      <code>BaseTestRunner::STATUS_WARNING</code>
    </InternalClass>
  </file>
  <file src="src/Report/Xml/BuildInformation.php">
    <PossiblyNullReference occurrences="1">
      <code>createElementNS</code>
    </PossiblyNullReference>
  </file>
  <file src="src/Report/Xml/Coverage.php">
    <PossiblyNullReference occurrences="2">
      <code>createDocumentFragment</code>
      <code>replaceChild</code>
    </PossiblyNullReference>
  </file>
  <file src="src/Report/Xml/Facade.php">
    <PropertyNotSetInConstructor occurrences="2">
      <code>$project</code>
      <code>$target</code>
    </PropertyNotSetInConstructor>
  </file>
  <file src="src/Report/Xml/File.php">
    <ArgumentTypeCoercion occurrences="1">
      <code>$totalsContainer</code>
    </ArgumentTypeCoercion>
    <PossiblyNullPropertyAssignmentValue occurrences="1">
      <code>$context-&gt;ownerDocument</code>
    </PossiblyNullPropertyAssignmentValue>
  </file>
  <file src="src/Report/Xml/Node.php">
    <ArgumentTypeCoercion occurrences="1">
      <code>$totalsContainer</code>
    </ArgumentTypeCoercion>
    <PossiblyNullPropertyAssignmentValue occurrences="1">
      <code>$context-&gt;ownerDocument</code>
    </PossiblyNullPropertyAssignmentValue>
    <PropertyNotSetInConstructor occurrences="2">
      <code>$contextNode</code>
      <code>$dom</code>
    </PropertyNotSetInConstructor>
  </file>
  <file src="src/Report/Xml/Report.php">
    <MissingParamType occurrences="4">
      <code>$name</code>
      <code>$name</code>
      <code>$name</code>
      <code>$name</code>
    </MissingParamType>
  </file>
  <file src="src/Report/Xml/Source.php">
    <PossiblyNullArgument occurrences="1">
      <code>$context-&gt;namespaceURI</code>
    </PossiblyNullArgument>
    <PossiblyNullReference occurrences="2">
      <code>importNode</code>
      <code>replaceChild</code>
    </PossiblyNullReference>
  </file>
  <file src="src/Report/Xml/Tests.php">
    <MissingPropertyType occurrences="1">
      <code>$codeMap</code>
    </MissingPropertyType>
    <PossiblyNullReference occurrences="1">
      <code>createElementNS</code>
    </PossiblyNullReference>
  </file>
  <file src="src/Report/Xml/Totals.php">
    <PossiblyNullReference occurrences="1">
      <code>createElementNS</code>
    </PossiblyNullReference>
  </file>
  <file src="src/Report/Xml/Unit.php">
    <PossiblyNullReference occurrences="2">
      <code>createElementNS</code>
      <code>createElementNS</code>
    </PossiblyNullReference>
  </file>
  <file src="src/StaticAnalysis/CachingFileAnalyser.php">
    <NullableReturnStatement occurrences="6">
      <code>$this-&gt;cache[$filename]['classesIn']</code>
      <code>$this-&gt;cache[$filename]['executableLinesIn']</code>
      <code>$this-&gt;cache[$filename]['functionsIn']</code>
      <code>$this-&gt;cache[$filename]['ignoredLinesFor']</code>
      <code>$this-&gt;cache[$filename]['linesOfCodeFor']</code>
      <code>$this-&gt;cache[$filename]['traitsIn']</code>
    </NullableReturnStatement>
    <PossiblyNullArrayAccess occurrences="6">
      <code>$this-&gt;cache[$filename]['classesIn']</code>
      <code>$this-&gt;cache[$filename]['executableLinesIn']</code>
      <code>$this-&gt;cache[$filename]['functionsIn']</code>
      <code>$this-&gt;cache[$filename]['ignoredLinesFor']</code>
      <code>$this-&gt;cache[$filename]['linesOfCodeFor']</code>
      <code>$this-&gt;cache[$filename]['traitsIn']</code>
    </PossiblyNullArrayAccess>
    <PossiblyUndefinedArrayOffset occurrences="6">
      <code>$this-&gt;cache[$filename]</code>
      <code>$this-&gt;cache[$filename]</code>
      <code>$this-&gt;cache[$filename]</code>
      <code>$this-&gt;cache[$filename]</code>
      <code>$this-&gt;cache[$filename]</code>
      <code>$this-&gt;cache[$filename]</code>
    </PossiblyUndefinedArrayOffset>
  </file>
  <file src="src/StaticAnalysis/CodeUnitFindingVisitor.php">
    <PossiblyInvalidOperand occurrences="1">
      <code>$parameter-&gt;var-&gt;name</code>
    </PossiblyInvalidOperand>
    <PossiblyNullReference occurrences="4">
      <code>toString</code>
      <code>toString</code>
      <code>toString</code>
      <code>toString</code>
    </PossiblyNullReference>
    <PossiblyUndefinedMethod occurrences="1">
      <code>toString</code>
    </PossiblyUndefinedMethod>
    <RedundantConditionGivenDocblockType occurrences="9">
      <code>$node instanceof Function_</code>
      <code>$node instanceof Function_</code>
      <code>$type instanceof ComplexType</code>
      <code>assert($node-&gt;namespacedName instanceof Name)</code>
      <code>assert($node-&gt;namespacedName instanceof Name)</code>
      <code>assert($parentNode-&gt;namespacedName instanceof Name)</code>
      <code>assert(isset($node-&gt;name))</code>
      <code>assert(isset($node-&gt;namespacedName))</code>
      <code>assert(isset($parameter-&gt;var-&gt;name))</code>
    </RedundantConditionGivenDocblockType>
  </file>
  <file src="src/Version.php">
    <DocblockTypeContradiction occurrences="1">
      <code>self::$version === null</code>
    </DocblockTypeContradiction>
  </file>
</files>
