MCPcopy Create free account
hub / github.com/RUB-NDS/PRET / do_search

Method do_search

postscript.py:881–884  ·  view source on GitHub ↗

Search all dictionaries by key: search

(self, arg)

Source from the content-addressed store, hash-verified

879
880 # ------------------------[ search <key> ]----------------------------
881 def do_search(self, arg):
882 "Search all dictionaries by key: search <key>"
883 output().info(
884 self.cmd('(' + arg + ') where {(' + arg + ') get ==} if'))
885
886 # ------------------------[ dicts ]-----------------------------------
887 def do_dicts(self, arg):

Callers

nothing calls this directly

Calls 3

cmdMethod · 0.95
outputClass · 0.90
infoMethod · 0.80

Tested by

no test coverage detected