template<typename CHECK1, typename CHECK2, typename CHECK3, typename CHECK4, typename CHECK5, typename CHECK6, typename CHECK7, typename CHECK8, typename CHECK9, typename CHECK10, typename CHECK11, typename CHECK12, typename CHECK13, typename CHECK14, typename CHECK15, typename CHECK16, typename CHECK17, typename CHECK18>
class clang::ento::Checker< CHECK1, CHECK2, CHECK3, CHECK4, CHECK5, CHECK6, CHECK7, CHECK8, CHECK9, CHECK10, CHECK11, CHECK12, CHECK13, CHECK14, CHECK15, CHECK16, CHECK17, CHECK18 >
Definition at line 397 of file Checker.h.
template<typename CHECK1 , typename CHECK2 , typename CHECK3 , typename CHECK4 , typename CHECK5 , typename CHECK6 , typename CHECK7 , typename CHECK8 , typename CHECK9 , typename CHECK10 , typename CHECK11 , typename CHECK12 , typename CHECK13 , typename CHECK14 , typename CHECK15 , typename CHECK16 , typename CHECK17 , typename CHECK18 >
template<typename CHECKER >
| static void clang::ento::Checker< CHECK1, CHECK2, CHECK3, CHECK4, CHECK5, CHECK6, CHECK7, CHECK8, CHECK9, CHECK10, CHECK11, CHECK12, CHECK13, CHECK14, CHECK15, CHECK16, CHECK17, CHECK18 >::_register |
( |
CHECKER * |
checker, |
|
|
CheckerManager & |
mgr |
|
) |
| [inline, static] |