Home | History | Annotate | Download | only in analyzer

Lines Matching refs:checkers

104    {"checkers"  : array of objects, one for each state_machine}.  */
117     ext_state_obj->set ("checkers", checkers_arr);
948     "checkers" : { STATE_NAME : object per sm_state_map },
973     state_obj->set ("checkers", checkers_obj);
1487   auto_delete_vec <state_machine> checkers;
1488   checkers.safe_push (sm);
1490   extrinsic_state ext_state (checkers, &eng);
1618   auto_delete_vec <state_machine> checkers;
1619   checkers.safe_push (sm);
1622   extrinsic_state ext_state (checkers, &eng);
1650   auto_delete_vec <state_machine> checkers;
1652   extrinsic_state ext_state (checkers, &eng);
1672   auto_delete_vec <state_machine> checkers;
1673   checkers.safe_push (make_malloc_state_machine (NULL));
1675   extrinsic_state ext_state (checkers, &eng);
1740   auto_delete_vec <state_machine> checkers;
1741   checkers.safe_push (make_signal_state_machine (NULL));
1743   extrinsic_state ext_state (checkers, &eng);