tools.dcl 657 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14
definition module tools

// launch supporting tools

import IdeState

shoprofun :: !*(PSt General) -> *PSt General
// launch time profiler for active project

shoheapfun :: !*(PSt General) -> *PSt General
// launch heap profiler for active project

provefun :: !*(PSt General) -> *PSt General
// launch theorem prover for active project
15 16 17 18

:: ToolInfo
toolData :: !.Prefs !*(PSt General) -> *(!.ToolInfo,!*PSt General)
toolOptions :: !.ToolInfo -> (:+: .TextControl (:+: .EditControl (:+: .ButtonControl (:+: .TextControl (:+: .EditControl (:+: .ButtonControl (:+: .TextControl (:+: .EditControl (:+: .ButtonControl .ButtonControl)))))))) .a *(PSt *General))