SEARCH : LIBRARYCMD

SEARCH is a library command.
Search the entire library, including all comments, for any one
of a given list of strings, and return the names of all objects which
contain such a string. This is useful for finding out, for example,
which gwffs can be proven using either MS88 or MS89.
WARNING: THIS COMMAND IS SLOW, AND CAN USE A LOT OF MEMORY.
You might want to think about using the Unix "grep" command instead.
 
The command format for SEARCH is:

<LIB>SEARCH TYPE STRINGLIST BACKUP
"LIB-ARGTYPE-OR-NIL" "STRINGLIST" "YESNO"

TPS documentation homepage


SEARCH : MEXPR

SEARCH is a top-level command.
Look for a key phrase in all help strings (or just all names)
of TPS objects. See also KEY, in the review top level (where it searches
through the flags) and the library top level (where it searches through
the library objects).
The command format for SEARCH is:

 <n>SEARCH  PHRASE SEARCH-NAMES 
"STRING" "BOOLEAN"


The arguments have the following meaning:
PHRASE : String to search for
SEARCH-NAMES : Search names of objects only?

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage