Searched refs:enode_obj (Results 1 – 1 of 1) sorted by relevance
1311 json::object *enode_obj = new json::object (); in to_json() local1313 enode_obj->set ("point", get_point ().to_json ()); in to_json()1314 enode_obj->set ("state", get_state ().to_json (ext_state)); in to_json()1315 enode_obj->set ("status", new json::string (status_to_str (m_status))); in to_json()1316 enode_obj->set ("idx", new json::integer_number (m_index)); in to_json()1317 enode_obj->set ("processed_stmts", in to_json()1320 return enode_obj; in to_json()