  Check deterministico dei dati

Il check dei dati, dopo la fase di definizione delle variabili, liste, regole di incompatibilità ed eventuali regole di correzioni, separa i dati grezzi scelti dall'utente in esatti ed errati, verificando per i record di input, l'incompatibilità descritta nelle regole. Se anche una sola incompatibilità è vera, e non esistono correzioni per quella incompatibilità il record viene registrato tra gli errati, e il numero della regola viene registrato nel file "ferrori.dat".

In questo passo, che esegue il programma 'granada.exe', vengono usati i seguenti file esterni registrati in tabgran.prm:

  fvardom.dat - variabili
  fliste.dat - liste di valori
  fregole.dat - regole di incompatibilità in codice
  flischk.dat - lista delle regole di incompatibilità verificate
  fregerr.dat - parallelo a ferrati.dat contenente per ogni record errato il numero di regola
  fsyschk.dat - contatori
  fdati.dat - input dati grezzi
  fesatti.dat - dati esatti
  ferrati.dat - dati errati non corretti
  fregdet.dat - regole di correzione in codice
  fregerc.dat - parallelo a fcorretti.dat
  fcorrett.dat - dati corretti
  fregout.dat - regole di incompatibilità