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