<?xml version="1.0" encoding="UTF-8"?>
<files psalm-version="4.27.0@faf106e717c37b8c81721845dba9de3d8deed8ff">
  <file src="lib/Activity/ActivityManager.php">
    <TypeDoesNotContainType occurrences="1">
      <code>$message !== null</code>
    </TypeDoesNotContainType>
  </file>
  <file src="lib/Activity/DeckProvider.php">
    <InvalidScalarArgument occurrences="1">
      <code>(int)$subjectParams['comment']</code>
    </InvalidScalarArgument>
  </file>
  <file src="lib/Activity/Filter.php">
    <MethodSignatureMismatch occurrences="1">
      <code>$types</code>
    </MethodSignatureMismatch>
  </file>
  <file src="lib/Command/UserExport.php">
    <ImplementedReturnTypeMismatch occurrences="1">
      <code>void</code>
    </ImplementedReturnTypeMismatch>
    <UndefinedThisPropertyAssignment occurrences="2">
      <code>$this-&gt;boardMapper</code>
      <code>$this-&gt;stackMapper</code>
    </UndefinedThisPropertyAssignment>
    <UndefinedThisPropertyFetch occurrences="2">
      <code>$this-&gt;boardMapper</code>
      <code>$this-&gt;stackMapper</code>
    </UndefinedThisPropertyFetch>
  </file>
  <file src="lib/Controller/BoardApiController.php">
    <TypeDoesNotContainNull occurrences="2">
      <code>$modified === null</code>
      <code>$modified === null</code>
    </TypeDoesNotContainNull>
    <UndefinedClass occurrences="1">
      <code>Util</code>
    </UndefinedClass>
    <UndefinedThisPropertyAssignment occurrences="1">
      <code>$this-&gt;userId</code>
    </UndefinedThisPropertyAssignment>
    <UndefinedThisPropertyFetch occurrences="1">
      <code>$this-&gt;userId</code>
    </UndefinedThisPropertyFetch>
  </file>
  <file src="lib/Controller/CommentsApiController.php">
    <InvalidScalarArgument occurrences="6">
      <code>$cardId</code>
      <code>$cardId</code>
      <code>$cardId</code>
      <code>$commentId</code>
      <code>$commentId</code>
      <code>$parentId</code>
    </InvalidScalarArgument>
  </file>
  <file src="lib/Controller/PageController.php">
    <UndefinedClass occurrences="1">
      <code>LoadSidebar</code>
    </UndefinedClass>
  </file>
  <file src="lib/Controller/StackApiController.php">
    <RedundantCondition occurrences="1">
      <code>$modified !== null</code>
    </RedundantCondition>
    <UndefinedClass occurrences="1">
      <code>Util</code>
    </UndefinedClass>
  </file>
  <file src="lib/DAV/Calendar.php">
    <UndefinedClass occurrences="1">
      <code>ExternalCalendar</code>
    </UndefinedClass>
  </file>
  <file src="lib/DAV/CalendarObject.php">
    <UndefinedClass occurrences="1">
      <code>ICalendarObject</code>
    </UndefinedClass>
  </file>
  <file src="lib/DAV/CalendarPlugin.php">
    <UndefinedClass occurrences="1">
      <code>ICalendarProvider</code>
    </UndefinedClass>
  </file>
  <file src="lib/DAV/DeckCalendarBackend.php">
    <UndefinedClass occurrences="1">
      <code>NotFound</code>
    </UndefinedClass>
  </file>
  <file src="lib/Db/Card.php">
    <UndefinedClass occurrences="2">
      <code>VCalendar</code>
      <code>VCalendar</code>
    </UndefinedClass>
  </file>
  <file src="lib/Db/CardMapper.php">
    <InvalidScalarArgument occurrences="1">
      <code>$entity-&gt;getId()</code>
    </InvalidScalarArgument>
    <UndefinedInterfaceMethod occurrences="1">
      <code>getUserIdGroups</code>
    </UndefinedInterfaceMethod>
  </file>
  <file src="lib/Db/LabelMapper.php">
    <ParamNameMismatch occurrences="1">
      <code>$labelId</code>
    </ParamNameMismatch>
  </file>
  <file src="lib/Db/Stack.php">
    <UndefinedClass occurrences="2">
      <code>VCalendar</code>
      <code>VCalendar</code>
    </UndefinedClass>
  </file>
  <file src="lib/Migration/Version10800Date20220422061816.php">
    <MoreSpecificImplementedParamType occurrences="1">
      <code>$schemaClosure</code>
    </MoreSpecificImplementedParamType>
  </file>
  <file src="lib/Service/AssignmentService.php">
    <InvalidScalarArgument occurrences="2">
      <code>$cardId</code>
      <code>$cardId</code>
    </InvalidScalarArgument>
  </file>
  <file src="lib/Service/AttachmentService.php">
    <InvalidCatch occurrences="1"/>
  </file>
  <file src="lib/Service/BoardService.php">
    <TooManyArguments occurrences="2">
      <code>findAll</code>
      <code>findAll</code>
    </TooManyArguments>
  </file>
  <file src="lib/Service/CirclesService.php">
    <RedundantCondition occurrences="1">
      <code>$member !== null</code>
    </RedundantCondition>
  </file>
  <file src="lib/Service/FileService.php">
    <RedundantCondition occurrences="2">
      <code>is_resource($content)</code>
      <code>is_resource($content)</code>
    </RedundantCondition>
  </file>
  <file src="lib/Service/StackService.php">
    <UndefinedClass occurrences="1">
      <code>BadRquestException</code>
    </UndefinedClass>
  </file>
  <file src="lib/Sharing/Listener.php">
    <InvalidArgument occurrences="1">
      <code>[self::class, 'listenPreShare']</code>
    </InvalidArgument>
  </file>
</files>
