contrib/llvm/tools/clang/include/clang/Basic/ExceptionSpecificationType.h

   1 //===--- ExceptionSpecificationType.h ---------------------------*- C++ -*-===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 ///
  10 /// \file
  11 /// Defines the ExceptionSpecificationType enumeration and various
  12 /// utility functions.
  13 ///
  14 //===----------------------------------------------------------------------===//
  15 #ifndef LLVM_CLANG_BASIC_EXCEPTIONSPECIFICATIONTYPE_H
  16 #define LLVM_CLANG_BASIC_EXCEPTIONSPECIFICATIONTYPE_H
  17
  18 namespace clang {
  19
  20 /// The various types of exception specifications that exist in C++11.
  21 enum ExceptionSpecificationType {
  22   EST_None,             ///< no exception specification
  23   EST_DynamicNone,      ///< throw()
  24   EST_Dynamic,          ///< throw(T1, T2)
  25   EST_MSAny,            ///< Microsoft throw(...) extension
  26   EST_BasicNoexcept,    ///< noexcept
  27   EST_DependentNoexcept,///< noexcept(expression), value-dependent
  28   EST_NoexceptFalse,    ///< noexcept(expression), evals to 'false'
  29   EST_NoexceptTrue,     ///< noexcept(expression), evals to 'true'
  30   EST_Unevaluated,      ///< not evaluated yet, for special member function
  31   EST_Uninstantiated,   ///< not instantiated yet
  32   EST_Unparsed          ///< not parsed yet
  33 };
  34
  35 inline bool isDynamicExceptionSpec(ExceptionSpecificationType ESpecType) {
  36   return ESpecType >= EST_DynamicNone && ESpecType <= EST_MSAny;
  37 }
  38
  39 inline bool isComputedNoexcept(ExceptionSpecificationType ESpecType) {
  40   return ESpecType >= EST_DependentNoexcept &&
  41          ESpecType <= EST_NoexceptTrue;
  42 }
  43
  44 inline bool isNoexceptExceptionSpec(ExceptionSpecificationType ESpecType) {
  45   return ESpecType == EST_BasicNoexcept || isComputedNoexcept(ESpecType);
  46 }
  47
  48 inline bool isUnresolvedExceptionSpec(ExceptionSpecificationType ESpecType) {
  49   return ESpecType == EST_Unevaluated || ESpecType == EST_Uninstantiated;
  50 }
  51
  52 /// Possible results from evaluation of a noexcept expression.
  53 enum CanThrowResult {
  54   CT_Cannot,
  55   CT_Dependent,
  56   CT_Can
  57 };
  58
  59 inline CanThrowResult mergeCanThrow(CanThrowResult CT1, CanThrowResult CT2) {
  60   // CanThrowResult constants are ordered so that the maximum is the correct
  61   // merge result.
  62   return CT1 > CT2 ? CT1 : CT2;
  63 }
  64
  65 } // end namespace clang
  66
  67 #endif // LLVM_CLANG_BASIC_EXCEPTIONSPECIFICATIONTYPE_H