#include "stilcom.h"
#include "stilcomstr.h"
#include "stil.h"          // STIL interface
#include "stileval.h"     // STIL truthtable interface



STILEvalGlobals globals;

///////////////////////////////////////////////////////////////////////////////
// Process the flags, call the evaluator
///////////////////////////////////////////////////////////////////////////////
int main(LONG argc, char *argv[])
{

  TRACEID("main",SEV_2);

  globals.indentation = 0;

  if (argc < 3) {
    MSG(SEV_E,("Invalid parameters."));
    MSG(NOID,("Syntax:"));
    MSG(NOID,("  stileval <input stil file> <pattern name> [output_TT_name]"));
    MSG(SEV_T,("Aborting."));
  }

  globals.options.fnameSTIL = argv[1];
  globals.options.patName   = argv[2];
  if (argc == 4) {
    globals.options.fnameTT = argv[3];
    globals.options.createTTFile = true;
  }
  else {
    globals.options.createTTFile = false;
  }

  stilevalMain();

}