parameters: (target_status, java_classes, show_summary)
docstring: Prints results for user output.
docstring_summary: Prints results for user output.
docstring_tokens: Prints results for user output .
function: def _PrintVerificationResults(target_status, java_classes, show_summary):
    """Prints results for user output."""
    # Sort to keep output consistent between runs.
    java_classes.sort(key=lambda c: c.name)
    d = {}
    for status in STATUSES:
      d[status] = 0
  
    for java_class in java_classes:
      if java_class.verification_status == target_status:
        print(java_class.name)
      if java_class.verification_status not in d:
        raise RuntimeError('Unexpected status: {0}'.format(
            java_class.verification_status))
      else:
        d[java_class.verification_status] += 1
  
    if show_summary:
      for status in d:
        count = d[status]
        print('Total {status} classes: {num}'.format(
            status=status, num=count))
      print('Total number of classes: {num}'.format(
          num=len(java_classes)))
function_tokens: def _PrintVerificationResults ( target_status , java_classes , show_summary ) : # Sort to keep output consistent between runs. java_classes . sort ( key = lambda c : c . name ) d = { } for status in STATUSES : d [ status ] = 0 for java_class in java_classes : if java_class . verification_status == target_status : print ( java_class . name ) if java_class . verification_status not in d : raise RuntimeError ( 'Unexpected status: {0}' . format ( java_class . verification_status ) ) else : d [ java_class . verification_status ] += 1 if show_summary : for status in d : count = d [ status ] print ( 'Total {status} classes: {num}' . format ( status = status , num = count ) ) print ( 'Total number of classes: {num}' . format ( num = len ( java_classes ) ) )