]>
Commit | Line | Data |
---|---|---|
6441eb6d | 1 | // Copyright (C) 2020-2025 Free Software Foundation, Inc. |
06688fe4 PH |
2 | |
3 | // This file is part of GCC. | |
4 | ||
5 | // GCC is free software; you can redistribute it and/or modify it under | |
6 | // the terms of the GNU General Public License as published by the Free | |
7 | // Software Foundation; either version 3, or (at your option) any later | |
8 | // version. | |
9 | ||
10 | // GCC is distributed in the hope that it will be useful, but WITHOUT ANY | |
11 | // WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
12 | // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
13 | // for more details. | |
14 | ||
15 | // You should have received a copy of the GNU General Public License | |
16 | // along with GCC; see the file COPYING3. If not see | |
17 | // <http://www.gnu.org/licenses/>. | |
18 | ||
19 | #ifndef RUST_CASTS | |
20 | #define RUST_CASTS | |
21 | ||
22 | #include "rust-tyty.h" | |
23 | #include "rust-coercion.h" | |
24 | ||
25 | namespace Rust { | |
26 | namespace Resolver { | |
27 | ||
28 | class TypeCastRules | |
29 | { | |
30 | public: | |
d991a3f1 OA |
31 | static TypeCoercionRules::CoercionResult resolve (location_t locus, |
32 | TyTy::TyWithLocation from, | |
33 | TyTy::TyWithLocation to); | |
06688fe4 PH |
34 | |
35 | protected: | |
36 | TypeCoercionRules::CoercionResult check (); | |
37 | TypeCoercionRules::CoercionResult cast_rules (); | |
38 | TypeCoercionRules::CoercionResult check_ptr_ptr_cast (); | |
39 | ||
40 | void emit_cast_error () const; | |
41 | ||
42 | protected: | |
d991a3f1 | 43 | TypeCastRules (location_t locus, TyTy::TyWithLocation from, |
06688fe4 PH |
44 | TyTy::TyWithLocation to); |
45 | ||
d991a3f1 | 46 | location_t locus; |
06688fe4 PH |
47 | TyTy::TyWithLocation from; |
48 | TyTy::TyWithLocation to; | |
49 | }; | |
50 | ||
51 | } // namespace Resolver | |
52 | } // namespace Rust | |
53 | ||
54 | #endif // RUST_CASTS |