xref: /llvm-project/libcxx/test/std/input.output/filesystems/class.file_status/file_status.obs.pass.cpp (revision ac8c9f1e39e1a773fd81ce23dbf1c80ea186f226)
1f7b43230SLouis Dionne //===----------------------------------------------------------------------===//
2f7b43230SLouis Dionne //
3f7b43230SLouis Dionne // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4f7b43230SLouis Dionne // See https://llvm.org/LICENSE.txt for license information.
5f7b43230SLouis Dionne // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6f7b43230SLouis Dionne //
7f7b43230SLouis Dionne //===----------------------------------------------------------------------===//
8f7b43230SLouis Dionne 
9*ac8c9f1eSLouis Dionne // UNSUPPORTED: c++03, c++11, c++14
10f7b43230SLouis Dionne 
11f7b43230SLouis Dionne // <filesystem>
12f7b43230SLouis Dionne 
13f7b43230SLouis Dionne // class file_status
14f7b43230SLouis Dionne 
15f7b43230SLouis Dionne // file_type type() const noexcept;
16f7b43230SLouis Dionne // perms permissions(p) const noexcept;
17f7b43230SLouis Dionne 
18*ac8c9f1eSLouis Dionne #include <filesystem>
19f7b43230SLouis Dionne #include <type_traits>
20f7b43230SLouis Dionne #include <cassert>
21f7b43230SLouis Dionne 
227fc6a556SMarshall Clow #include "test_macros.h"
23*ac8c9f1eSLouis Dionne namespace fs = std::filesystem;
24f7b43230SLouis Dionne 
main(int,char **)25f7b43230SLouis Dionne int main(int, char**) {
26f7b43230SLouis Dionne   using namespace fs;
27f7b43230SLouis Dionne 
28f7b43230SLouis Dionne   const file_status st(file_type::regular, perms::owner_read);
29f7b43230SLouis Dionne 
30f7b43230SLouis Dionne   // type test
31f7b43230SLouis Dionne   {
32f7b43230SLouis Dionne     static_assert(noexcept(st.type()),
33f7b43230SLouis Dionne                   "operation must be noexcept");
34f7b43230SLouis Dionne     static_assert(std::is_same<decltype(st.type()), file_type>::value,
35f7b43230SLouis Dionne                  "operation must return file_type");
36f7b43230SLouis Dionne     assert(st.type() == file_type::regular);
37f7b43230SLouis Dionne   }
38f7b43230SLouis Dionne   // permissions test
39f7b43230SLouis Dionne   {
40f7b43230SLouis Dionne     static_assert(noexcept(st.permissions()),
41f7b43230SLouis Dionne                   "operation must be noexcept");
42f7b43230SLouis Dionne     static_assert(std::is_same<decltype(st.permissions()), perms>::value,
43f7b43230SLouis Dionne                  "operation must return perms");
44f7b43230SLouis Dionne     assert(st.permissions() == perms::owner_read);
45f7b43230SLouis Dionne   }
46f7b43230SLouis Dionne 
47f7b43230SLouis Dionne   return 0;
48f7b43230SLouis Dionne }
49