File Specification

This section deals with the specification of all file types related to the zdatr system. Several file types have been mentioned already and will be described in the following subsections:

1. DATR Theory File: the input to the tokenizer.
2. DATR Token File: the output of the tokenizer and input to the query engine.
3. Query File: a simple list of queries for the query engine.
4. Declaration File: a more sophisticated way to declare queries (using the Evans & Gazdar # hide and # show conventions, augmented by a # showif convention) .
5. Traces File: the traces of the queries.
6. Error File: generated by zdatrtok and appended by zdatrinf this file documents all observed warnings and errors.
7. Log File: built in a similar manner to the error file, this file documents status messages and statistics.

 
• Specification of the DATR theory file
• Specification of the Token file
• Specification of the Query file
• Specification of the Declaration file
• Specification of the Trace file/output
• Specification of the Error file
• Specification of the Log file