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à