/* fsafilter.c 27/10/94.
 *
 * 16.8.96. Added option -csn (comment-state-numbers).
 *
 * This simply reads an fsa and prints it again.
 * Used either for testing, or for converting table format.
 * Can either use stdin/stdout or files.
 *
 * SYNOPSIS:  fsafilter [-ip d/s[dr]] [-op d/s] [-silent] [-v] [-csn] [filename]
 *
 * Input is from filename (or stdin if not specified) ,
 *   which should contain an fsa.
 * Output is to filename.filter, or stdout.
 *
 * OPTIONS:
 * -ip d/s[dr]  input in dense or sparse format - dense is default
 * -op d/s      output in dense or sparse format - default is as in current
 *              value of table->printing_format, in the fsa.
 * -v           verbose
 * -silent      no diagnostics
 * -csn		comment-state-numbers. Follow each state in the transtion
 *		table by a comment giving the number of the state, to aid
 *		readability of the table.
 */

#include <stdio.h>
#include "defs.h"
#include "fsa.h"
#include "definitions.h"

static FILE *rfile, *wfile;

void  badusage_fsafilter();

/* Functions defined in other files used in this file */
void  fsa_read();
void  fsa_print();
void  fsa_clear();
int   stringlen();

main(argc, argv)
        int             argc;
        char           *argv[];
{ int arg;
  fsa testfsa;
  char inf[100],outf[100],fsaname[100];
  storage_type ip_store = DENSE;
  int dr = 0;
  boolean op_format_set = FALSE;
  storage_type op_format = DENSE;
  boolean csn=FALSE;

  setbuf(stdout,(char*)0);
  setbuf(stderr,(char*)0);

  inf[0] = '\0';
  arg = 1;
  while (argc > arg) {
    if (strcmp(argv[arg],"-ip")==0) {
      arg++;
      if (arg >= argc)
        badusage_fsafilter();
      if (strcmp(argv[arg],"d")==0)
        ip_store = DENSE;
      else if (argv[arg][0] == 's') {
        ip_store = SPARSE;
        if (stringlen(argv[arg]) > 1)
          dr = atoi(argv[arg]+1);
      }
      else
        badusage_fsafilter();
    }
    else if (strcmp(argv[arg],"-op")==0) {
      arg++;
      op_format_set=TRUE;
      if (arg >= argc)
        badusage_fsafilter();
      if (strcmp(argv[arg],"d")==0)
        op_format = DENSE;
      else if (strcmp(argv[arg],"s")==0)
        op_format = SPARSE;
      else
        badusage_fsafilter();
    }
    else if (strcmp(argv[arg],"-silent")==0)
      kbm_print_level = 0;
    else if (strcmp(argv[arg],"-v")==0)
      kbm_print_level = 2;
    else if (strcmp(argv[arg],"-vv")==0)
      kbm_print_level = 3;
    else if (strcmp(argv[arg],"-csn")==0)
      csn=TRUE;
    else {
       if (argv[arg][0] == '-')
         badusage_fsafilter();
       if (strcmp(inf,""))
         badusage_fsafilter();
       strcpy(inf,argv[arg]);
    }
    arg++;
  }

  if (stringlen(inf)!=0) {
    strcpy(outf,inf);
    strcat(outf,".filter");

    if ((rfile = fopen(inf,"r")) == 0) {
      fprintf(stderr,"Cannot open file %s.\n",inf);
      exit(1);
    }
  }
  else
    rfile = stdin;

  fsa_read(rfile,&testfsa,ip_store,dr,0,TRUE,fsaname);

  if (stringlen(inf)!=0)
    fclose(rfile);

  if (op_format_set)
    testfsa.table->printing_format = op_format;

  if (csn)
    testfsa.table->comment_state_numbers=TRUE;

  if (stringlen(inf)!=0)
    wfile = fopen(outf,"w");
  else
    wfile = stdout;

  fsa_print(wfile,&testfsa,fsaname);

  if (stringlen(inf)!=0)
    fclose(wfile);
  if (wfile!=stdout && kbm_print_level>0)
    printf("#fsa with %d states output.\n",testfsa.states->size);

  fsa_clear(&testfsa);
  exit(0);
}
 
void
badusage_fsafilter()
{
    fprintf(stderr,
 "Usage: fsafilter [-ip d/s[dr]] [-op d/s] [-silent] [-v] [-csn] [filename]\n");
    exit(1);
}
