private function sourcesToPatterns(string $sources): array
  {
    if (substr($sources, 0, 5)=='file:')
    {
      $patterns = $this->readPatterns(substr($sources, 5));
    }
    else
    {
      $patterns = [$sources];
    }

    return $patterns;
  }