[Image] [Image] [Image]

Contents

 
• Description
  • DATR implementations
  • Zdatr 2.0
  • RFC 2.0 compliance
  • Authors
• Installation
  • Status and Copyrights
  • System Requirements
    • Hardware
    • Software
    • Windows 95
    • Windows NT
  • Installation procedure
  • Invoking the zdatr command line interface
  • Invoking the zdatrtok tokeniser-compiler
  • Invoking the zdatrinf inference engine
• Format specifications
  • Overview
  • Theory file
  • Token file
  • Query file
  • Declaration file
  • Trace file/output
  • Error output
  • Log file
• Library
  • Zdatr 2.0 builtin library functions
  • External library DATR definitions
  • std.calc.dtr
  • std.string.dtr
  • std.meta.dtr
  • Declarations, directives
  • Preprocessor directives
  • Tokeniser directives
  • Command line switches
• Test criteria
  • Alphabet and tokens
  • Syntax
  • Semantics
    • LHS connect
    • RHS evaluation
    • Variables
  • Error handling
    • Compile-time errors
    • Runtime errors