blob: c1427c880e2ec42b5d60f3f18fdede201cd76503 [file] [log] [blame]
Eric Fiselier435db152016-06-17 19:46:40 +00001// -*- C++ -*-
2//===--------------------------- filesystem -------------------------------===//
3//
4// The LLVM Compiler Infrastructure
5//
6// This file is dual licensed under the MIT and the University of Illinois Open
7// Source Licenses. See LICENSE.TXT for details.
8//
9//===----------------------------------------------------------------------===//
10#ifndef _LIBCPP_EXPERIMENTAL_FILESYSTEM
11#define _LIBCPP_EXPERIMENTAL_FILESYSTEM
12/*
13 filesystem synopsis
14
15 namespace std { namespace experimental { namespace filesystem { inline namespace v1 {
16
17 class path;
18
19 void swap(path& lhs, path& rhs) _NOEXCEPT;
20 size_t hash_value(const path& p) _NOEXCEPT;
21
22 bool operator==(const path& lhs, const path& rhs) _NOEXCEPT;
23 bool operator!=(const path& lhs, const path& rhs) _NOEXCEPT;
24 bool operator< (const path& lhs, const path& rhs) _NOEXCEPT;
25 bool operator<=(const path& lhs, const path& rhs) _NOEXCEPT;
26 bool operator> (const path& lhs, const path& rhs) _NOEXCEPT;
27 bool operator>=(const path& lhs, const path& rhs) _NOEXCEPT;
28
29 path operator/ (const path& lhs, const path& rhs);
30
31 template <class charT, class traits>
32 basic_ostream<charT, traits>&
33 operator<<(basic_ostream<charT, traits>& os, const path& p);
34
35 template <class charT, class traits>
36 basic_istream<charT, traits>&
37 operator>>(basic_istream<charT, traits>& is, path& p);
38
39 template <class Source>
40 path u8path(const Source& source);
41 template <class InputIterator>
42 path u8path(InputIterator first, InputIterator last);
43
44 class filesystem_error;
45 class directory_entry;
46
47 class directory_iterator;
48
49 // enable directory_iterator range-based for statements
50 directory_iterator begin(directory_iterator iter) noexcept;
51 directory_iterator end(const directory_iterator&) noexcept;
52
53 class recursive_directory_iterator;
54
55 // enable recursive_directory_iterator range-based for statements
56 recursive_directory_iterator begin(recursive_directory_iterator iter) noexcept;
57 recursive_directory_iterator end(const recursive_directory_iterator&) noexcept;
58
59 class file_status;
60
61 struct space_info
62 {
63 uintmax_t capacity;
64 uintmax_t free;
65 uintmax_t available;
66 };
67
68 enum class file_type;
69 enum class perms;
70 enum class copy_options;
71 enum class directory_options;
72
73 typedef chrono::time_point<trivial-clock> file_time_type;
74
75 // operational functions
76
77 path absolute(const path& p, const path& base=current_path());
78
79 path canonical(const path& p, const path& base = current_path());
80 path canonical(const path& p, error_code& ec);
81 path canonical(const path& p, const path& base, error_code& ec);
82
83 void copy(const path& from, const path& to);
84 void copy(const path& from, const path& to, error_code& ec) _NOEXCEPT;
85 void copy(const path& from, const path& to, copy_options options);
86 void copy(const path& from, const path& to, copy_options options,
87 error_code& ec) _NOEXCEPT;
88
89 bool copy_file(const path& from, const path& to);
90 bool copy_file(const path& from, const path& to, error_code& ec) _NOEXCEPT;
91 bool copy_file(const path& from, const path& to, copy_options option);
92 bool copy_file(const path& from, const path& to, copy_options option,
93 error_code& ec) _NOEXCEPT;
94
95 void copy_symlink(const path& existing_symlink, const path& new_symlink);
96 void copy_symlink(const path& existing_symlink, const path& new_symlink,
97 error_code& ec) _NOEXCEPT;
98
99 bool create_directories(const path& p);
100 bool create_directories(const path& p, error_code& ec) _NOEXCEPT;
101
102 bool create_directory(const path& p);
103 bool create_directory(const path& p, error_code& ec) _NOEXCEPT;
104
105 bool create_directory(const path& p, const path& attributes);
106 bool create_directory(const path& p, const path& attributes,
107 error_code& ec) _NOEXCEPT;
108
109 void create_directory_symlink(const path& to, const path& new_symlink);
110 void create_directory_symlink(const path& to, const path& new_symlink,
111 error_code& ec) _NOEXCEPT;
112
113 void create_hard_link(const path& to, const path& new_hard_link);
114 void create_hard_link(const path& to, const path& new_hard_link,
115 error_code& ec) _NOEXCEPT;
116
117 void create_symlink(const path& to, const path& new_symlink);
118 void create_symlink(const path& to, const path& new_symlink,
119 error_code& ec) _NOEXCEPT;
120
121 path current_path();
122 path current_path(error_code& ec);
123 void current_path(const path& p);
124 void current_path(const path& p, error_code& ec) _NOEXCEPT;
125
126 bool exists(file_status s) _NOEXCEPT;
127 bool exists(const path& p);
128 bool exists(const path& p, error_code& ec) _NOEXCEPT;
129
130 bool equivalent(const path& p1, const path& p2);
131 bool equivalent(const path& p1, const path& p2, error_code& ec) _NOEXCEPT;
132
133 uintmax_t file_size(const path& p);
134 uintmax_t file_size(const path& p, error_code& ec) _NOEXCEPT;
135
136 uintmax_t hard_link_count(const path& p);
137 uintmax_t hard_link_count(const path& p, error_code& ec) _NOEXCEPT;
138
139 bool is_block_file(file_status s) _NOEXCEPT;
140 bool is_block_file(const path& p);
141 bool is_block_file(const path& p, error_code& ec) _NOEXCEPT;
142
143 bool is_character_file(file_status s) _NOEXCEPT;
144 bool is_character_file(const path& p);
145 bool is_character_file(const path& p, error_code& ec) _NOEXCEPT;
146
147 bool is_directory(file_status s) _NOEXCEPT;
148 bool is_directory(const path& p);
149 bool is_directory(const path& p, error_code& ec) _NOEXCEPT;
150
151 bool is_empty(const path& p);
152 bool is_empty(const path& p, error_code& ec) _NOEXCEPT;
153
154 bool is_fifo(file_status s) _NOEXCEPT;
155 bool is_fifo(const path& p);
156 bool is_fifo(const path& p, error_code& ec) _NOEXCEPT;
157
158 bool is_other(file_status s) _NOEXCEPT;
159 bool is_other(const path& p);
160 bool is_other(const path& p, error_code& ec) _NOEXCEPT;
161
162 bool is_regular_file(file_status s) _NOEXCEPT;
163 bool is_regular_file(const path& p);
164 bool is_regular_file(const path& p, error_code& ec) _NOEXCEPT;
165
166 bool is_socket(file_status s) _NOEXCEPT;
167 bool is_socket(const path& p);
168 bool is_socket(const path& p, error_code& ec) _NOEXCEPT;
169
170 bool is_symlink(file_status s) _NOEXCEPT;
171 bool is_symlink(const path& p);
172 bool is_symlink(const path& p, error_code& ec) _NOEXCEPT;
173
174 file_time_type last_write_time(const path& p);
175 file_time_type last_write_time(const path& p, error_code& ec) _NOEXCEPT;
176 void last_write_time(const path& p, file_time_type new_time);
177 void last_write_time(const path& p, file_time_type new_time,
178 error_code& ec) _NOEXCEPT;
179
180 void permissions(const path& p, perms prms);
181 void permissions(const path& p, perms prms, error_code& ec) _NOEXCEPT;
182
183 path read_symlink(const path& p);
184 path read_symlink(const path& p, error_code& ec);
185
186 bool remove(const path& p);
187 bool remove(const path& p, error_code& ec) _NOEXCEPT;
188
189 uintmax_t remove_all(const path& p);
190 uintmax_t remove_all(const path& p, error_code& ec) _NOEXCEPT;
191
192 void rename(const path& from, const path& to);
193 void rename(const path& from, const path& to, error_code& ec) _NOEXCEPT;
194
195 void resize_file(const path& p, uintmax_t size);
196 void resize_file(const path& p, uintmax_t size, error_code& ec) _NOEXCEPT;
197
198 space_info space(const path& p);
199 space_info space(const path& p, error_code& ec) _NOEXCEPT;
200
201 file_status status(const path& p);
202 file_status status(const path& p, error_code& ec) _NOEXCEPT;
203
204 bool status_known(file_status s) _NOEXCEPT;
205
206 file_status symlink_status(const path& p);
207 file_status symlink_status(const path& p, error_code& ec) _NOEXCEPT;
208
209 path system_complete(const path& p);
210 path system_complete(const path& p, error_code& ec);
211
212 path temp_directory_path();
213 path temp_directory_path(error_code& ec);
214
215} } } } // namespaces std::experimental::filesystem::v1
216
217*/
218
219#include <experimental/__config>
220#include <cstddef>
221#include <chrono>
222#include <iterator>
223#include <iosfwd>
224#include <locale>
225#include <memory>
226#include <stack>
227#include <string>
228#include <system_error>
229#include <utility>
230#include <iomanip> // for quoted
Eric Fiselierb05e1b02016-07-23 03:10:56 +0000231#include <string_view>
Eric Fiselier435db152016-06-17 19:46:40 +0000232
233#include <__debug>
234
235#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
236#pragma GCC system_header
237#endif
238
239#define __cpp_lib_experimental_filesystem 201406
240
241_LIBCPP_BEGIN_NAMESPACE_EXPERIMENTAL_FILESYSTEM
242
243typedef chrono::time_point<std::chrono::system_clock> file_time_type;
244
245struct _LIBCPP_TYPE_VIS space_info
246{
247 uintmax_t capacity;
248 uintmax_t free;
249 uintmax_t available;
250};
251
Eric Fiselier1b57fa82016-09-15 22:27:07 +0000252enum class _LIBCPP_ENUM_VIS file_type : signed char
Eric Fiselier435db152016-06-17 19:46:40 +0000253{
254 none = 0,
255 not_found = -1,
256 regular = 1,
257 directory = 2,
258 symlink = 3,
259 block = 4,
260 character = 5,
261 fifo = 6,
262 socket = 7,
263 unknown = 8
264};
265
Eric Fiselier1b57fa82016-09-15 22:27:07 +0000266enum class _LIBCPP_ENUM_VIS perms : unsigned
Eric Fiselier435db152016-06-17 19:46:40 +0000267{
268 none = 0,
269
270 owner_read = 0400,
271 owner_write = 0200,
272 owner_exec = 0100,
273 owner_all = 0700,
274
275 group_read = 040,
276 group_write = 020,
277 group_exec = 010,
278 group_all = 070,
279
280 others_read = 04,
281 others_write = 02,
282 others_exec = 01,
283 others_all = 07,
284
285 all = 0777,
286
287 set_uid = 04000,
288 set_gid = 02000,
289 sticky_bit = 01000,
290 mask = 07777,
291 unknown = 0xFFFF,
292
293 add_perms = 0x10000,
294 remove_perms = 0x20000,
Eric Fiselier9b481ed2016-06-21 22:42:42 +0000295 symlink_nofollow = 0x40000
Eric Fiselier435db152016-06-17 19:46:40 +0000296};
297
298_LIBCPP_INLINE_VISIBILITY
299inline _LIBCPP_CONSTEXPR perms operator&(perms _LHS, perms _RHS)
300{ return static_cast<perms>(static_cast<unsigned>(_LHS) & static_cast<unsigned>(_RHS)); }
301
302_LIBCPP_INLINE_VISIBILITY
303inline _LIBCPP_CONSTEXPR perms operator|(perms _LHS, perms _RHS)
304{ return static_cast<perms>(static_cast<unsigned>(_LHS) | static_cast<unsigned>(_RHS)); }
305
306_LIBCPP_INLINE_VISIBILITY
307inline _LIBCPP_CONSTEXPR perms operator^(perms _LHS, perms _RHS)
308{ return static_cast<perms>(static_cast<unsigned>(_LHS) ^ static_cast<unsigned>(_RHS)); }
309
310_LIBCPP_INLINE_VISIBILITY
311inline _LIBCPP_CONSTEXPR perms operator~(perms _LHS)
312{ return static_cast<perms>(~static_cast<unsigned>(_LHS)); }
313
314_LIBCPP_INLINE_VISIBILITY
315inline perms& operator&=(perms& _LHS, perms _RHS)
316{ return _LHS = _LHS & _RHS; }
317
318_LIBCPP_INLINE_VISIBILITY
319inline perms& operator|=(perms& _LHS, perms _RHS)
320{ return _LHS = _LHS | _RHS; }
321
322_LIBCPP_INLINE_VISIBILITY
323inline perms& operator^=(perms& _LHS, perms _RHS)
324{ return _LHS = _LHS ^ _RHS; }
325
Eric Fiselier1b57fa82016-09-15 22:27:07 +0000326enum class _LIBCPP_ENUM_VIS copy_options : unsigned short
Eric Fiselier435db152016-06-17 19:46:40 +0000327{
328 none = 0,
329 skip_existing = 1,
330 overwrite_existing = 2,
331 update_existing = 4,
332 recursive = 8,
333 copy_symlinks = 16,
334 skip_symlinks = 32,
335 directories_only = 64,
336 create_symlinks = 128,
337 create_hard_links = 256,
338 __in_recursive_copy = 512,
339};
340
341_LIBCPP_INLINE_VISIBILITY
342inline _LIBCPP_CONSTEXPR copy_options operator&(copy_options _LHS, copy_options _RHS)
343{ return static_cast<copy_options>(static_cast<unsigned short>(_LHS) & static_cast<unsigned short>(_RHS)); }
344
345_LIBCPP_INLINE_VISIBILITY
346inline _LIBCPP_CONSTEXPR copy_options operator|(copy_options _LHS, copy_options _RHS)
347{ return static_cast<copy_options>(static_cast<unsigned short>(_LHS) | static_cast<unsigned short>(_RHS)); }
348
349_LIBCPP_INLINE_VISIBILITY
350inline _LIBCPP_CONSTEXPR copy_options operator^(copy_options _LHS, copy_options _RHS)
351{ return static_cast<copy_options>(static_cast<unsigned short>(_LHS) ^ static_cast<unsigned short>(_RHS)); }
352
353_LIBCPP_INLINE_VISIBILITY
354inline _LIBCPP_CONSTEXPR copy_options operator~(copy_options _LHS)
355{ return static_cast<copy_options>(~static_cast<unsigned short>(_LHS)); }
356
357_LIBCPP_INLINE_VISIBILITY
358inline copy_options& operator&=(copy_options& _LHS, copy_options _RHS)
359{ return _LHS = _LHS & _RHS; }
360
361_LIBCPP_INLINE_VISIBILITY
362inline copy_options& operator|=(copy_options& _LHS, copy_options _RHS)
363{ return _LHS = _LHS | _RHS; }
364
365_LIBCPP_INLINE_VISIBILITY
366inline copy_options& operator^=(copy_options& _LHS, copy_options _RHS)
367{ return _LHS = _LHS ^ _RHS; }
368
369
Eric Fiselier1b57fa82016-09-15 22:27:07 +0000370enum class _LIBCPP_ENUM_VIS directory_options : unsigned char
Eric Fiselier435db152016-06-17 19:46:40 +0000371{
372 none = 0,
373 follow_directory_symlink = 1,
374 skip_permission_denied = 2
375};
376
377_LIBCPP_INLINE_VISIBILITY
378inline _LIBCPP_CONSTEXPR directory_options operator&(directory_options _LHS, directory_options _RHS)
379{ return static_cast<directory_options>(static_cast<unsigned char>(_LHS) & static_cast<unsigned char>(_RHS)); }
380
381_LIBCPP_INLINE_VISIBILITY
382inline _LIBCPP_CONSTEXPR directory_options operator|(directory_options _LHS, directory_options _RHS)
383{ return static_cast<directory_options>(static_cast<unsigned char>(_LHS) | static_cast<unsigned char>(_RHS)); }
384
385_LIBCPP_INLINE_VISIBILITY
386inline _LIBCPP_CONSTEXPR directory_options operator^(directory_options _LHS, directory_options _RHS)
387{ return static_cast<directory_options>(static_cast<unsigned char>(_LHS) ^ static_cast<unsigned char>(_RHS)); }
388
389_LIBCPP_INLINE_VISIBILITY
390inline _LIBCPP_CONSTEXPR directory_options operator~(directory_options _LHS)
391{ return static_cast<directory_options>(~static_cast<unsigned char>(_LHS)); }
392
393_LIBCPP_INLINE_VISIBILITY
394inline directory_options& operator&=(directory_options& _LHS, directory_options _RHS)
395{ return _LHS = _LHS & _RHS; }
396
397_LIBCPP_INLINE_VISIBILITY
398inline directory_options& operator|=(directory_options& _LHS, directory_options _RHS)
399{ return _LHS = _LHS | _RHS; }
400
401_LIBCPP_INLINE_VISIBILITY
402inline directory_options& operator^=(directory_options& _LHS, directory_options _RHS)
403{ return _LHS = _LHS ^ _RHS; }
404
405
406class _LIBCPP_TYPE_VIS file_status
407{
408public:
409 // constructors
410 _LIBCPP_INLINE_VISIBILITY
411 explicit file_status(file_type __ft = file_type::none,
412 perms __prms = perms::unknown) _NOEXCEPT
413 : __ft_(__ft), __prms_(__prms)
414 {}
415
416 file_status(const file_status&) _NOEXCEPT = default;
417 file_status(file_status&&) _NOEXCEPT = default;
418
419 _LIBCPP_INLINE_VISIBILITY
420 ~file_status() {}
421
422 file_status& operator=(const file_status&) _NOEXCEPT = default;
423 file_status& operator=(file_status&&) _NOEXCEPT = default;
424
425 // observers
426 _LIBCPP_ALWAYS_INLINE
427 file_type type() const _NOEXCEPT {
428 return __ft_;
429 }
430
431 _LIBCPP_ALWAYS_INLINE
432 perms permissions() const _NOEXCEPT {
433 return __prms_;
434 }
435
436 // modifiers
437 _LIBCPP_ALWAYS_INLINE
438 void type(file_type __ft) _NOEXCEPT {
439 __ft_ = __ft;
440 }
441
442 _LIBCPP_ALWAYS_INLINE
443 void permissions(perms __p) _NOEXCEPT {
444 __prms_ = __p;
445 }
446private:
447 file_type __ft_;
448 perms __prms_;
449};
450
451class _LIBCPP_TYPE_VIS directory_entry;
452
453template <class _Tp> struct __can_convert_char {
454 static const bool value = false;
455};
Eric Fiselierc355aa32016-08-28 21:26:01 +0000456template <class _Tp> struct __can_convert_char<const _Tp>
457 : public __can_convert_char<_Tp> {
458};
Eric Fiselier435db152016-06-17 19:46:40 +0000459template <> struct __can_convert_char<char> {
460 static const bool value = true;
461 using __char_type = char;
462};
463template <> struct __can_convert_char<wchar_t> {
464 static const bool value = true;
465 using __char_type = wchar_t;
466};
467template <> struct __can_convert_char<char16_t> {
468 static const bool value = true;
469 using __char_type = char16_t;
470};
471template <> struct __can_convert_char<char32_t> {
472 static const bool value = true;
473 using __char_type = char32_t;
474};
475
476template <class _ECharT>
477typename enable_if<__can_convert_char<_ECharT>::value, bool>::type
478__is_separator(_ECharT __e) {
479 return __e == _ECharT('/');
480};
481
482struct _NullSentinal {};
483
484template <class _Tp>
485using _Void = void;
486
487template <class _Tp, class = void>
488struct __is_pathable_string : public false_type {};
489
490template <class _ECharT, class _Traits, class _Alloc>
491struct __is_pathable_string<basic_string<_ECharT, _Traits, _Alloc>,
492 _Void<typename __can_convert_char<_ECharT>::__char_type>>
493: public __can_convert_char<_ECharT>
494{
495 using _Str = basic_string<_ECharT, _Traits, _Alloc>;
496 using _Base = __can_convert_char<_ECharT>;
497 static _ECharT const* __range_begin(_Str const& __s) { return __s.data(); }
498 static _ECharT const* __range_end(_Str const& __s) { return __s.data() + __s.length(); }
499 static _ECharT __first_or_null(_Str const& __s) {
500 return __s.empty() ? _ECharT{} : __s[0];
501 }
502};
503
Eric Fiselierb05e1b02016-07-23 03:10:56 +0000504
505template <class _ECharT, class _Traits>
506struct __is_pathable_string<basic_string_view<_ECharT, _Traits>,
507 _Void<typename __can_convert_char<_ECharT>::__char_type>>
508: public __can_convert_char<_ECharT>
509{
510 using _Str = basic_string_view<_ECharT, _Traits>;
511 using _Base = __can_convert_char<_ECharT>;
512 static _ECharT const* __range_begin(_Str const& __s) { return __s.data(); }
513 static _ECharT const* __range_end(_Str const& __s) { return __s.data() + __s.length(); }
514 static _ECharT __first_or_null(_Str const& __s) {
515 return __s.empty() ? _ECharT{} : __s[0];
516 }
517};
518
Eric Fiselier435db152016-06-17 19:46:40 +0000519template <class _Source,
520 class _DS = typename decay<_Source>::type,
521 class _UnqualPtrType = typename remove_const<
522 typename remove_pointer<_DS>::type>::type,
523 bool _IsCharPtr = is_pointer<_DS>::value &&
524 __can_convert_char<_UnqualPtrType>::value
525 >
526struct __is_pathable_char_array : false_type {};
527
528template <class _Source, class _ECharT, class _UPtr>
529struct __is_pathable_char_array<_Source, _ECharT*, _UPtr, true>
530 : __can_convert_char<typename remove_const<_ECharT>::type>
531{
532 using _Base = __can_convert_char<typename remove_const<_ECharT>::type>;
533
534 static _ECharT const* __range_begin(const _ECharT* __b) { return __b; }
535 static _ECharT const* __range_end(const _ECharT* __b)
536 {
537 using _Iter = const _ECharT*;
538 const _ECharT __sentinal = _ECharT{};
539 _Iter __e = __b;
540 for (; *__e != __sentinal; ++__e)
541 ;
542 return __e;
543 }
544
545 static _ECharT __first_or_null(const _ECharT* __b) { return *__b; }
546};
547
548template <class _Iter, bool _IsIt = __is_input_iterator<_Iter>::value, class = void>
549struct __is_pathable_iter : false_type {};
550
551template <class _Iter>
552struct __is_pathable_iter<_Iter, true,
553 _Void<typename __can_convert_char<typename iterator_traits<_Iter>::value_type>::__char_type>>
554 : __can_convert_char<typename iterator_traits<_Iter>::value_type>
555{
556 using _ECharT = typename iterator_traits<_Iter>::value_type;
557 using _Base = __can_convert_char<_ECharT>;
558
559 static _Iter __range_begin(_Iter __b) { return __b; }
560 static _NullSentinal __range_end(_Iter) { return _NullSentinal{}; }
561
562 static _ECharT __first_or_null(_Iter __b) { return *__b; }
563};
564
565template <class _Tp, bool _IsStringT = __is_pathable_string<_Tp>::value,
566 bool _IsCharIterT = __is_pathable_char_array<_Tp>::value,
567 bool _IsIterT = !_IsCharIterT && __is_pathable_iter<_Tp>::value
568 >
569struct __is_pathable : false_type {
570 static_assert(!_IsStringT && !_IsCharIterT && !_IsIterT, "Must all be false");
571};
572
573template <class _Tp>
574struct __is_pathable<_Tp, true, false, false> : __is_pathable_string<_Tp> {};
575
576
577template <class _Tp>
578struct __is_pathable<_Tp, false, true, false> : __is_pathable_char_array<_Tp> {};
579
580
581template <class _Tp>
582struct __is_pathable<_Tp, false, false, true> : __is_pathable_iter<_Tp> {};
583
584
585template <class _ECharT>
586struct _PathCVT {
587 static_assert(__can_convert_char<_ECharT>::value, "Char type not convertible");
588
589 typedef __narrow_to_utf8<sizeof(_ECharT)*__CHAR_BIT__> _Narrower;
590
591 static void __append_range(string& __dest, _ECharT const* __b, _ECharT const* __e) {
592 _Narrower()(back_inserter(__dest), __b, __e);
593 }
594
595 template <class _Iter>
596 static void __append_range(string& __dest, _Iter __b, _Iter __e) {
597 static_assert(!is_same<_Iter, _ECharT*>::value, "Call const overload");
598 if (__b == __e) return;
599 basic_string<_ECharT> __tmp(__b, __e);
600 _Narrower()(back_inserter(__dest), __tmp.data(),
601 __tmp.data() + __tmp.length());
602 }
603
604 template <class _Iter>
605 static void __append_range(string& __dest, _Iter __b, _NullSentinal) {
606 static_assert(!is_same<_Iter, _ECharT*>::value, "Call const overload");
607 const _ECharT __sentinal = _ECharT{};
608 if (*__b == __sentinal) return;
609 basic_string<_ECharT> __tmp;
610 for (; *__b != __sentinal; ++__b)
611 __tmp.push_back(*__b);
612 _Narrower()(back_inserter(__dest), __tmp.data(),
613 __tmp.data() + __tmp.length());
614 }
615
616 template <class _Source>
617 static void __append_source(string& __dest, _Source const& __s)
618 {
619 using _Traits = __is_pathable<_Source>;
620 __append_range(__dest, _Traits::__range_begin(__s), _Traits::__range_end(__s));
621 }
622};
623
624template <>
625struct _PathCVT<char> {
626 template <class _Iter>
627 static void __append_range(string& __dest, _Iter __b, _Iter __e) {
628 for (; __b != __e; ++__b)
629 __dest.push_back(*__b);
630 }
631
632 template <class _Iter>
633 static void __append_range(string& __dest, _Iter __b, _NullSentinal) {
634 const char __sentinal = char{};
635 for (; *__b != __sentinal; ++__b)
636 __dest.push_back(*__b);
637 }
638
639 template <class _Source>
640 static void __append_source(string& __dest, _Source const& __s)
641 {
642 using _Traits = __is_pathable<_Source>;
643 __append_range(__dest, _Traits::__range_begin(__s), _Traits::__range_end(__s));
644 }
645};
646
647
648class _LIBCPP_TYPE_VIS path
649{
650 template <class _SourceOrIter, class _Tp = path&>
651 using _EnableIfPathable = typename
652 enable_if<__is_pathable<_SourceOrIter>::value, _Tp>::type;
653
654 template <class _Tp>
655 using _SourceChar = typename __is_pathable<_Tp>::__char_type;
656
657 template <class _Tp>
658 using _SourceCVT = _PathCVT<_SourceChar<_Tp>>;
659
660public:
661 typedef char value_type;
662 typedef basic_string<value_type> string_type;
Eric Fiselierb05e1b02016-07-23 03:10:56 +0000663 typedef _VSTD::string_view __string_view;
Eric Fiselier435db152016-06-17 19:46:40 +0000664 static _LIBCPP_CONSTEXPR value_type preferred_separator = '/';
665
666 // constructors and destructor
667 _LIBCPP_INLINE_VISIBILITY path() _NOEXCEPT {}
668 _LIBCPP_INLINE_VISIBILITY path(const path& __p) : __pn_(__p.__pn_) {}
669 _LIBCPP_INLINE_VISIBILITY path(path&& __p) _NOEXCEPT : __pn_(_VSTD::move(__p.__pn_)) {}
670
671 _LIBCPP_INLINE_VISIBILITY
672 path(string_type&& __s) _NOEXCEPT : __pn_(_VSTD::move(__s)) {}
673
674 template <
675 class _Source,
676 class = _EnableIfPathable<_Source, void>
677 >
678 path(const _Source& __src) {
679 _SourceCVT<_Source>::__append_source(__pn_, __src);
680 }
681
682 template <class _InputIt>
683 path(_InputIt __first, _InputIt __last) {
684 typedef typename iterator_traits<_InputIt>::value_type _ItVal;
685 _PathCVT<_ItVal>::__append_range(__pn_, __first, __last);
686 }
687
688 // TODO Implement locale conversions.
689 template <class _Source,
690 class = _EnableIfPathable<_Source, void>
691 >
692 path(const _Source& __src, const locale& __loc);
693 template <class _InputIt>
694 path(_InputIt __first, _InputIt _last, const locale& __loc);
695
696 _LIBCPP_INLINE_VISIBILITY
697 ~path() = default;
698
699 // assignments
700 _LIBCPP_INLINE_VISIBILITY
701 path& operator=(const path& __p) {
702 __pn_ = __p.__pn_;
703 return *this;
704 }
705
706 _LIBCPP_INLINE_VISIBILITY
707 path& operator=(path&& __p) _NOEXCEPT {
708 __pn_ = _VSTD::move(__p.__pn_);
709 return *this;
710 }
711
712 _LIBCPP_INLINE_VISIBILITY
713 path& operator=(string_type&& __s) _NOEXCEPT {
714 __pn_ = _VSTD::move(__s);
715 return *this;
716 }
717
718 _LIBCPP_INLINE_VISIBILITY
719 path& assign(string_type&& __s) _NOEXCEPT {
720 __pn_ = _VSTD::move(__s);
721 return *this;
722 }
723
724 template <class _Source>
725 _LIBCPP_INLINE_VISIBILITY
726 _EnableIfPathable<_Source>
727 operator=(const _Source& __src)
728 { return this->assign(__src); }
729
730
731 template <class _Source>
732 _EnableIfPathable<_Source>
733 assign(const _Source& __src) {
734 __pn_.clear();
735 _SourceCVT<_Source>::__append_source(__pn_, __src);
736 return *this;
737 }
738
739 template <class _InputIt>
740 path& assign(_InputIt __first, _InputIt __last) {
741 typedef typename iterator_traits<_InputIt>::value_type _ItVal;
742 __pn_.clear();
743 _PathCVT<_ItVal>::__append_range(__pn_, __first, __last);
744 return *this;
745 }
746
747private:
748 template <class _ECharT>
749 void __append_sep_if_needed(_ECharT __first_or_null) {
750 const _ECharT __null_val = {};
751 bool __append_sep = !empty() &&
752 !__is_separator(__pn_.back()) &&
753 __first_or_null != __null_val && // non-empty
754 !__is_separator(__first_or_null);
755 if (__append_sep)
756 __pn_ += preferred_separator;
757 }
758
759public:
760 // appends
761 path& operator/=(const path& __p) {
Eric Fiselier3760a582016-10-15 21:29:44 +0000762 _LIBCPP_ASSERT(!__p.has_root_name(),
763 "cannot append to a path with a root name");
Eric Fiselier435db152016-06-17 19:46:40 +0000764 __append_sep_if_needed(__p.empty() ? char{} : __p.__pn_[0]);
765 __pn_ += __p.native();
766 return *this;
767 }
768
769 template <class _Source>
770 _LIBCPP_INLINE_VISIBILITY
771 _EnableIfPathable<_Source>
772 operator/=(const _Source& __src) {
773 return this->append(__src);
774 }
775
776 template <class _Source>
777 _EnableIfPathable<_Source>
778 append(const _Source& __src) {
779 using _Traits = __is_pathable<_Source>;
780 using _CVT = _PathCVT<_SourceChar<_Source>>;
781 __append_sep_if_needed(_Traits::__first_or_null(__src));
782 _CVT::__append_source(__pn_, __src);
783 return *this;
784 }
785
786 template <class _InputIt>
787 path& append(_InputIt __first, _InputIt __last) {
788 typedef typename iterator_traits<_InputIt>::value_type _ItVal;
789 static_assert(__can_convert_char<_ItVal>::value, "Must convertible");
790 using _CVT = _PathCVT<_ItVal>;
791 if (__first != __last) {
792 __append_sep_if_needed(*__first);
793 _CVT::__append_range(__pn_, __first, __last);
794 }
795 return *this;
796 }
797
798 // concatenation
799 _LIBCPP_INLINE_VISIBILITY
800 path& operator+=(const path& __x) {
801 __pn_ += __x.__pn_;
802 return *this;
803 }
804
805 _LIBCPP_INLINE_VISIBILITY
806 path& operator+=(const string_type& __x) {
807 __pn_ += __x;
808 return *this;
809 }
810
811 _LIBCPP_INLINE_VISIBILITY
Eric Fiselierb05e1b02016-07-23 03:10:56 +0000812 path& operator+=(__string_view __x) {
813 __pn_ += __x;
814 return *this;
815 }
816
817 _LIBCPP_INLINE_VISIBILITY
Eric Fiselier435db152016-06-17 19:46:40 +0000818 path& operator+=(const value_type* __x) {
819 __pn_ += __x;
820 return *this;
821 }
822
823 _LIBCPP_INLINE_VISIBILITY
824 path& operator+=(value_type __x) {
825 __pn_ += __x;
826 return *this;
827 }
828
Eric Fiselier435db152016-06-17 19:46:40 +0000829 template <class _ECharT>
830 typename enable_if<__can_convert_char<_ECharT>::value, path&>::type
831 operator+=(_ECharT __x)
832 {
833 basic_string<_ECharT> __tmp;
834 __tmp += __x;
835 _PathCVT<_ECharT>::__append_source(__pn_, __tmp);
836 return *this;
837 }
838
839 template <class _Source>
840 _EnableIfPathable<_Source>
841 operator+=(const _Source& __x) {
842 return this->concat(__x);
843 }
844
845 template <class _Source>
846 _EnableIfPathable<_Source>
847 concat(const _Source& __x) {
848 _SourceCVT<_Source>::__append_source(__pn_, __x);
849 return *this;
850 }
851
852 template <class _InputIt>
853 path& concat(_InputIt __first, _InputIt __last) {
854 typedef typename iterator_traits<_InputIt>::value_type _ItVal;
855 _PathCVT<_ItVal>::__append_range(__pn_, __first, __last);
856 return *this;
857 }
858
859 // modifiers
860 _LIBCPP_INLINE_VISIBILITY
861 void clear() _NOEXCEPT {
862 __pn_.clear();
863 }
864
865 path& make_preferred() { return *this; }
Eric Fiselierf08063a2016-10-15 22:37:42 +0000866
867 _LIBCPP_INLINE_VISIBILITY
868 path& remove_filename() {
869 if (__pn_.size() == __root_path_raw().size())
870 clear();
871 else
872 __pn_ = __parent_path();
873 return *this;
874 }
Eric Fiselier435db152016-06-17 19:46:40 +0000875
876 path& replace_filename(const path& __replacement) {
877 remove_filename();
878 return (*this /= __replacement);
879 }
880
881 path& replace_extension(const path& __replacement = path());
882
883 _LIBCPP_INLINE_VISIBILITY
884 void swap(path& __rhs) _NOEXCEPT {
885 __pn_.swap(__rhs.__pn_);
886 }
887
888 // native format observers
889 _LIBCPP_INLINE_VISIBILITY
890 const string_type& native() const _NOEXCEPT {
891 return __pn_;
892 }
893
894 _LIBCPP_INLINE_VISIBILITY
895 const value_type* c_str() const _NOEXCEPT { return __pn_.c_str(); }
896
897 _LIBCPP_INLINE_VISIBILITY operator string_type() const { return __pn_; }
898
899 template <class _ECharT, class _Traits = char_traits<_ECharT>,
900 class _Allocator = allocator<_ECharT> >
901 basic_string<_ECharT, _Traits, _Allocator>
902 string(const _Allocator& __a = _Allocator()) const {
903 using _CVT = __widen_from_utf8<sizeof(_ECharT)*__CHAR_BIT__>;
904 using _Str = basic_string<_ECharT, _Traits, _Allocator>;
905 _Str __s(__a);
906 __s.reserve(__pn_.size());
907 _CVT()(back_inserter(__s), __pn_.data(), __pn_.data() + __pn_.size());
908 return __s;
909 }
910
911 _LIBCPP_INLINE_VISIBILITY std::string string() const { return __pn_; }
912 _LIBCPP_INLINE_VISIBILITY std::wstring wstring() const { return string<wchar_t>(); }
913 _LIBCPP_INLINE_VISIBILITY std::string u8string() const { return __pn_; }
914 _LIBCPP_INLINE_VISIBILITY std::u16string u16string() const { return string<char16_t>(); }
915 _LIBCPP_INLINE_VISIBILITY std::u32string u32string() const { return string<char32_t>(); }
916
917 // generic format observers
918 template <class _ECharT, class _Traits = char_traits<_ECharT>,
919 class _Allocator = allocator<_ECharT>
920 >
921 basic_string<_ECharT, _Traits, _Allocator>
922 generic_string(const _Allocator& __a = _Allocator()) const {
923 return string<_ECharT, _Traits, _Allocator>(__a);
924 }
925
926 std::string generic_string() const { return __pn_; }
927 std::wstring generic_wstring() const { return string<wchar_t>(); }
928 std::string generic_u8string() const { return __pn_; }
929 std::u16string generic_u16string() const { return string<char16_t>(); }
930 std::u32string generic_u32string() const { return string<char32_t>(); }
931
932private:
Eric Fiselierb05e1b02016-07-23 03:10:56 +0000933 _LIBCPP_FUNC_VIS int __compare(__string_view) const;
934 _LIBCPP_FUNC_VIS __string_view __root_name() const;
935 _LIBCPP_FUNC_VIS __string_view __root_directory() const;
Eric Fiselierf08063a2016-10-15 22:37:42 +0000936 _LIBCPP_FUNC_VIS __string_view __root_path_raw() const;
Eric Fiselierb05e1b02016-07-23 03:10:56 +0000937 _LIBCPP_FUNC_VIS __string_view __relative_path() const;
938 _LIBCPP_FUNC_VIS __string_view __parent_path() const;
939 _LIBCPP_FUNC_VIS __string_view __filename() const;
940 _LIBCPP_FUNC_VIS __string_view __stem() const;
941 _LIBCPP_FUNC_VIS __string_view __extension() const;
Eric Fiselier435db152016-06-17 19:46:40 +0000942
943public:
944 // compare
Eric Fiselierb05e1b02016-07-23 03:10:56 +0000945 _LIBCPP_INLINE_VISIBILITY int compare(const path& __p) const _NOEXCEPT { return __compare(__p.__pn_);}
946 _LIBCPP_INLINE_VISIBILITY int compare(const string_type& __s) const { return __compare(__s); }
947 _LIBCPP_INLINE_VISIBILITY int compare(__string_view __s) const { return __compare(__s); }
Eric Fiselier435db152016-06-17 19:46:40 +0000948 _LIBCPP_INLINE_VISIBILITY int compare(const value_type* __s) const { return __compare(__s); }
949
950 // decomposition
Eric Fiselierb05e1b02016-07-23 03:10:56 +0000951 _LIBCPP_INLINE_VISIBILITY path root_name() const { return string_type(__root_name()); }
952 _LIBCPP_INLINE_VISIBILITY path root_directory() const { return string_type(__root_directory()); }
953 _LIBCPP_INLINE_VISIBILITY path root_path() const { return root_name().append(string_type(__root_directory())); }
954 _LIBCPP_INLINE_VISIBILITY path relative_path() const { return string_type(__relative_path()); }
955 _LIBCPP_INLINE_VISIBILITY path parent_path() const { return string_type(__parent_path()); }
956 _LIBCPP_INLINE_VISIBILITY path filename() const { return string_type(__filename()); }
957 _LIBCPP_INLINE_VISIBILITY path stem() const { return string_type(__stem());}
958 _LIBCPP_INLINE_VISIBILITY path extension() const { return string_type(__extension()); }
Eric Fiselier435db152016-06-17 19:46:40 +0000959
960 // query
961 _LIBCPP_INLINE_VISIBILITY bool empty() const _NOEXCEPT { return __pn_.empty(); }
962
963 _LIBCPP_INLINE_VISIBILITY bool has_root_name() const { return !__root_name().empty(); }
964 _LIBCPP_INLINE_VISIBILITY bool has_root_directory() const { return !__root_directory().empty(); }
Eric Fiselierf08063a2016-10-15 22:37:42 +0000965 _LIBCPP_INLINE_VISIBILITY bool has_root_path() const { return !__root_path_raw().empty(); }
Eric Fiselier435db152016-06-17 19:46:40 +0000966 _LIBCPP_INLINE_VISIBILITY bool has_relative_path() const { return !__relative_path().empty(); }
967 _LIBCPP_INLINE_VISIBILITY bool has_parent_path() const { return !__parent_path().empty(); }
968 _LIBCPP_INLINE_VISIBILITY bool has_filename() const { return !__filename().empty(); }
969 _LIBCPP_INLINE_VISIBILITY bool has_stem() const { return !__stem().empty(); }
970 _LIBCPP_INLINE_VISIBILITY bool has_extension() const { return !__extension().empty(); }
971
972 _LIBCPP_INLINE_VISIBILITY bool is_absolute() const { return has_root_directory(); }
973 _LIBCPP_INLINE_VISIBILITY bool is_relative() const { return !is_absolute(); }
974
975 // iterators
976 class _LIBCPP_TYPE_VIS iterator;
977 typedef iterator const_iterator;
978
979 _LIBCPP_FUNC_VIS iterator begin() const;
980 _LIBCPP_FUNC_VIS iterator end() const;
981
982private:
983 inline _LIBCPP_INLINE_VISIBILITY
Eric Fiselierb05e1b02016-07-23 03:10:56 +0000984 path& __assign_view(__string_view const& __s) noexcept { __pn_ = string_type(__s); return *this; }
Eric Fiselier435db152016-06-17 19:46:40 +0000985 string_type __pn_;
986};
987
988inline _LIBCPP_ALWAYS_INLINE
989void swap(path& __lhs, path& __rhs) _NOEXCEPT {
990 __lhs.swap(__rhs);
991}
992
993_LIBCPP_FUNC_VIS
994size_t hash_value(const path& __p) _NOEXCEPT;
995
996inline _LIBCPP_INLINE_VISIBILITY
997bool operator==(const path& __lhs, const path& __rhs) _NOEXCEPT
998{ return __lhs.compare(__rhs) == 0; }
999
1000inline _LIBCPP_INLINE_VISIBILITY
1001bool operator!=(const path& __lhs, const path& __rhs) _NOEXCEPT
1002{ return __lhs.compare(__rhs) != 0; }
1003
1004inline _LIBCPP_INLINE_VISIBILITY
1005bool operator<(const path& __lhs, const path& __rhs) _NOEXCEPT
1006{ return __lhs.compare(__rhs) < 0; }
1007
1008inline _LIBCPP_INLINE_VISIBILITY
1009bool operator<=(const path& __lhs, const path& __rhs) _NOEXCEPT
1010{ return __lhs.compare(__rhs) <= 0; }
1011
1012inline _LIBCPP_INLINE_VISIBILITY
1013bool operator>(const path& __lhs, const path& __rhs) _NOEXCEPT
1014{ return __lhs.compare(__rhs) > 0; }
1015
1016inline _LIBCPP_INLINE_VISIBILITY
1017bool operator>=(const path& __lhs, const path& __rhs) _NOEXCEPT
1018{ return __lhs.compare(__rhs) >= 0; }
1019
1020inline _LIBCPP_INLINE_VISIBILITY
1021path operator/(const path& __lhs, const path& __rhs) {
1022 return path(__lhs) /= __rhs;
1023}
1024
1025template <class _CharT, class _Traits>
1026_LIBCPP_INLINE_VISIBILITY
1027typename enable_if<is_same<_CharT, char>::value &&
1028 is_same<_Traits, char_traits<char>>::value,
1029 basic_ostream<_CharT, _Traits>&
1030>::type
1031operator<<(basic_ostream<_CharT, _Traits>& __os, const path& __p) {
1032 __os << std::__quoted(__p.native());
1033 return __os;
1034}
1035
1036template <class _CharT, class _Traits>
1037_LIBCPP_INLINE_VISIBILITY
1038typename enable_if<!is_same<_CharT, char>::value ||
1039 !is_same<_Traits, char_traits<char>>::value,
1040 basic_ostream<_CharT, _Traits>&
1041>::type
1042operator<<(basic_ostream<_CharT, _Traits>& __os, const path& __p) {
1043 __os << std::__quoted(__p.string<_CharT, _Traits>());
1044 return __os;
1045}
1046
1047template <class _CharT, class _Traits>
1048_LIBCPP_INLINE_VISIBILITY
1049basic_istream<_CharT, _Traits>&
1050operator>>(basic_istream<_CharT, _Traits>& __is, path& __p)
1051{
1052 basic_string<_CharT, _Traits> __tmp;
1053 __is >> __quoted(__tmp);
1054 __p = __tmp;
1055 return __is;
1056}
1057
1058template <class _Source>
1059_LIBCPP_INLINE_VISIBILITY
1060typename enable_if<__is_pathable<_Source>::value, path>::type
1061u8path(const _Source& __s){
1062 static_assert(is_same<typename __is_pathable<_Source>::__char_type, char>::value,
1063 "u8path(Source const&) requires Source have a character type of type 'char'");
1064 return path(__s);
1065}
1066
1067template <class _InputIt>
1068_LIBCPP_INLINE_VISIBILITY
1069typename enable_if<__is_pathable<_InputIt>::value, path>::type
1070u8path(_InputIt __f, _InputIt __l) {
1071 static_assert(is_same<typename __is_pathable<_InputIt>::__char_type, char>::value,
1072 "u8path(Iter, Iter) requires Iter have a value_type of type 'char'");
1073 return path(__f, __l);
1074}
1075
1076class _LIBCPP_TYPE_VIS path::iterator
1077{
1078public:
1079 typedef bidirectional_iterator_tag iterator_category;
1080 typedef path value_type;
1081 typedef std::ptrdiff_t difference_type;
1082 typedef const path* pointer;
1083 typedef const path& reference;
1084public:
1085 _LIBCPP_INLINE_VISIBILITY
1086 iterator() : __elem_(), __path_ptr_(nullptr), __pos_(0) {}
1087
1088 iterator(const iterator&) = default;
1089 ~iterator() = default;
1090
1091 iterator& operator=(const iterator&) = default;
1092
1093 _LIBCPP_INLINE_VISIBILITY
1094 reference operator*() const {
1095 return __elem_;
1096 }
1097
1098 _LIBCPP_INLINE_VISIBILITY
1099 pointer operator->() const {
1100 return &__elem_;
1101 }
1102
1103 _LIBCPP_INLINE_VISIBILITY
1104 iterator& operator++() {
1105 return __increment();
1106 }
1107
1108 _LIBCPP_INLINE_VISIBILITY
1109 iterator operator++(int) {
1110 iterator __it(*this);
1111 this->operator++();
1112 return __it;
1113 }
1114
1115 _LIBCPP_INLINE_VISIBILITY
1116 iterator& operator--() {
1117 return __decrement();
1118 }
1119
1120 _LIBCPP_INLINE_VISIBILITY
1121 iterator operator--(int) {
1122 iterator __it(*this);
1123 this->operator--();
1124 return __it;
1125 }
1126
1127private:
1128 friend class path;
Eric Fiselier28175a32016-09-16 00:07:16 +00001129
1130 inline _LIBCPP_INLINE_VISIBILITY
Eric Fiselier435db152016-06-17 19:46:40 +00001131 friend bool operator==(const iterator&, const iterator&);
1132
1133 _LIBCPP_FUNC_VIS iterator& __increment();
1134 _LIBCPP_FUNC_VIS iterator& __decrement();
1135
1136 path __elem_;
1137 const path* __path_ptr_;
1138 size_t __pos_;
1139};
1140
1141inline _LIBCPP_INLINE_VISIBILITY
1142bool operator==(const path::iterator& __lhs, const path::iterator& __rhs) {
1143 return __lhs.__path_ptr_ == __rhs.__path_ptr_ &&
1144 __lhs.__pos_ == __rhs.__pos_;
1145}
1146
1147inline _LIBCPP_INLINE_VISIBILITY
1148bool operator!=(const path::iterator& __lhs, const path::iterator& __rhs) {
1149 return !(__lhs == __rhs);
1150}
1151
1152class _LIBCPP_EXCEPTION_ABI filesystem_error : public system_error
1153{
1154public:
1155 _LIBCPP_INLINE_VISIBILITY
1156 filesystem_error(const string& __what, error_code __ec)
1157 : system_error(__ec, __what),
1158 __paths_(make_shared<_Storage>(path(), path()))
1159 {}
1160
1161 _LIBCPP_INLINE_VISIBILITY
1162 filesystem_error(const string& __what, const path& __p1, error_code __ec)
1163 : system_error(__ec, __what),
1164 __paths_(make_shared<_Storage>(__p1, path()))
1165 {}
1166
1167 _LIBCPP_INLINE_VISIBILITY
1168 filesystem_error(const string& __what, const path& __p1, const path& __p2,
1169 error_code __ec)
1170 : system_error(__ec, __what),
1171 __paths_(make_shared<_Storage>(__p1, __p2))
1172 {}
1173
1174 _LIBCPP_INLINE_VISIBILITY
1175 const path& path1() const _NOEXCEPT {
1176 return __paths_->first;
1177 }
1178
1179 _LIBCPP_INLINE_VISIBILITY
1180 const path& path2() const _NOEXCEPT {
1181 return __paths_->second;
1182 }
1183
1184 _LIBCPP_FUNC_VIS
1185 ~filesystem_error() override; // key function
1186
1187 // TODO(ericwf): Create a custom error message.
1188 //const char* what() const _NOEXCEPT;
1189
1190private:
1191 typedef pair<path, path> _Storage;
1192 shared_ptr<_Storage> __paths_;
1193};
1194
Marshall Clowed3e2292016-08-25 17:47:09 +00001195template <class... _Args>
1196_LIBCPP_NORETURN inline _LIBCPP_ALWAYS_INLINE
1197void __throw_filesystem_error(_Args && ...__args)
1198{
1199#ifndef _LIBCPP_NO_EXCEPTIONS
1200 throw filesystem_error(std::forward<_Args>(__args)...);
1201#else
1202 _VSTD::abort();
1203#endif
1204}
1205
Eric Fiselier435db152016-06-17 19:46:40 +00001206// operational functions
1207
1208_LIBCPP_FUNC_VIS
1209path __canonical(const path&, const path&, error_code *__ec=nullptr);
1210_LIBCPP_FUNC_VIS
1211void __copy(const path& __from, const path& __to, copy_options __opt,
1212 error_code *__ec=nullptr);
1213_LIBCPP_FUNC_VIS
1214bool __copy_file(const path& __from, const path& __to, copy_options __opt,
1215 error_code *__ec=nullptr);
1216_LIBCPP_FUNC_VIS
1217void __copy_symlink(const path& __existing_symlink, const path& __new_symlink,
1218 error_code *__ec=nullptr);
1219_LIBCPP_FUNC_VIS
1220bool __create_directories(const path& p, error_code *ec=nullptr);
1221_LIBCPP_FUNC_VIS
1222bool __create_directory(const path& p, error_code *ec=nullptr);
1223_LIBCPP_FUNC_VIS
1224bool __create_directory(const path& p, const path & attributes,
1225 error_code *ec=nullptr);
1226_LIBCPP_FUNC_VIS
1227void __create_directory_symlink(const path& __to, const path& __new_symlink,
1228 error_code *__ec=nullptr);
1229_LIBCPP_FUNC_VIS
1230void __create_hard_link(const path& __to, const path& __new_hard_link,
1231 error_code *__ec=nullptr);
1232_LIBCPP_FUNC_VIS
1233void __create_symlink(const path& __to, const path& __new_symlink,
1234 error_code *__ec=nullptr);
1235_LIBCPP_FUNC_VIS
1236path __current_path(error_code *__ec=nullptr);
1237_LIBCPP_FUNC_VIS
1238void __current_path(const path&, error_code *__ec=nullptr);
1239_LIBCPP_FUNC_VIS
1240bool __equivalent(const path&, const path&, error_code *__ec=nullptr);
1241_LIBCPP_FUNC_VIS
1242uintmax_t __file_size(const path&, error_code *__ec=nullptr);
1243_LIBCPP_FUNC_VIS
1244uintmax_t __hard_link_count(const path&, error_code *__ec=nullptr);
1245_LIBCPP_FUNC_VIS
1246bool __fs_is_empty(const path& p, error_code *ec=nullptr);
1247_LIBCPP_FUNC_VIS
1248file_time_type __last_write_time(const path& p, error_code *ec=nullptr);
1249_LIBCPP_FUNC_VIS
1250void __last_write_time(const path& p, file_time_type new_time,
1251 error_code *ec=nullptr);
1252_LIBCPP_FUNC_VIS
1253void __permissions(const path& p, perms prms, error_code *ec=nullptr);
1254_LIBCPP_FUNC_VIS
1255path __read_symlink(const path& p, error_code *ec=nullptr);
1256_LIBCPP_FUNC_VIS
1257bool __remove(const path& p, error_code *ec=nullptr);
1258_LIBCPP_FUNC_VIS
1259uintmax_t __remove_all(const path& p, error_code *ec=nullptr);
1260_LIBCPP_FUNC_VIS
1261void __rename(const path& from, const path& to, error_code *ec=nullptr);
1262_LIBCPP_FUNC_VIS
1263void __resize_file(const path& p, uintmax_t size, error_code *ec=nullptr);
1264_LIBCPP_FUNC_VIS
1265space_info __space(const path&, error_code *__ec=nullptr);
1266_LIBCPP_FUNC_VIS
1267file_status __status(const path&, error_code *__ec=nullptr);
1268_LIBCPP_FUNC_VIS
1269file_status __symlink_status(const path&, error_code *__ec=nullptr);
1270_LIBCPP_FUNC_VIS
1271path __system_complete(const path&, error_code *__ec=nullptr);
1272_LIBCPP_FUNC_VIS
1273path __temp_directory_path(error_code *__ec=nullptr);
1274
1275inline _LIBCPP_INLINE_VISIBILITY
1276path current_path() {
1277 return __current_path();
1278}
1279
1280inline _LIBCPP_INLINE_VISIBILITY
1281path current_path(error_code& __ec) {
1282 return __current_path(&__ec);
1283}
1284
1285inline _LIBCPP_INLINE_VISIBILITY
1286void current_path(const path& __p) {
1287 __current_path(__p);
1288}
1289
1290inline _LIBCPP_INLINE_VISIBILITY
1291void current_path(const path& __p, error_code& __ec) _NOEXCEPT {
1292 __current_path(__p, &__ec);
1293}
1294
1295_LIBCPP_FUNC_VIS
1296path absolute(const path&, const path& __p2 = current_path());
1297
1298inline _LIBCPP_INLINE_VISIBILITY
1299path canonical(const path& __p, const path& __base = current_path()) {
1300 return __canonical(__p, __base);
1301}
1302
1303inline _LIBCPP_INLINE_VISIBILITY
1304path canonical(const path& __p, error_code& __ec) {
1305 path __base = __current_path(&__ec);
1306 if (__ec) return {};
1307 return __canonical(__p, __base, &__ec);
1308}
1309
1310inline _LIBCPP_INLINE_VISIBILITY
1311path canonical(const path& __p, const path& __base, error_code& __ec) {
1312 return __canonical(__p, __base, &__ec);
1313}
1314
1315inline _LIBCPP_INLINE_VISIBILITY
1316void copy(const path& __from, const path& __to) {
1317 __copy(__from, __to, copy_options::none);
1318}
1319
1320inline _LIBCPP_INLINE_VISIBILITY
1321void copy(const path& __from, const path& __to, error_code& __ec) _NOEXCEPT {
1322 __copy(__from, __to, copy_options::none, &__ec);
1323}
1324
1325inline _LIBCPP_INLINE_VISIBILITY
1326void copy(const path& __from, const path& __to, copy_options __opt) {
1327 __copy(__from, __to, __opt);
1328}
1329
1330inline _LIBCPP_INLINE_VISIBILITY
1331void copy(const path& __from, const path& __to,
1332 copy_options __opt, error_code& __ec) _NOEXCEPT {
1333 __copy(__from, __to, __opt, &__ec);
1334}
1335
1336inline _LIBCPP_INLINE_VISIBILITY
1337bool copy_file(const path& __from, const path& __to) {
1338 return __copy_file(__from, __to, copy_options::none);
1339}
1340
1341inline _LIBCPP_INLINE_VISIBILITY
1342bool copy_file(const path& __from, const path& __to, error_code& __ec) _NOEXCEPT {
1343 return __copy_file(__from, __to, copy_options::none, &__ec);
1344}
1345
1346inline _LIBCPP_INLINE_VISIBILITY
1347bool copy_file(const path& __from, const path& __to, copy_options __opt) {
1348 return __copy_file(__from, __to, __opt);
1349}
1350
1351inline _LIBCPP_INLINE_VISIBILITY
1352bool copy_file(const path& __from, const path& __to,
1353 copy_options __opt, error_code& __ec) _NOEXCEPT {
1354 return __copy_file(__from, __to, __opt, &__ec);
1355}
1356
1357inline _LIBCPP_INLINE_VISIBILITY
1358void copy_symlink(const path& __existing, const path& __new) {
1359 __copy_symlink(__existing, __new);
1360}
1361
1362inline _LIBCPP_INLINE_VISIBILITY
1363void copy_symlink(const path& __ext, const path& __new, error_code& __ec) _NOEXCEPT {
1364 __copy_symlink(__ext, __new, &__ec);
1365}
1366
1367inline _LIBCPP_INLINE_VISIBILITY
1368bool create_directories(const path& __p) {
1369 return __create_directories(__p);
1370}
1371
1372inline _LIBCPP_INLINE_VISIBILITY
1373bool create_directories(const path& __p, error_code& __ec) _NOEXCEPT {
1374 return __create_directories(__p, &__ec);
1375}
1376
1377inline _LIBCPP_INLINE_VISIBILITY
1378bool create_directory(const path& __p) {
1379 return __create_directory(__p);
1380}
1381
1382inline _LIBCPP_INLINE_VISIBILITY
1383bool create_directory(const path& __p, error_code& __ec) _NOEXCEPT {
1384 return __create_directory(__p, &__ec);
1385}
1386
1387inline _LIBCPP_INLINE_VISIBILITY
1388bool create_directory(const path& __p, const path& __attrs) {
1389 return __create_directory(__p, __attrs);
1390}
1391
1392inline _LIBCPP_INLINE_VISIBILITY
1393bool create_directory(const path& __p, const path& __attrs, error_code& __ec) _NOEXCEPT {
1394 return __create_directory(__p, __attrs, &__ec);
1395}
1396
1397inline _LIBCPP_INLINE_VISIBILITY
1398void create_directory_symlink(const path& __to, const path& __new) {
1399 __create_directory_symlink(__to, __new);
1400}
1401
1402inline _LIBCPP_INLINE_VISIBILITY
1403void create_directory_symlink(const path& __to, const path& __new,
1404 error_code& __ec) _NOEXCEPT {
1405 __create_directory_symlink(__to, __new, &__ec);
1406}
1407
1408inline _LIBCPP_INLINE_VISIBILITY
1409void create_hard_link(const path& __to, const path& __new) {
1410 __create_hard_link(__to, __new);
1411}
1412
1413inline _LIBCPP_INLINE_VISIBILITY
1414void create_hard_link(const path& __to, const path& __new, error_code& __ec) _NOEXCEPT {
1415 __create_hard_link(__to, __new, &__ec);
1416}
1417
1418inline _LIBCPP_INLINE_VISIBILITY
1419void create_symlink(const path& __to, const path& __new) {
1420 __create_symlink(__to, __new);
1421}
1422
1423inline _LIBCPP_INLINE_VISIBILITY
1424void create_symlink(const path& __to, const path& __new, error_code& __ec) _NOEXCEPT {
1425 return __create_symlink(__to, __new, &__ec);
1426}
1427
1428inline _LIBCPP_INLINE_VISIBILITY
1429bool status_known(file_status __s) _NOEXCEPT {
1430 return __s.type() != file_type::none;
1431}
1432
1433inline _LIBCPP_INLINE_VISIBILITY
1434bool exists(file_status __s) _NOEXCEPT {
1435 return status_known(__s) && __s.type() != file_type::not_found;
1436}
1437
1438inline _LIBCPP_INLINE_VISIBILITY
1439bool exists(const path& __p) {
1440 return exists(__status(__p));
1441}
1442
1443inline _LIBCPP_INLINE_VISIBILITY
1444bool exists(const path& __p, error_code& __ec) _NOEXCEPT {
Eric Fiselier0a367d22016-06-21 22:11:16 +00001445 auto __s = __status(__p, &__ec);
1446 if (status_known(__s)) __ec.clear();
1447 return exists(__s);
Eric Fiselier435db152016-06-17 19:46:40 +00001448}
1449
1450inline _LIBCPP_INLINE_VISIBILITY
1451bool equivalent(const path& __p1, const path& __p2) {
1452 return __equivalent(__p1, __p2);
1453}
1454
1455inline _LIBCPP_INLINE_VISIBILITY
1456bool equivalent(const path& __p1, const path& __p2, error_code& __ec) _NOEXCEPT {
1457 return __equivalent(__p1, __p2, &__ec);
1458}
1459
1460inline _LIBCPP_INLINE_VISIBILITY
1461uintmax_t file_size(const path& __p) {
1462 return __file_size(__p);
1463}
1464
1465inline _LIBCPP_INLINE_VISIBILITY
1466uintmax_t file_size(const path& __p, error_code& __ec) _NOEXCEPT {
1467 return __file_size(__p, &__ec);
1468}
1469
1470inline _LIBCPP_INLINE_VISIBILITY
1471uintmax_t hard_link_count(const path& __p) {
1472 return __hard_link_count(__p);
1473}
1474
1475inline _LIBCPP_INLINE_VISIBILITY
1476uintmax_t hard_link_count(const path& __p, error_code& __ec) _NOEXCEPT {
1477 return __hard_link_count(__p, &__ec);
1478}
1479
1480inline _LIBCPP_INLINE_VISIBILITY
1481bool is_block_file(file_status __s) _NOEXCEPT {
1482 return __s.type() == file_type::block;
1483}
1484
1485inline _LIBCPP_INLINE_VISIBILITY
1486bool is_block_file(const path& __p) {
1487 return is_block_file(__status(__p));
1488}
1489
1490inline _LIBCPP_INLINE_VISIBILITY
1491bool is_block_file(const path& __p, error_code& __ec) _NOEXCEPT {
1492 return is_block_file(__status(__p, &__ec));
1493}
1494
1495inline _LIBCPP_INLINE_VISIBILITY
1496bool is_character_file(file_status __s) _NOEXCEPT {
1497 return __s.type() == file_type::character;
1498}
1499
1500inline _LIBCPP_INLINE_VISIBILITY
1501bool is_character_file(const path& __p) {
1502 return is_character_file(__status(__p));
1503}
1504
1505inline _LIBCPP_INLINE_VISIBILITY
1506bool is_character_file(const path& __p, error_code& __ec) _NOEXCEPT {
1507 return is_character_file(__status(__p, &__ec));
1508}
1509
1510inline _LIBCPP_INLINE_VISIBILITY
1511bool is_directory(file_status __s) _NOEXCEPT {
1512 return __s.type() == file_type::directory;
1513}
1514
1515inline _LIBCPP_INLINE_VISIBILITY
1516bool is_directory(const path& __p) {
1517 return is_directory(__status(__p));
1518}
1519
1520inline _LIBCPP_INLINE_VISIBILITY
1521bool is_directory(const path& __p, error_code& __ec) _NOEXCEPT {
1522 return is_directory(__status(__p, &__ec));
1523}
1524
1525inline _LIBCPP_INLINE_VISIBILITY
1526bool is_empty(const path& __p) {
1527 return __fs_is_empty(__p);
1528}
1529
1530inline _LIBCPP_INLINE_VISIBILITY
1531bool is_empty(const path& __p, error_code& __ec) _NOEXCEPT {
1532 return __fs_is_empty(__p, &__ec);
1533}
1534
1535inline _LIBCPP_INLINE_VISIBILITY
1536bool is_fifo(file_status __s) _NOEXCEPT {
1537 return __s.type() == file_type::fifo;
1538}
1539inline _LIBCPP_INLINE_VISIBILITY
1540bool is_fifo(const path& __p) {
1541 return is_fifo(__status(__p));
1542}
1543
1544inline _LIBCPP_INLINE_VISIBILITY
1545bool is_fifo(const path& __p, error_code& __ec) _NOEXCEPT {
1546 return is_fifo(__status(__p, &__ec));
1547}
1548
1549inline _LIBCPP_INLINE_VISIBILITY
1550bool is_regular_file(file_status __s) _NOEXCEPT {
1551 return __s.type() == file_type::regular;
1552}
1553
1554inline _LIBCPP_INLINE_VISIBILITY
1555bool is_regular_file(const path& __p) {
1556 return is_regular_file(__status(__p));
1557}
1558
1559inline _LIBCPP_INLINE_VISIBILITY
1560bool is_regular_file(const path& __p, error_code& __ec) _NOEXCEPT {
1561 return is_regular_file(__status(__p, &__ec));
1562}
1563
1564inline _LIBCPP_INLINE_VISIBILITY
1565bool is_socket(file_status __s) _NOEXCEPT {
1566 return __s.type() == file_type::socket;
1567}
1568
1569inline _LIBCPP_INLINE_VISIBILITY
1570bool is_socket(const path& __p) {
1571 return is_socket(__status(__p));
1572}
1573
1574inline _LIBCPP_INLINE_VISIBILITY
1575bool is_socket(const path& __p, error_code& __ec) _NOEXCEPT {
1576 return is_socket(__status(__p, &__ec));
1577}
1578
1579inline _LIBCPP_INLINE_VISIBILITY
1580bool is_symlink(file_status __s) _NOEXCEPT {
1581 return __s.type() == file_type::symlink;
1582}
1583
1584inline _LIBCPP_INLINE_VISIBILITY
1585bool is_symlink(const path& __p) {
1586 return is_symlink(__symlink_status(__p));
1587}
1588
1589inline _LIBCPP_INLINE_VISIBILITY
1590bool is_symlink(const path& __p, error_code& __ec) _NOEXCEPT {
1591 return is_symlink(__symlink_status(__p, &__ec));
1592}
1593
1594inline _LIBCPP_INLINE_VISIBILITY
1595bool is_other(file_status __s) _NOEXCEPT {
1596 return exists(__s)
1597 && !is_regular_file(__s) && !is_directory(__s) && !is_symlink(__s);
1598}
1599
1600inline _LIBCPP_INLINE_VISIBILITY
1601bool is_other(const path& __p) {
1602 return is_other(__status(__p));
1603}
1604
1605inline _LIBCPP_INLINE_VISIBILITY
1606bool is_other(const path& __p, error_code& __ec) _NOEXCEPT {
1607 return is_other(__status(__p, &__ec));
1608}
1609
1610inline _LIBCPP_INLINE_VISIBILITY
1611file_time_type last_write_time(const path& __p) {
1612 return __last_write_time(__p);
1613}
1614
1615inline _LIBCPP_INLINE_VISIBILITY
1616file_time_type last_write_time(const path& __p, error_code& __ec) _NOEXCEPT {
1617 return __last_write_time(__p, &__ec);
1618}
1619
1620inline _LIBCPP_INLINE_VISIBILITY
1621void last_write_time(const path& __p, file_time_type __t) {
1622 __last_write_time(__p, __t);
1623}
1624
1625inline _LIBCPP_INLINE_VISIBILITY
1626void last_write_time(const path& __p, file_time_type __t, error_code& __ec) _NOEXCEPT {
1627 __last_write_time(__p, __t, &__ec);
1628}
1629
1630inline _LIBCPP_INLINE_VISIBILITY
1631void permissions(const path& __p, perms __prms) {
1632 __permissions(__p, __prms);
1633}
1634
1635inline _LIBCPP_INLINE_VISIBILITY
1636void permissions(const path& __p, perms __prms, error_code& __ec) {
1637 __permissions(__p, __prms, &__ec);
1638}
1639
1640inline _LIBCPP_INLINE_VISIBILITY
1641path read_symlink(const path& __p) {
1642 return __read_symlink(__p);
1643}
1644
1645inline _LIBCPP_INLINE_VISIBILITY
1646path read_symlink(const path& __p, error_code& __ec) {
1647 return __read_symlink(__p, &__ec);
1648}
1649
1650inline _LIBCPP_INLINE_VISIBILITY
1651bool remove(const path& __p) {
1652 return __remove(__p);
1653}
1654
1655inline _LIBCPP_INLINE_VISIBILITY
1656bool remove(const path& __p, error_code& __ec) _NOEXCEPT {
1657 return __remove(__p, &__ec);
1658}
1659
1660inline _LIBCPP_INLINE_VISIBILITY
1661uintmax_t remove_all(const path& __p) {
1662 return __remove_all(__p);
1663}
1664
1665inline _LIBCPP_INLINE_VISIBILITY
1666uintmax_t remove_all(const path& __p, error_code& __ec) _NOEXCEPT {
1667 return __remove_all(__p, &__ec);
1668}
1669
1670inline _LIBCPP_INLINE_VISIBILITY
1671void rename(const path& __from, const path& __to) {
1672 return __rename(__from, __to);
1673}
1674
1675inline _LIBCPP_INLINE_VISIBILITY
1676void rename(const path& __from, const path& __to, error_code& __ec) _NOEXCEPT {
1677 return __rename(__from, __to, &__ec);
1678}
1679
1680inline _LIBCPP_INLINE_VISIBILITY
1681void resize_file(const path& __p, uintmax_t __ns) {
1682 return __resize_file(__p, __ns);
1683}
1684
1685inline _LIBCPP_INLINE_VISIBILITY
1686void resize_file(const path& __p, uintmax_t __ns, error_code& __ec) _NOEXCEPT {
1687 return __resize_file(__p, __ns, &__ec);
1688}
1689
1690inline _LIBCPP_INLINE_VISIBILITY
1691space_info space(const path& __p) {
1692 return __space(__p);
1693}
1694
1695inline _LIBCPP_INLINE_VISIBILITY
1696space_info space(const path& __p, error_code& __ec) _NOEXCEPT {
1697 return __space(__p, &__ec);
1698}
1699
1700inline _LIBCPP_INLINE_VISIBILITY
1701file_status status(const path& __p) {
1702 return __status(__p);
1703}
1704
1705inline _LIBCPP_INLINE_VISIBILITY
1706file_status status(const path& __p, error_code& __ec) _NOEXCEPT {
1707 return __status(__p, &__ec);
1708}
1709
1710inline _LIBCPP_INLINE_VISIBILITY
1711file_status symlink_status(const path& __p) {
1712 return __symlink_status(__p);
1713}
1714
1715inline _LIBCPP_INLINE_VISIBILITY
1716file_status symlink_status(const path& __p, error_code& __ec) _NOEXCEPT {
1717 return __symlink_status(__p, &__ec);
1718}
1719
1720inline _LIBCPP_INLINE_VISIBILITY
1721path system_complete(const path& __p) {
1722 return __system_complete(__p);
1723}
1724
1725inline _LIBCPP_INLINE_VISIBILITY
1726path system_complete(const path& __p, error_code& __ec) {
1727 return __system_complete(__p, &__ec);
1728}
1729
1730inline _LIBCPP_INLINE_VISIBILITY
1731path temp_directory_path() {
1732 return __temp_directory_path();
1733}
1734
1735inline _LIBCPP_INLINE_VISIBILITY
1736path temp_directory_path(error_code& __ec) {
1737 return __temp_directory_path(&__ec);
1738}
1739
1740
1741class directory_entry
1742{
1743 typedef _VSTD_FS::path _Path;
1744
1745public:
1746 // constructors and destructors
1747 directory_entry() _NOEXCEPT = default;
1748 directory_entry(directory_entry const&) = default;
1749 directory_entry(directory_entry&&) _NOEXCEPT = default;
1750
1751 _LIBCPP_INLINE_VISIBILITY
1752 explicit directory_entry(_Path const& __p) : __p_(__p) {}
1753
1754 ~directory_entry() {}
1755
1756 directory_entry& operator=(directory_entry const&) = default;
1757 directory_entry& operator=(directory_entry&&) _NOEXCEPT = default;
1758
1759 _LIBCPP_INLINE_VISIBILITY
1760 void assign(_Path const& __p) {
1761 __p_ = __p;
1762 }
1763
1764 _LIBCPP_INLINE_VISIBILITY
1765 void replace_filename(_Path const& __p) {
1766 __p_ = __p_.parent_path() / __p;
1767 }
1768
1769 _LIBCPP_INLINE_VISIBILITY
1770 _Path const& path() const _NOEXCEPT {
1771 return __p_;
1772 }
1773
1774 _LIBCPP_INLINE_VISIBILITY
1775 operator const _Path&() const _NOEXCEPT {
1776 return __p_;
1777 }
1778
1779 _LIBCPP_INLINE_VISIBILITY
1780 file_status status() const {
1781 return _VSTD_FS::status(__p_);
1782 }
1783
1784 _LIBCPP_INLINE_VISIBILITY
1785 file_status status(error_code& __ec) const _NOEXCEPT {
1786 return _VSTD_FS::status(__p_, __ec);
1787 }
1788
1789 _LIBCPP_INLINE_VISIBILITY
1790 file_status symlink_status() const {
1791 return _VSTD_FS::symlink_status(__p_);
1792 }
1793
1794 _LIBCPP_INLINE_VISIBILITY
1795 file_status symlink_status(error_code& __ec) const _NOEXCEPT {
1796 return _VSTD_FS::symlink_status(__p_, __ec);
1797 }
1798
1799 _LIBCPP_INLINE_VISIBILITY
1800 bool operator< (directory_entry const& __rhs) const _NOEXCEPT {
1801 return __p_ < __rhs.__p_;
1802 }
1803
1804 _LIBCPP_INLINE_VISIBILITY
1805 bool operator==(directory_entry const& __rhs) const _NOEXCEPT {
1806 return __p_ == __rhs.__p_;
1807 }
1808
1809 _LIBCPP_INLINE_VISIBILITY
1810 bool operator!=(directory_entry const& __rhs) const _NOEXCEPT {
1811 return __p_ != __rhs.__p_;
1812 }
1813
1814 _LIBCPP_INLINE_VISIBILITY
1815 bool operator<=(directory_entry const& __rhs) const _NOEXCEPT {
1816 return __p_ <= __rhs.__p_;
1817 }
1818
1819 _LIBCPP_INLINE_VISIBILITY
1820 bool operator> (directory_entry const& __rhs) const _NOEXCEPT {
1821 return __p_ > __rhs.__p_;
1822 }
1823
1824 _LIBCPP_INLINE_VISIBILITY
1825 bool operator>=(directory_entry const& __rhs) const _NOEXCEPT {
1826 return __p_ >= __rhs.__p_;
1827 }
1828private:
1829 _Path __p_;
1830};
1831
1832
1833class directory_iterator;
1834class recursive_directory_iterator;
1835class __dir_stream;
1836
1837class __dir_element_proxy {
1838public:
1839
1840 inline _LIBCPP_INLINE_VISIBILITY
1841 directory_entry operator*() { return _VSTD::move(__elem_); }
1842
1843private:
1844 friend class directory_iterator;
1845 friend class recursive_directory_iterator;
1846 explicit __dir_element_proxy(directory_entry const& __e) : __elem_(__e) {}
1847 __dir_element_proxy(__dir_element_proxy&& __o) : __elem_(_VSTD::move(__o.__elem_)) {}
1848 directory_entry __elem_;
1849};
1850
1851class directory_iterator
1852{
1853public:
1854 typedef directory_entry value_type;
1855 typedef ptrdiff_t difference_type;
1856 typedef value_type const* pointer;
1857 typedef value_type const& reference;
1858 typedef input_iterator_tag iterator_category;
1859
1860public:
1861 //ctor & dtor
1862 directory_iterator() _NOEXCEPT
1863 { }
1864
1865 explicit directory_iterator(const path& __p)
1866 : directory_iterator(__p, nullptr)
1867 { }
1868
1869 directory_iterator(const path& __p, directory_options __opts)
1870 : directory_iterator(__p, nullptr, __opts)
1871 { }
1872
1873 directory_iterator(const path& __p, error_code& __ec) _NOEXCEPT
1874 : directory_iterator(__p, &__ec)
1875 { }
1876
1877 directory_iterator(const path& __p, directory_options __opts,
1878 error_code& __ec) _NOEXCEPT
1879 : directory_iterator(__p, &__ec, __opts)
1880 { }
1881
1882 directory_iterator(const directory_iterator&) = default;
1883 directory_iterator(directory_iterator&&) = default;
1884 directory_iterator& operator=(const directory_iterator&) = default;
1885
1886 directory_iterator& operator=(directory_iterator&& __o) _NOEXCEPT {
1887 // non-default implementation provided to support self-move assign.
1888 if (this != &__o) {
1889 __imp_ = _VSTD::move(__o.__imp_);
1890 }
1891 return *this;
1892 }
1893
1894 ~directory_iterator() = default;
1895
1896 const directory_entry& operator*() const {
1897 _LIBCPP_ASSERT(__imp_, "The end iterator cannot be dereferenced");
1898 return __deref();
1899 }
1900
1901 const directory_entry* operator->() const
1902 { return &**this; }
1903
1904 directory_iterator& operator++()
1905 { return __increment(); }
1906
1907 __dir_element_proxy operator++(int) {
1908 __dir_element_proxy __p(**this);
1909 __increment();
1910 return __p;
1911 }
1912
1913 directory_iterator& increment(error_code& __ec) _NOEXCEPT
1914 { return __increment(&__ec); }
1915
1916private:
Eric Fiselier28175a32016-09-16 00:07:16 +00001917 inline _LIBCPP_INLINE_VISIBILITY
Eric Fiselier435db152016-06-17 19:46:40 +00001918 friend bool operator==(const directory_iterator& __lhs,
1919 const directory_iterator& __rhs) _NOEXCEPT;
1920
1921 // construct the dir_stream
1922 _LIBCPP_FUNC_VIS
1923 directory_iterator(const path&, error_code *, directory_options = directory_options::none);
1924 _LIBCPP_FUNC_VIS
1925 directory_iterator& __increment(error_code * __ec = nullptr);
1926 _LIBCPP_FUNC_VIS
1927 const directory_entry& __deref() const;
1928
1929private:
1930 shared_ptr<__dir_stream> __imp_;
1931};
1932
1933
1934inline _LIBCPP_INLINE_VISIBILITY
1935bool operator==(const directory_iterator& __lhs,
1936 const directory_iterator& __rhs) _NOEXCEPT {
1937 return __lhs.__imp_ == __rhs.__imp_;
1938}
1939
1940inline _LIBCPP_INLINE_VISIBILITY
1941bool operator!=(const directory_iterator& __lhs,
1942 const directory_iterator& __rhs) _NOEXCEPT {
1943 return !(__lhs == __rhs);
1944}
1945
1946// enable directory_iterator range-based for statements
1947inline _LIBCPP_INLINE_VISIBILITY
1948directory_iterator begin(directory_iterator __iter) _NOEXCEPT {
1949 return __iter;
1950}
1951
1952inline _LIBCPP_INLINE_VISIBILITY
1953directory_iterator end(const directory_iterator&) _NOEXCEPT {
1954 return directory_iterator();
1955}
1956
1957class recursive_directory_iterator {
1958public:
1959 using value_type = directory_entry;
1960 using difference_type = std::ptrdiff_t;
1961 using pointer = directory_entry const *;
1962 using reference = directory_entry const &;
1963 using iterator_category = std::input_iterator_tag;
1964
1965public:
1966 // constructors and destructor
1967 _LIBCPP_INLINE_VISIBILITY
1968 recursive_directory_iterator() _NOEXCEPT
1969 : __rec_(false)
1970 {}
1971
1972 _LIBCPP_INLINE_VISIBILITY
1973 explicit recursive_directory_iterator(const path& __p,
1974 directory_options __xoptions = directory_options::none)
1975 : recursive_directory_iterator(__p, __xoptions, nullptr)
1976 { }
1977
1978 _LIBCPP_INLINE_VISIBILITY
1979 recursive_directory_iterator(const path& __p,
1980 directory_options __xoptions, error_code& __ec) _NOEXCEPT
1981 : recursive_directory_iterator(__p, __xoptions, &__ec)
1982 { }
1983
1984 _LIBCPP_INLINE_VISIBILITY
1985 recursive_directory_iterator(const path& __p, error_code& __ec) _NOEXCEPT
1986 : recursive_directory_iterator(__p, directory_options::none, &__ec)
1987 { }
1988
1989 recursive_directory_iterator(const recursive_directory_iterator&) = default;
1990 recursive_directory_iterator(recursive_directory_iterator&&) = default;
1991
1992 recursive_directory_iterator &
1993 operator=(const recursive_directory_iterator&) = default;
1994
1995 _LIBCPP_INLINE_VISIBILITY
1996 recursive_directory_iterator &
1997 operator=(recursive_directory_iterator&& __o) noexcept {
1998 // non-default implementation provided to support self-move assign.
1999 if (this != &__o) {
2000 __imp_ = _VSTD::move(__o.__imp_);
2001 __rec_ = __o.__rec_;
2002 }
2003 return *this;
2004 }
2005
2006 ~recursive_directory_iterator() = default;
2007
2008 _LIBCPP_INLINE_VISIBILITY
2009 const directory_entry& operator*() const
2010 { return __deref(); }
2011
2012 _LIBCPP_INLINE_VISIBILITY
2013 const directory_entry* operator->() const
2014 { return &__deref(); }
2015
2016 recursive_directory_iterator& operator++()
2017 { return __increment(); }
2018
2019 _LIBCPP_INLINE_VISIBILITY
2020 __dir_element_proxy operator++(int) {
2021 __dir_element_proxy __p(**this);
2022 __increment();
2023 return __p;
2024 }
2025
2026 _LIBCPP_INLINE_VISIBILITY
2027 recursive_directory_iterator& increment(error_code& __ec) _NOEXCEPT
2028 { return __increment(&__ec); }
2029
2030 _LIBCPP_FUNC_VIS directory_options options() const;
2031 _LIBCPP_FUNC_VIS int depth() const;
2032
2033 _LIBCPP_INLINE_VISIBILITY
2034 void pop() { __pop(); }
2035
2036 _LIBCPP_INLINE_VISIBILITY
2037 void pop(error_code& __ec)
2038 { __pop(&__ec); }
2039
2040 _LIBCPP_INLINE_VISIBILITY
2041 bool recursion_pending() const
2042 { return __rec_; }
2043
2044 _LIBCPP_INLINE_VISIBILITY
2045 void disable_recursion_pending()
2046 { __rec_ = false; }
2047
2048private:
2049 recursive_directory_iterator(const path& __p, directory_options __opt,
2050 error_code *__ec);
2051
2052 _LIBCPP_FUNC_VIS
2053 const directory_entry& __deref() const;
2054
2055 _LIBCPP_FUNC_VIS
2056 bool __try_recursion(error_code* __ec);
2057
2058 _LIBCPP_FUNC_VIS
2059 void __advance(error_code* __ec=nullptr);
2060
2061 _LIBCPP_FUNC_VIS
2062 recursive_directory_iterator& __increment(error_code *__ec=nullptr);
2063
2064 _LIBCPP_FUNC_VIS
2065 void __pop(error_code* __ec=nullptr);
2066
Eric Fiselier28175a32016-09-16 00:07:16 +00002067 inline _LIBCPP_INLINE_VISIBILITY
Eric Fiselier435db152016-06-17 19:46:40 +00002068 friend bool operator==(const recursive_directory_iterator&,
2069 const recursive_directory_iterator&) _NOEXCEPT;
2070
2071 struct __shared_imp;
2072 shared_ptr<__shared_imp> __imp_;
2073 bool __rec_;
2074}; // class recursive_directory_iterator
2075
2076
Eric Fiselier28175a32016-09-16 00:07:16 +00002077inline _LIBCPP_INLINE_VISIBILITY
2078bool operator==(const recursive_directory_iterator& __lhs,
2079 const recursive_directory_iterator& __rhs) _NOEXCEPT
Eric Fiselier435db152016-06-17 19:46:40 +00002080{
2081 return __lhs.__imp_ == __rhs.__imp_;
2082}
2083
2084_LIBCPP_INLINE_VISIBILITY
2085inline bool operator!=(const recursive_directory_iterator& __lhs,
2086 const recursive_directory_iterator& __rhs) _NOEXCEPT
2087{
2088 return !(__lhs == __rhs);
2089}
2090// enable recursive_directory_iterator range-based for statements
2091inline _LIBCPP_INLINE_VISIBILITY
2092recursive_directory_iterator begin(recursive_directory_iterator __iter) _NOEXCEPT {
2093 return __iter;
2094}
2095
2096inline _LIBCPP_INLINE_VISIBILITY
2097recursive_directory_iterator end(const recursive_directory_iterator&) _NOEXCEPT {
2098 return recursive_directory_iterator();
2099}
2100
2101_LIBCPP_END_NAMESPACE_EXPERIMENTAL_FILESYSTEM
2102
2103#endif // _LIBCPP_EXPERIMENTAL_FILESYSTEM