123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188 |
- <?php namespace Laravel;
- class File {
- /**
- * Determine if a file exists.
- *
- * @param string $path
- * @return bool
- */
- public function exists($path)
- {
- return file_exists($path);
- }
- /**
- * Get the contents of a file.
- *
- * @param string $path
- * @return string
- */
- public function get($path)
- {
- return file_get_contents($path);
- }
- /**
- * Write to a file.
- *
- * @param string $path
- * @param string $data
- * @return int
- */
- public function put($path, $data)
- {
- return file_put_contents($path, $data, LOCK_EX);
- }
- /**
- * Append to a file.
- *
- * @param string $path
- * @param string $data
- * @return int
- */
- public function append($path, $data)
- {
- return file_put_contents($path, $data, LOCK_EX | FILE_APPEND);
- }
- /**
- * Delete a file.
- *
- * @param string $path
- * @return void
- */
- public function delete($path)
- {
- @unlink($path);
- }
- /**
- * Extract the file extension from a file path.
- *
- * @param string $path
- * @return string
- */
- public function extension($path)
- {
- return pathinfo($path, PATHINFO_EXTENSION);
- }
- /**
- * Get the file type of a given file.
- *
- * @param string $path
- * @return string
- */
- public function type($path)
- {
- return filetype($path);
- }
- /**
- * Get the file size of a given file.
- *
- * @param string $file
- * @return int
- */
- public function size($path)
- {
- return filesize($path);
- }
- /**
- * Get the file's last modification time.
- *
- * @param string $path
- * @return int
- */
- public function modified($path)
- {
- return filemtime($path);
- }
- /**
- * Get the lines surrounding a given line in a file.
- *
- * The amount of padding with which to surround the line may also be specified.
- *
- * <code>
- * // Get lines 10 - 20 of the "routes.php" file
- * $lines = $file->snapshot(APP_PATH.'routes'.EXT, 15, 5);
- * </code>
- *
- * @param string $path
- * @param int $line
- * @param int $padding
- * @return array
- */
- public function snapshot($path, $line, $padding = 5)
- {
- if ( ! file_exists($path)) return array();
- $file = file($path, FILE_IGNORE_NEW_LINES);
- array_unshift($file, '');
- $start = $line - $padding;
- $length = ($line - $start) + $padding + 1;
- return array_slice($file, ($start > 0) ? $start : 0, ($length > 0) ? $length : 0, true);
- }
- /**
- * Get a file MIME type by extension.
- *
- * Any extension in the MIMEs configuration file may be passed to the method.
- *
- * <code>
- * // Returns "application/x-tar"
- * $mime = $file->mime('tar');
- * </code>
- *
- * @param string $extension
- * @param string $default
- * @return string
- */
- public function mime($extension, $default = 'application/octet-stream')
- {
- $mimes = Config::get('mimes');
- if ( ! array_key_exists($extension, $mimes)) return $default;
- return (is_array($mimes[$extension])) ? $mimes[$extension][0] : $mimes[$extension];
- }
- /**
- * Determine if a file is a given type.
- *
- * The Fileinfo PHP extension will be used to determine the MIME type of the file. Any extension
- * in the MIMEs configuration file may be passed as a type.
- *
- * <code>
- * // Determine if the file is a JPG image
- * $image = $file->is('jpg', 'path/to/image.jpg');
- * </code>
- *
- * @param string $extension
- * @param string $path
- * @return bool
- */
- public function is($extension, $path)
- {
- $mimes = Config::get('mimes');
- if ( ! array_key_exists($extension, $mimes))
- {
- throw new \Exception("File extension [$extension] is unknown. Cannot determine file type.");
- }
- $mime = finfo_file(finfo_open(FILEINFO_MIME_TYPE), $path);
- return (is_array($mimes[$extension])) ? in_array($mime, $mimes[$extension]) : $mime === $mimes[$extension];
- }
- }
|