rank.h File Reference

Contains functions for rank command. More...

Go to the source code of this file.

Functions
void	command_rank (int argc, int last_arg, const char **argv)
	Parses command-line for rank options and performs rank command.

---

Detailed Description

Contains functions for rank command.

Author:

Trevor Williams (phase1geo@gmail.com)

Date:

6/28/2008

---

Function Documentation

void command_rank	(	int	argc,
		int	last_arg,
		const char **	argv
	)

Parses command-line for rank options and performs rank command.

Performs merge command functionality.

Parameters:

	argc	Number of arguments in command-line to parse
	last_arg	Index of last parsed argument from list
	argv	List of arguments from command-line to parse

References allow_multi_expr, Catch_anonymous, COVERED_HEADER, FALSE, free_safe, HEADER, largest_malloc_size, str_link_s::next, NORMAL, print_output(), PROFILE, PROFILE_END, rank_dealloc_comp_cdd_cov(), rank_file, rank_output(), rank_parse_args(), rank_perform(), rank_read_cdd(), rank_verbose, report_assertion, report_combination, report_fsm, report_line, report_memory, report_toggle, str_link_s::str, str_link_delete_list(), str_link_s::suppl, Throw, TRUE, Try, user_msg, and USER_MSG_LENGTH.

Referenced by main().

  { PROFILE(COMMAND_RANK);

  int            i, j;
  unsigned int   rv;
  comp_cdd_cov** comp_cdds    = NULL;
  unsigned int   comp_cdd_num = 0;
  bool           error        = FALSE;

  /* Output header information */
  rv = snprintf( user_msg, USER_MSG_LENGTH, COVERED_HEADER );
  assert( rv < USER_MSG_LENGTH );
  print_output( user_msg, HEADER, __FILE__, __LINE__ );

  Try {

    unsigned int rv;
    bool         first  = TRUE;
    str_link*    strl;
    timer*       atimer = NULL;

    /* Parse score command-line */
    if( !rank_parse_args( argc, last_arg, argv ) ) {

      /* Make sure that all coverage points are accumulated */
      report_line        = TRUE;
      report_toggle      = TRUE;
      report_combination = TRUE;
      report_fsm         = TRUE;
      report_assertion   = TRUE;
      report_memory      = TRUE;
      allow_multi_expr   = FALSE;

      /* Start timer */
      if( rank_verbose ) {
        timer_clear( &atimer );
        timer_start( &atimer );
      }

      /* Read in databases to merge */
      strl = rank_in_head;
      while( strl != NULL ) {
        rv = snprintf( user_msg, USER_MSG_LENGTH, "Reading CDD file \"%s\"", strl->str );
        assert( rv < USER_MSG_LENGTH );
        print_output( user_msg, NORMAL, __FILE__, __LINE__ );
        rv = fflush( stdout );
        assert( rv == 0 );
        rank_read_cdd( strl->str, (strl->suppl == 1), first, &comp_cdds, &comp_cdd_num );
        first = FALSE;
        strl  = strl->next;
      }

      if( rank_verbose ) {
        timer_stop( &atimer );
        rv = snprintf( user_msg, USER_MSG_LENGTH, "Completed reading in CDD files in %s", timer_to_string( atimer ) );
        assert( rv < USER_MSG_LENGTH );
        print_output( user_msg, NORMAL, __FILE__, __LINE__ );
        free_safe( atimer, sizeof( timer ) );
      }

      /* Peaform the ranking algorithm */
      rank_perform( comp_cdds, comp_cdd_num );

      /* Output the results */
      rank_output( comp_cdds, comp_cdd_num );

      /*@-duplicatequals -formatcode -formattype@*/
      rv = snprintf( user_msg, USER_MSG_LENGTH, "Dynamic memory allocated:   %" FMT64 "u bytes", largest_malloc_size );
      assert( rv < USER_MSG_LENGTH );
      /*@=duplicatequals =formatcode =formattype@*/
      print_output( "", NORMAL, __FILE__, __LINE__ );
      print_output( user_msg, NORMAL, __FILE__, __LINE__ );
      print_output( "", NORMAL, __FILE__, __LINE__ );

    }

  } Catch_anonymous {
    error = TRUE;
  }

  /* Deallocate other allocated variables */
  str_link_delete_list( rank_in_head );

  /* Deallocate the compressed CDD coverage structures */
  for( i=0; i<comp_cdd_num; i++ ) {
    rank_dealloc_comp_cdd_cov( comp_cdds[i] );
  }
  free_safe( comp_cdds, (sizeof( comp_cdd_cov* ) * comp_cdd_num) );

  free_safe( rank_file, (strlen( rank_file ) + 1) );

  if( error ) {
    Throw 0;
  }

  PROFILE_END;

}