next up previous contents index
Next: Exporting element names and Up: Exporting data and beliefs Previous: Exporting element names

Exporting element expectations


tex2html_wrap_inline33790 tex2html_wrap_inline33790 Syntax

  1. BD>export : L (e[S]) N1, N2, ... tex2html_wrap_inline33712

  2. BD>export : (e[S]) N1, N2, ... tex2html_wrap_inline33712

where e is a switch; tex2html_wrap_inline39108 are the names of elements or bases; the optional argument S is an expectation store number; and L is the name of a file label. Base notation (see §6.2.4) can be used with the names.

tex2html_wrap_inline33806 tex2html_wrap_inline33806

The first form of the command is used to export element expectations (not preceded by the element names) so that they follow a label. Typically the label will be a string of alphabetic characters preceded by the symbol `@' (this symbol is used as the prefix recognised by [B/D] as implying that the remainder of a string is a label name). The label is output as one line of text. The second form of the command is identical to the first except that no label is defined, and no label will be exported.

The list of element names and bases, N1, N2, ..., defines the collection of elements to be exported. It is an error if the collection so defined is empty. The expectations for the elements in the collection are exported in the order according to the ordering convention (so their ordering in the EXPORT:  command line is irrelevant). Each expectation is output on a separate line. If no optional argument S is given in the command, the expectations are taken from the default expectation store. Otherwise, expectations are taken from expectation store S.



David Wooff
Wed Oct 21 15:14:31 BST 1998