29 :
Exception( msg_r ), _kind( UNSPECIFIED )
33 :
Exception( msg_r, history_r ), _kind( UNSPECIFIED )
41 :
Exception( msg_r, history_r ), _kind( kind_r )
54 case IGNORE: str <<
"IGNORE";
break;
55 case SKIP: str <<
"SKIP";
break;
56 case RETRY: str <<
"RETRY";
break;
57 case ABORT: str <<
"ABORT";
break;
60 return str <<
" request: " <<
msg();