search.dcl 798 Bytes
Newer Older
Diederik van Arkel's avatar
Diederik van Arkel committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
definition module search

// Clean sensitive searching...

import StdId, StdPSt
import PmProject, PmPrefs
import IDE
import fbi

initFindBoxInfo :: !Prefs !*a -> *(.(FindBoxInfo *(PSt General)),*a) | Ids, accScreenPicture a

sr_find_idi			:: !Bool !*(PSt General) -> *PSt General
// find identifier
sr_find_def			:: !Bool !*(PSt General) -> *PSt General
// find definition
sr_find_imp			:: !Bool !*(PSt General) -> *PSt General
// find implementation

sr_find_def_imp_sel	:: !Bool !{#.Char} !.Pathname !.(FindBoxInfo *(PSt *General)) !*(PSt *General) -> *(PSt *General)

sw_safe_close		:: !*(PSt *General) -> *PSt *General
sw_maybe_close		:: !Id !*(PSt *General) -> (Bool,*(PSt *General))

wind_next			:: !Bool !*(PSt *General) -> *PSt *General

src_options			:: !*(PSt *General) -> *PSt *General;