Allow supervised users to create bookmark apps.
[chromium-blink-merge.git] / base / files / file.h
blobb21b15972bce7c62be0dad659cff4e76af262ac2
1 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
5 #ifndef BASE_FILES_FILE_H_
6 #define BASE_FILES_FILE_H_
8 #include "build/build_config.h"
9 #if defined(OS_WIN)
10 #include <windows.h>
11 #endif
13 #if defined(OS_POSIX)
14 #include <sys/stat.h>
15 #endif
17 #include <string>
19 #include "base/base_export.h"
20 #include "base/basictypes.h"
21 #include "base/files/file_path.h"
22 #include "base/files/file_tracing.h"
23 #include "base/files/scoped_file.h"
24 #include "base/gtest_prod_util.h"
25 #include "base/move.h"
26 #include "base/time/time.h"
28 #if defined(OS_WIN)
29 #include "base/win/scoped_handle.h"
30 #endif
32 FORWARD_DECLARE_TEST(FileTest, MemoryCorruption);
34 namespace base {
36 #if defined(OS_WIN)
37 typedef HANDLE PlatformFile;
38 #elif defined(OS_POSIX)
39 typedef int PlatformFile;
41 #if defined(OS_BSD) || defined(OS_MACOSX) || defined(OS_NACL)
42 typedef struct stat stat_wrapper_t;
43 #else
44 typedef struct stat64 stat_wrapper_t;
45 #endif
46 #endif // defined(OS_POSIX)
48 // Thin wrapper around an OS-level file.
49 // Note that this class does not provide any support for asynchronous IO, other
50 // than the ability to create asynchronous handles on Windows.
52 // Note about const: this class does not attempt to determine if the underlying
53 // file system object is affected by a particular method in order to consider
54 // that method const or not. Only methods that deal with member variables in an
55 // obvious non-modifying way are marked as const. Any method that forward calls
56 // to the OS is not considered const, even if there is no apparent change to
57 // member variables.
58 class BASE_EXPORT File {
59 MOVE_ONLY_TYPE_FOR_CPP_03(File, RValue)
61 public:
62 // FLAG_(OPEN|CREATE).* are mutually exclusive. You should specify exactly one
63 // of the five (possibly combining with other flags) when opening or creating
64 // a file.
65 // FLAG_(WRITE|APPEND) are mutually exclusive. This is so that APPEND behavior
66 // will be consistent with O_APPEND on POSIX.
67 // FLAG_EXCLUSIVE_(READ|WRITE) only grant exclusive access to the file on
68 // creation on POSIX; for existing files, consider using Lock().
69 enum Flags {
70 FLAG_OPEN = 1 << 0, // Opens a file, only if it exists.
71 FLAG_CREATE = 1 << 1, // Creates a new file, only if it does not
72 // already exist.
73 FLAG_OPEN_ALWAYS = 1 << 2, // May create a new file.
74 FLAG_CREATE_ALWAYS = 1 << 3, // May overwrite an old file.
75 FLAG_OPEN_TRUNCATED = 1 << 4, // Opens a file and truncates it, only if it
76 // exists.
77 FLAG_READ = 1 << 5,
78 FLAG_WRITE = 1 << 6,
79 FLAG_APPEND = 1 << 7,
80 FLAG_EXCLUSIVE_READ = 1 << 8, // EXCLUSIVE is opposite of Windows SHARE.
81 FLAG_EXCLUSIVE_WRITE = 1 << 9,
82 FLAG_ASYNC = 1 << 10,
83 FLAG_TEMPORARY = 1 << 11, // Used on Windows only.
84 FLAG_HIDDEN = 1 << 12, // Used on Windows only.
85 FLAG_DELETE_ON_CLOSE = 1 << 13,
86 FLAG_WRITE_ATTRIBUTES = 1 << 14, // Used on Windows only.
87 FLAG_SHARE_DELETE = 1 << 15, // Used on Windows only.
88 FLAG_TERMINAL_DEVICE = 1 << 16, // Serial port flags.
89 FLAG_BACKUP_SEMANTICS = 1 << 17, // Used on Windows only.
90 FLAG_EXECUTE = 1 << 18, // Used on Windows only.
93 // This enum has been recorded in multiple histograms. If the order of the
94 // fields needs to change, please ensure that those histograms are obsolete or
95 // have been moved to a different enum.
97 // FILE_ERROR_ACCESS_DENIED is returned when a call fails because of a
98 // filesystem restriction. FILE_ERROR_SECURITY is returned when a browser
99 // policy doesn't allow the operation to be executed.
100 enum Error {
101 FILE_OK = 0,
102 FILE_ERROR_FAILED = -1,
103 FILE_ERROR_IN_USE = -2,
104 FILE_ERROR_EXISTS = -3,
105 FILE_ERROR_NOT_FOUND = -4,
106 FILE_ERROR_ACCESS_DENIED = -5,
107 FILE_ERROR_TOO_MANY_OPENED = -6,
108 FILE_ERROR_NO_MEMORY = -7,
109 FILE_ERROR_NO_SPACE = -8,
110 FILE_ERROR_NOT_A_DIRECTORY = -9,
111 FILE_ERROR_INVALID_OPERATION = -10,
112 FILE_ERROR_SECURITY = -11,
113 FILE_ERROR_ABORT = -12,
114 FILE_ERROR_NOT_A_FILE = -13,
115 FILE_ERROR_NOT_EMPTY = -14,
116 FILE_ERROR_INVALID_URL = -15,
117 FILE_ERROR_IO = -16,
118 // Put new entries here and increment FILE_ERROR_MAX.
119 FILE_ERROR_MAX = -17
122 // This explicit mapping matches both FILE_ on Windows and SEEK_ on Linux.
123 enum Whence {
124 FROM_BEGIN = 0,
125 FROM_CURRENT = 1,
126 FROM_END = 2
129 // Used to hold information about a given file.
130 // If you add more fields to this structure (platform-specific fields are OK),
131 // make sure to update all functions that use it in file_util_{win|posix}.cc,
132 // too, and the ParamTraits<base::File::Info> implementation in
133 // ipc/ipc_message_utils.cc.
134 struct BASE_EXPORT Info {
135 Info();
136 ~Info();
137 #if defined(OS_POSIX)
138 // Fills this struct with values from |stat_info|.
139 void FromStat(const stat_wrapper_t& stat_info);
140 #endif
142 // The size of the file in bytes. Undefined when is_directory is true.
143 int64 size;
145 // True if the file corresponds to a directory.
146 bool is_directory;
148 // True if the file corresponds to a symbolic link. For Windows currently
149 // not supported and thus always false.
150 bool is_symbolic_link;
152 // The last modified time of a file.
153 Time last_modified;
155 // The last accessed time of a file.
156 Time last_accessed;
158 // The creation time of a file.
159 Time creation_time;
162 File();
164 // Creates or opens the given file. This will fail with 'access denied' if the
165 // |path| contains path traversal ('..') components.
166 File(const FilePath& path, uint32 flags);
168 // Takes ownership of |platform_file|.
169 explicit File(PlatformFile platform_file);
171 // Creates an object with a specific error_details code.
172 explicit File(Error error_details);
174 // Move constructor for C++03 move emulation of this type.
175 File(RValue other);
177 ~File();
179 // Move operator= for C++03 move emulation of this type.
180 File& operator=(RValue other);
182 // Creates or opens the given file.
183 void Initialize(const FilePath& path, uint32 flags);
185 bool IsValid() const;
187 // Returns true if a new file was created (or an old one truncated to zero
188 // length to simulate a new file, which can happen with
189 // FLAG_CREATE_ALWAYS), and false otherwise.
190 bool created() const { return created_; }
192 // Returns the OS result of opening this file. Note that the way to verify
193 // the success of the operation is to use IsValid(), not this method:
194 // File file(path, flags);
195 // if (!file.IsValid())
196 // return;
197 Error error_details() const { return error_details_; }
199 PlatformFile GetPlatformFile() const;
200 PlatformFile TakePlatformFile();
202 // Destroying this object closes the file automatically.
203 void Close();
205 // Changes current position in the file to an |offset| relative to an origin
206 // defined by |whence|. Returns the resultant current position in the file
207 // (relative to the start) or -1 in case of error.
208 int64 Seek(Whence whence, int64 offset);
210 // Reads the given number of bytes (or until EOF is reached) starting with the
211 // given offset. Returns the number of bytes read, or -1 on error. Note that
212 // this function makes a best effort to read all data on all platforms, so it
213 // is not intended for stream oriented files but instead for cases when the
214 // normal expectation is that actually |size| bytes are read unless there is
215 // an error.
216 int Read(int64 offset, char* data, int size);
218 // Same as above but without seek.
219 int ReadAtCurrentPos(char* data, int size);
221 // Reads the given number of bytes (or until EOF is reached) starting with the
222 // given offset, but does not make any effort to read all data on all
223 // platforms. Returns the number of bytes read, or -1 on error.
224 int ReadNoBestEffort(int64 offset, char* data, int size);
226 // Same as above but without seek.
227 int ReadAtCurrentPosNoBestEffort(char* data, int size);
229 // Writes the given buffer into the file at the given offset, overwritting any
230 // data that was previously there. Returns the number of bytes written, or -1
231 // on error. Note that this function makes a best effort to write all data on
232 // all platforms.
233 // Ignores the offset and writes to the end of the file if the file was opened
234 // with FLAG_APPEND.
235 int Write(int64 offset, const char* data, int size);
237 // Save as above but without seek.
238 int WriteAtCurrentPos(const char* data, int size);
240 // Save as above but does not make any effort to write all data on all
241 // platforms. Returns the number of bytes written, or -1 on error.
242 int WriteAtCurrentPosNoBestEffort(const char* data, int size);
244 // Returns the current size of this file, or a negative number on failure.
245 int64 GetLength();
247 // Truncates the file to the given length. If |length| is greater than the
248 // current size of the file, the file is extended with zeros. If the file
249 // doesn't exist, |false| is returned.
250 bool SetLength(int64 length);
252 // Instructs the filesystem to flush the file to disk. (POSIX: fsync, Windows:
253 // FlushFileBuffers).
254 bool Flush();
256 // Updates the file times.
257 bool SetTimes(Time last_access_time, Time last_modified_time);
259 // Returns some basic information for the given file.
260 bool GetInfo(Info* info);
262 // Attempts to take an exclusive write lock on the file. Returns immediately
263 // (i.e. does not wait for another process to unlock the file). If the lock
264 // was obtained, the result will be FILE_OK. A lock only guarantees
265 // that other processes may not also take a lock on the same file with the
266 // same API - it may still be opened, renamed, unlinked, etc.
268 // Common semantics:
269 // * Locks are held by processes, but not inherited by child processes.
270 // * Locks are released by the OS on file close or process termination.
271 // * Locks are reliable only on local filesystems.
272 // * Duplicated file handles may also write to locked files.
273 // Windows-specific semantics:
274 // * Locks are mandatory for read/write APIs, advisory for mapping APIs.
275 // * Within a process, locking the same file (by the same or new handle)
276 // will fail.
277 // POSIX-specific semantics:
278 // * Locks are advisory only.
279 // * Within a process, locking the same file (by the same or new handle)
280 // will succeed.
281 // * Closing any descriptor on a given file releases the lock.
282 Error Lock();
284 // Unlock a file previously locked.
285 Error Unlock();
287 // Returns a new object referencing this file for use within the current
288 // process. Handling of FLAG_DELETE_ON_CLOSE varies by OS. On POSIX, the File
289 // object that was created or initialized with this flag will have unlinked
290 // the underlying file when it was created or opened. On Windows, the
291 // underlying file is deleted when the last handle to it is closed.
292 File Duplicate();
294 bool async() const { return async_; }
296 #if defined(OS_WIN)
297 static Error OSErrorToFileError(DWORD last_error);
298 #elif defined(OS_POSIX)
299 static Error OSErrorToFileError(int saved_errno);
300 #endif
302 // Converts an error value to a human-readable form. Used for logging.
303 static std::string ErrorToString(Error error);
305 private:
306 FRIEND_TEST_ALL_PREFIXES(::FileTest, MemoryCorruption);
308 friend class FileTracing::ScopedTrace;
310 #if defined(OS_POSIX)
311 // Encloses a single ScopedFD, saving a cheap tamper resistent memory checksum
312 // alongside it. This checksum is validated at every access, allowing early
313 // detection of memory corruption.
315 // TODO(gavinp): This is in place temporarily to help us debug
316 // https://crbug.com/424562 , which can't be reproduced in valgrind. Remove
317 // this code after we have fixed this issue.
318 class MemoryCheckingScopedFD {
319 public:
320 MemoryCheckingScopedFD();
321 MemoryCheckingScopedFD(int fd);
322 ~MemoryCheckingScopedFD();
324 bool is_valid() const { Check(); return file_.is_valid(); }
325 int get() const { Check(); return file_.get(); }
327 void reset() { Check(); file_.reset(); UpdateChecksum(); }
328 void reset(int fd) { Check(); file_.reset(fd); UpdateChecksum(); }
329 int release() {
330 Check();
331 int fd = file_.release();
332 UpdateChecksum();
333 return fd;
336 private:
337 FRIEND_TEST_ALL_PREFIXES(::FileTest, MemoryCorruption);
339 // Computes the checksum for the current value of |file_|. Returns via an
340 // out parameter to guard against implicit conversions of unsigned integral
341 // types.
342 void ComputeMemoryChecksum(unsigned int* out_checksum) const;
344 // Confirms that the current |file_| and |file_memory_checksum_| agree,
345 // failing a CHECK if they do not.
346 void Check() const;
348 void UpdateChecksum();
350 ScopedFD file_;
351 unsigned int file_memory_checksum_;
353 #endif
355 // Creates or opens the given file. Only called if |path_| has no
356 // traversal ('..') components.
357 void DoInitialize(uint32 flags);
359 // TODO(tnagel): Reintegrate into Flush() once histogram isn't needed anymore,
360 // cf. issue 473337.
361 bool DoFlush();
363 void SetPlatformFile(PlatformFile file);
365 #if defined(OS_WIN)
366 win::ScopedHandle file_;
367 #elif defined(OS_POSIX)
368 MemoryCheckingScopedFD file_;
369 #endif
371 // Path that |Initialize()| was called with. Only set if safe (i.e. no '..').
372 FilePath path_;
374 // Object tied to the lifetime of |this| that enables/disables tracing.
375 FileTracing::ScopedEnabler trace_enabler_;
377 Error error_details_;
378 bool created_;
379 bool async_;
382 } // namespace base
384 #endif // BASE_FILES_FILE_H_