| 摘要 |
<p>Instructions for producing a structured destination value are provided by applying a rule application specifier to one or more typed source values. The rule application specifier refers to a production rule which specifies how any destination value having the type of the destination value is produced from any source values having the types of the source value. The rule application specifier includes a first part indicating what components of the source values are to be used to produce the destination value and a second part indicating how those components are to be used to produce the destination value. The first and second parts include structure specifiers specifying the structure of any structured types and component names which refer to the components of the source value which are used in the destination value. The component names may refer to components of possibly nested lists. Components from less than all of the elements of a list may be specified, as well as the order in which the components will be used. The second part may include a possibly recursive reference to a production rule which is applied to components represented by component names to produce a component of the destination value. Production rules may also have multiple rule bodies. Which rule body is applied is determined by the values of components of the source values. The instructions are provided by an interpreter which interprets parse trees made by a tree builder from source text containing source code for the types of the values, the production rule, and the rule application. Binding of type information and values to the component names is accomplished by annotating the parse tree representing the production rule.</p> |
