original_string: public static function get_activity_completion_info(\stdClass $user, \stdClass $course, $cm) : \stdClass {
          $completioninfo = new \completion_info($course);
          $completion = $completioninfo->is_enabled($cm);
          return ($completion != COMPLETION_TRACKING_NONE) ? $completioninfo->get_data($cm, true, $user->id) : new \stdClass();
      }
code: public static function get_activity_completion_info(\stdClass $user, \stdClass $course, $cm) : \stdClass {
          $completioninfo = new \completion_info($course);
          $completion = $completioninfo->is_enabled($cm);
          return ($completion != COMPLETION_TRACKING_NONE) ? $completioninfo->get_data($cm, true, $user->id) : new \stdClass();
      }
code_tokens: public static function get_activity_completion_info ( \ stdClass $ user , \ stdClass $ course , $ cm ) : \ stdClass { $ completioninfo = new \ completion_info ( $ course ) ; $ completion = $ completioninfo -> is_enabled ( $ cm ) ; return ( $ completion != COMPLETION_TRACKING_NONE ) ? $ completioninfo -> get_data ( $ cm , true , $ user -> id ) : new \ stdClass ( ) ; }
docstring: Returns activity completion information about a user.
  
  @param  \stdClass $user The user to return information about.
  @param  \stdClass $course The course the user is in.
  @param  \stdClass $cm Course module information.
  @return \stdClass Activity completion information.
docstring_tokens: Returns activity completion information about a user .