Type trait that checks whether T has a static summaryName() method returning SummaryName. More...

#include "clang/ScalableStaticAnalysisFramework/Core/SummaryData/SummaryDataTraits.h"

Inheritance diagram for clang::ssaf::HasSummaryName< T, typename >:

Detailed Description

template<typename T, typename = void>
struct clang::ssaf::HasSummaryName< T, typename >

Type trait that checks whether T has a static summaryName() method returning SummaryName.

Used to enforce the convention on SummaryData subclasses at instantiation time.

The expression T::summaryName() is only well-formed for static methods — calling a non-static member without an object is ill-formed and causes the partial specialization to be discarded via SFINAE, so non-static overloads are correctly rejected.

Definition at line 30 of file SummaryDataTraits.h.

The documentation for this struct was generated from the following file:

include/clang/ScalableStaticAnalysisFramework/Core/SummaryData/SummaryDataTraits.h