clang 17.0.0git
Public Types | Static Public Member Functions | List of all members
llvm::CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > > Struct Template Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"

Inheritance diagram for llvm::CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > >:
Inheritance graph
[legend]
Collaboration diagram for llvm::CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > >:
Collaboration graph
[legend]

Public Types

using Self = CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > >
 

Static Public Member Functions

static bool isPossible (const From &V)
 
static std::optional< To > castFailed ()
 
static To doCast (const From &f)
 
static std::optional< To > doCastIfPossible (const From &f)
 

Detailed Description

template<typename To, typename From>
struct llvm::CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > >

Definition at line 560 of file SVals.h.

Member Typedef Documentation

◆ Self

template<typename To , typename From >
using llvm::CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > >::Self = CastInfo< To, From, std::enable_if_t<std::is_base_of<::clang::ento::SVal, From>::value> >

Definition at line 564 of file SVals.h.

Member Function Documentation

◆ castFailed()

template<typename To , typename From >
static std::optional< To > llvm::CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > >::castFailed ( )
inlinestatic

Definition at line 570 of file SVals.h.

◆ doCast()

template<typename To , typename From >
static To llvm::CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > >::doCast ( const From &  f)
inlinestatic

Definition at line 571 of file SVals.h.

◆ doCastIfPossible()

template<typename To , typename From >
static std::optional< To > llvm::CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > >::doCastIfPossible ( const From &  f)
inlinestatic

Definition at line 574 of file SVals.h.

◆ isPossible()

template<typename To , typename From >
static bool llvm::CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > >::isPossible ( const From &  V)
inlinestatic

Definition at line 567 of file SVals.h.

References V.


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