DataMuseum.dk

top - metrics - download

    Length: 2304 (0x900)
    Types: TextFile
    Names: »searchmantx «

└─⟦01e83a425⟧ Bits:30008166 Bånd med SW8010 og SW8500 source code
    └─⟦75ff9bef3⟧ 
        └─⟦this⟧ »searchmantx « 

TextFile

This algorithm enables search to filter the output of catalog entries
found according to a given scope specification. The filter works on
the entry name and the document name of an entry.

Syntax (augments):
------------------
(             )1                    (        )*
(<out file> = ) search <scope spec> (<filter>)
(             )0                    (        )0

                        (            )*
<filter> ::= <substring>(.<substring>)
                        (            )0

                ( <generalized name> )
<substring> ::= (      <name>        )
                (<apostrophized name>)

Function:
---------
   The main catalog is scanned, and a subset of it is listed with an
output format as for lookup. If an outfile is specified, the list of
catalog entries is printed on that file, otherwise current output is
used.  Messages from search are always printed on current output.
   If no filters are given, all entries from the main catalog accor-
ding to the scope spec (see Scope specification) are listed, other-
wise, the set of catalog entries is further delimited by means of
filters (see Filter specification below).

Filter specification:
---------------------
   A filter consists of one or more substrings concatenated by period.
If a list of filters exists, an entry selected for listing will only
be listed if either its name or its document name contain all the sub-
strings of at least one of the filters. The order of the substrings 
in a filter is irrellevant.
   Thus, in a possible list of filters, you may consider space as "or"
and period as "and", where the precedence of "and" and "or" is as in
Algol, i.e. "and" before "or".
▶EOF◀