xref: /llvm-project/libcxx/test/std/input.output/filesystems/class.file_status/file_status.mods.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 // void type(file_type) noexcept;
16f7b43230SLouis Dionne // void permissions(perms) 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   file_status st;
29f7b43230SLouis Dionne 
30f7b43230SLouis Dionne   // type test
31f7b43230SLouis Dionne   {
32f7b43230SLouis Dionne     static_assert(noexcept(st.type(file_type::regular)),
33f7b43230SLouis Dionne                   "operation must be noexcept");
34f7b43230SLouis Dionne     static_assert(std::is_same<decltype(st.type(file_type::regular)), void>::value,
35f7b43230SLouis Dionne                  "operation must return void");
36f7b43230SLouis Dionne     assert(st.type() != file_type::regular);
37f7b43230SLouis Dionne     st.type(file_type::regular);
38f7b43230SLouis Dionne     assert(st.type() == file_type::regular);
39f7b43230SLouis Dionne   }
40f7b43230SLouis Dionne   // permissions test
41f7b43230SLouis Dionne   {
42f7b43230SLouis Dionne     static_assert(noexcept(st.permissions(perms::owner_read)),
43f7b43230SLouis Dionne                   "operation must be noexcept");
44f7b43230SLouis Dionne     static_assert(std::is_same<decltype(st.permissions(perms::owner_read)), void>::value,
45f7b43230SLouis Dionne                  "operation must return void");
46f7b43230SLouis Dionne     assert(st.permissions() != perms::owner_read);
47f7b43230SLouis Dionne     st.permissions(perms::owner_read);
48f7b43230SLouis Dionne     assert(st.permissions() == perms::owner_read);
49f7b43230SLouis Dionne   }
50f7b43230SLouis Dionne 
51f7b43230SLouis Dionne   return 0;
52f7b43230SLouis Dionne }
53