#include <stdio.h>


void fatal( char *, char * );
void error( char *, char * );

char *pgm_name;

extern FILE *yyin;
extern int yylineno;

#ifdef YYDEBUG
extern int yydebug;
#endif

int
main( int argc, char **argv )
{
  pgm_name = argv[0];

#ifdef YYDEBUG
  yydebug = 1;
#endif

  if ( argc > 1 ) {

    yyin = fopen( argv[1], "r" );

    if ( yyin == NULL )
      fatal( "Cannot open input file: ", argv[1] );
  }

  printf( "Result of parsing: %d\n", yyparse() );

  return 0;
}

void 
fatal( char *msg1, char *msg2 )
{
  printf( "%s%s\n", msg1, msg2 );
  exit(1);
}


void
error( char *msg1, char *msg2 )
{
  printf( "Line %d: %s%s\n", yylineno, msg1, msg2 );
}