original_string: public function csvToArray($value)
      {
          if ($value === null) {
              return [];
          }
  
          $result = explode(',', $value);
          $result = array_map('trim', $result);
          $result = array_filter($result);
  
          return array_values($result);
      }
code: public function csvToArray($value)
      {
          if ($value === null) {
              return [];
          }
  
          $result = explode(',', $value);
          $result = array_map('trim', $result);
          $result = array_filter($result);
  
          return array_values($result);
      }
code_tokens: public function csvToArray ( $ value ) { if ( $ value === null ) { return [ ] ; } $ result = explode ( ',' , $ value ) ; $ result = array_map ( 'trim' , $ result ) ; $ result = array_filter ( $ result ) ; return array_values ( $ result ) ; }
docstring: Convert a CSV string to an array.
  
  Remove empties and surrounding spaces.
  
  @param string|null $value
  
  @return array
docstring_tokens: Convert a CSV string to an array .