Searched refs:PPL_SAFE_CONVERSION (Results 1 – 3 of 3) sorted by relevance
/dports/devel/ppl/ppl-1.2/src/ |
H A D | checked_inlines.hh | 57 PPL_SAFE_CONVERSION(signed short, char); 68 PPL_SAFE_CONVERSION(signed int, char); 74 PPL_SAFE_CONVERSION(signed int, char); 83 PPL_SAFE_CONVERSION(signed long, char); 90 PPL_SAFE_CONVERSION(signed long, char); 152 PPL_SAFE_CONVERSION(float, char); 174 PPL_SAFE_CONVERSION(double, char); 194 PPL_SAFE_CONVERSION(double, float); 220 PPL_SAFE_CONVERSION(mpz_class, char); 232 PPL_SAFE_CONVERSION(mpq_class, char); [all …]
|
H A D | ppl.hh.dist | 7025 PPL_SAFE_CONVERSION(signed int, char); 7031 PPL_SAFE_CONVERSION(signed int, char); 7040 PPL_SAFE_CONVERSION(signed long, char); 7047 PPL_SAFE_CONVERSION(signed long, char); 7109 PPL_SAFE_CONVERSION(float, char); 7131 PPL_SAFE_CONVERSION(double, char); 7151 PPL_SAFE_CONVERSION(double, float); 7177 PPL_SAFE_CONVERSION(mpz_class, char); 7189 PPL_SAFE_CONVERSION(mpq_class, char); 7200 PPL_SAFE_CONVERSION(mpq_class, float); [all …]
|
/dports/devel/ppl/ppl-1.2/ |
H A D | ChangeLog_2001-2008 | 2117 `PPL_SAFE_CONVERSION' and #undef'ined after its use.
|