TDF Specification

  1. i. Preface
    1. ii. Major changes from issue 3.1
    2. iii. Notes on revision 1
  2. 1. Introduction
  3. 2. Structure of TDF
    1. 2.1. The overall structure
    2. 2.2. Tokens
    3. 2.3. Tags
    4. 2.4. Extending the format
  4. 3. Describing the structure
  5. 4. Installer behavior
    1. 4.1. Definition of terms
    2. 4.2. Properties of installers
  6. 5. Specification of TDF constructs
    1. 5.1. Access
    2. 5.2. AL_TAG
    3. 5.3. AL_TAGDEF
    4. 5.4. AL_TAGDEF_PROPS
    5. 5.5. ALIGNMENT
    6. 5.6. BITFIELD_VARIETY
    7. 5.7. BITSTREAM
    8. 5.8. BOOL
    9. 5.9. BYTESTREAM
    10. 5.10. CALLEES
    11. 5.11. CAPSULE
    12. 5.12. CAPSULE_LINK
    13. 5.13. CASELIM
    14. 5.14. ERROR_code
    15. 5.15. ERROR_TREATMENT
    16. 5.16. EXP
    17. 5.17. EXTERNAL
    18. 5.18. EXTERN_LINK
    19. 5.19. FLOATING_VARIETY
    20. 5.20. GROUP
    21. 5.21. LABEL
    22. 5.22. LINK
    23. 5.23. LINKEXTERN
    24. 5.24. LINKS
    25. 5.25. NAT
    26. 5.26. NTEST
    27. 5.27. OTAGEXP
    28. 5.28. PROCPROPS
    29. 5.29. PROPS
    30. 5.30. ROUNDING_MODE
    31. 5.31. SHAPE
    32. 5.32. SIGNED_NAT
    33. 5.33. SORTNAME
    34. 5.34. STRING
    35. 5.35. TAG
    36. 5.36. TAGACC
    37. 5.37. TAGDEC
    38. 5.38. TAGDEC_PROPS
    39. 5.39. TAGDEF
    40. 5.40. TAGDEF_PROPS
    41. 5.41. TAGSHACC
    42. 5.42. TDFBOOL
    43. 5.43. TDFIDENT
    44. 5.44. TDFINT
    45. 5.45. TDFSTRING
    46. 5.46. TOKDEC
    47. 5.47. TOKDEC_PROPS
    48. 5.48. TOKDEF
    49. 5.49. TOKDEF_PROPS
    50. 5.50. TOKEN
    51. 5.51. TOKEN_DEFN
    52. 5.52. TOKFORMALS
    53. 5.53. TRANSFER_MODE
    54. 5.54. UNIQUE
    55. 5.55. UNIT
    56. 5.56. VARIETY
    57. 5.57. VERSION_PROPS
    58. 5.58. VERSION
  7. 6. Supplementary UNIT
    1. 6.1. LINKINFO_PROPS
    2. 6.2. LINKINFO
  8. 7. Notes
    1. 7.1. Binding
    2. 7.2. Character codes
    3. 7.3. Constant evaluation
    4. 7.4. Division and modulus
    5. 7.5. Equality of EXPs
    6. 7.6. Equality of SHAPEs
    7. 7.7. Equality of ALIGNMENTs
    8. 7.8. Exceptions and jumps
    9. 7.9. Procedures
    10. 7.10. Frames
    11. 7.11. Lifetimes
    12. 7.12. Alloca
    13. 7.13. Memory Model
    14. 7.14. Order of evaluation
    15. 7.15. Original pointers
    16. 7.16. Overlapping
    17. 7.17. Incomplete assignment
    18. 7.18. Representing integers
    19. 7.19. Overflow and Integers
    20. 7.20. Representing floating point
    21. 7.21. Floating point errors
    22. 7.22. Rounding and floating point
    23. 7.23. Floating point accuracy
    24. 7.24. Representing bitfields
    25. 7.25. Permitted limits
    26. 7.26. Least Upper Bound
    27. 7.27. Read-only areas
    28. 7.28. Tag and Token signatures
    29. 7.29. Dynamic initialisation
  9. 8. The bit encoding of TDF
    1. 8.1. The Basic Encoding
    2. 8.2. Fundamental encodings
    3. 8.3. BITSTREAM
    4. 8.4. The TDF encoding
    5. 8.5. File Formats