Home | History | Annotate | Download | only in analyzer

Lines Matching defs:sd_obj

717   json::object *sd_obj = new json::object ();
720 sd_obj->set ("sm", new json::string (m_sm->get_name ()));
721 sd_obj->set ("enode", new json::integer_number (m_enode->m_index));
722 sd_obj->set ("snode", new json::integer_number (m_snode->m_index));
724 sd_obj->set ("sval", m_sval->to_json ());
726 sd_obj->set ("state", m_state->to_json ());
728 sd_obj->set ("path_length", new json::integer_number (get_epath_length ()));
729 sd_obj->set ("pending_diagnostic", new json::string (m_d->get_kind ()));
730 sd_obj->set ("idx", new json::integer_number (m_idx));
742 return sd_obj;