gcc/rust/typecheck/rust-casts.h

   1 // Copyright (C) 2020-2025 Free Software Foundation, Inc.
   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:
  31   static TypeCoercionRules::CoercionResult resolve (location_t locus,
  32                                                     TyTy::TyWithLocation from,
  33                                                     TyTy::TyWithLocation to);
  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:
  43   TypeCastRules (location_t locus, TyTy::TyWithLocation from,
  44                  TyTy::TyWithLocation to);
  45
  46   location_t locus;
  47   TyTy::TyWithLocation from;
  48   TyTy::TyWithLocation to;
  49 };
  50
  51 } // namespace Resolver
  52 } // namespace Rust
  53
  54 #endif // RUST_CASTS