Home | History | Annotate | Download | only in Basic
      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 // This file defines the ExceptionSpecificationType enumeration and various
     11 // utility functions.
     12 //
     13 //===----------------------------------------------------------------------===//
     14 #ifndef LLVM_CLANG_BASIC_EXCEPTIONSPECIFICATIONTYPE_H
     15 #define LLVM_CLANG_BASIC_EXCEPTIONSPECIFICATIONTYPE_H
     16 
     17 namespace clang {
     18 
     19 /// \brief The various types of exception specifications that exist in C++11.
     20 enum ExceptionSpecificationType {
     21   EST_None,             ///< no exception specification
     22   EST_DynamicNone,      ///< throw()
     23   EST_Dynamic,          ///< throw(T1, T2)
     24   EST_MSAny,            ///< Microsoft throw(...) extension
     25   EST_BasicNoexcept,    ///< noexcept
     26   EST_ComputedNoexcept, ///< noexcept(expression)
     27   EST_Delayed,          ///< not known yet
     28   EST_Uninstantiated    ///< not instantiated yet
     29 };
     30 
     31 inline bool isDynamicExceptionSpec(ExceptionSpecificationType ESpecType) {
     32   return ESpecType >= EST_DynamicNone && ESpecType <= EST_MSAny;
     33 }
     34 
     35 inline bool isNoexceptExceptionSpec(ExceptionSpecificationType ESpecType) {
     36   return ESpecType == EST_BasicNoexcept || ESpecType == EST_ComputedNoexcept;
     37 }
     38 
     39 /// \brief Possible results from evaluation of a noexcept expression.
     40 enum CanThrowResult {
     41   CT_Cannot,
     42   CT_Dependent,
     43   CT_Can
     44 };
     45 
     46 inline CanThrowResult mergeCanThrow(CanThrowResult CT1, CanThrowResult CT2) {
     47   // CanThrowResult constants are ordered so that the maximum is the correct
     48   // merge result.
     49   return CT1 > CT2 ? CT1 : CT2;
     50 }
     51 
     52 } // end namespace clang
     53 
     54 #endif // LLVM_CLANG_BASIC_EXCEPTIONSPECIFICATIONTYPE_H
     55