ClassSTRING-TEMPLATE

Package:

Class Precedence List:

Known Subclasses:

None.

Slots:

None.

Description:

The STRING-TEMPLATE class denotes those object that are used
to unify against a STRING.

Template Syntax:

#T(string . <destructuring template lambda list>)

The STRING-TEMPLATE syntax denotes a STRING object. A
STRING-TEMPLATE must be unified against a CHARACTER VECTOR
object. The elements of the string must be unified against the
<destructuring template lambda list>

The <destructuring template lambda list> has a
slight different interpretation in this case, in order to provide
more flexibility to the user. Ordinarily, each component appearing
in a <destructuring template lambda list> is unified
"element-wise" with the underlying SEQUENCE or ARRAY object. In the
case of a STRING-TEMPLATE, each component of the
<destructuring template lambda list> is allowed to be a
STRING or a STRING-TEMPLATE itself. The STRING or STRING-TEMPLATE
is unified against a subsequence of the CHARACTER VECTOR.