ENABLE Reference Manual
 ENABLE ATTRIBUTES
 TMF Attribute
 For the same box, you cannot supply ON as the value for both TMF
 and NONSTOP. ENABLE allows you to generate an application that
 uses some boxes with TMF ON and other boxes with TMF OFF. If you
 do this, the value of the SERVERCLASS attribute must be different
 for both categories of boxes.
 Example
 Given an application generated with the following commands:
 SET BOX TMF ON <------------ supplies ON as the value for
 SET BOX SERVERCLASS tmf-serv TMF
 SET BOX RECORD parts
 ADD BOX parts-1
 SET BOX RECORD supplier
 ADD BOX suppliers
 SET BOX TMF OFF <----------- supplies OFF as the value for
 SET BOX SERVERCLASS ord-serv TMF
 SET BOX RECORD order
 ADD BOX orders
 the boxes "parts-1" and "suppliers" both have TMF ON, and both
 have the same value for the SERVERCLASS attribute: "tmf-serv."
 The "orders" box, which has TMF OFF, has a different value for
 the SERVERCLASS attribute: "ord-serv."
 4-70










