gcc/rust/typecheck/rust-casts.h

   1 // Copyright (C) 2020-2023 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
  32   resolve (Location locus, TyTy::TyWithLocation from, TyTy::TyWithLocation to);
  33
  34 protected:
  35   TypeCoercionRules::CoercionResult check ();
  36   TypeCoercionRules::CoercionResult cast_rules ();
  37   TypeCoercionRules::CoercionResult check_ptr_ptr_cast ();
  38
  39   void emit_cast_error () const;
  40
  41 protected:
  42   TypeCastRules (Location locus, TyTy::TyWithLocation from,
  43                  TyTy::TyWithLocation to);
  44
  45   Location locus;
  46   TyTy::TyWithLocation from;
  47   TyTy::TyWithLocation to;
  48 };
  49
  50 } // namespace Resolver
  51 } // namespace Rust
  52
  53 #endif // RUST_CASTS