mercury-mode-map
mercury-mode-map is a variable defined in `
prolog.el'.
Its value is shown
below.
- This variable may be risky if used as a file-local variable.
Documentation:
Keymap for `mercury-mode'.
Value:
(keymap keymap
(menu-bar keymap
(Prolog menu-item "Prolog"
(keymap "Prolog"
(Comment\ region menu-item "Comment region" comment-region :enable
(region-exists-p))
(Uncomment\ region menu-item "Uncomment region" prolog-uncomment-region :enable
(region-exists-p))
(Add\ comment/move\ to\ comment menu-item "Add comment/move to comment" indent-for-comment)
(Convert\ variables\ in\ region\ to\ \'_\' menu-item "Convert variables in region to '_'" prolog-variables-to-anonymous :enable
(region-exists-p)
:visible
(not
(eq prolog-system 'mercury)))
(nil-9 menu-item "---")
(Insert\ predicate\ template menu-item "Insert predicate template" prolog-insert-predicate-template)
(Insert\ next\ clause\ head menu-item "Insert next clause head" prolog-insert-next-clause)
(Insert\ predicate\ spec menu-item "Insert predicate spec" prolog-insert-predspec)
(Insert\ module\ modeline menu-item "Insert module modeline" prolog-insert-module-modeline)
(nil-9-9 menu-item "---")
(Beginning\ of\ clause menu-item "Beginning of clause" prolog-beginning-of-clause)
(End\ of\ clause menu-item "End of clause" prolog-end-of-clause)
(Beginning\ of\ predicate menu-item "Beginning of predicate" prolog-beginning-of-predicate)
(End\ of\ predicate menu-item "End of predicate" prolog-end-of-predicate)
(nil-9-14 menu-item "---")
(Indent\ line menu-item "Indent line" indent-according-to-mode)
(Indent\ region menu-item "Indent region" indent-region :enable
(region-exists-p))
(Indent\ predicate menu-item "Indent predicate" prolog-indent-predicate)
(Indent\ buffer menu-item "Indent buffer" prolog-indent-buffer)
(Align\ region menu-item "Align region" align :enable
(region-exists-p))
(nil-9-20 menu-item "---")
(Mark\ clause menu-item "Mark clause" prolog-mark-clause)
(Mark\ predicate menu-item "Mark predicate" prolog-mark-predicate)
(Mark\ paragraph menu-item "Mark paragraph" mark-paragraph)))
(System menu-item
(cond
((eq prolog-system 'eclipse)
"ECLiPSe")
((eq prolog-system 'mercury)
"Mercury")
(t "System"))
(keymap "System"
(Consult\ file menu-item "Consult file" prolog-consult-file :visible
(not
(eq prolog-system 'mercury)))
(Consult\ buffer menu-item "Consult buffer" prolog-consult-buffer :visible
(not
(eq prolog-system 'mercury)))
(Consult\ region menu-item "Consult region" prolog-consult-region :enable
(region-exists-p)
:visible
(not
(eq prolog-system 'mercury)))
(Consult\ predicate menu-item "Consult predicate" prolog-consult-predicate :visible
(not
(eq prolog-system 'mercury)))
(--- menu-item "---" nil :visible
(eq prolog-system 'sicstus))
(Compile\ file menu-item "Compile file" prolog-compile-file :visible
(eq prolog-system 'sicstus))
(Compile\ buffer menu-item "Compile buffer" prolog-compile-buffer :visible
(eq prolog-system 'sicstus))
(Compile\ region menu-item "Compile region" prolog-compile-region :enable
(region-exists-p)
:visible
(eq prolog-system 'sicstus))
(Compile\ predicate menu-item "Compile predicate" prolog-compile-predicate :visible
(eq prolog-system 'sicstus))
(----9 menu-item "---" nil :visible
(not
(eq prolog-system 'mercury)))
(Debug menu-item "Debug" prolog-debug-on :visible
(not
(eq prolog-system 'mercury)))
(Debug\ off menu-item "Debug off" prolog-debug-off :visible
(not
(memq prolog-system
'(mercury sicstus))))
(Trace menu-item "Trace" prolog-trace-on :visible
(not
(eq prolog-system 'mercury)))
(Trace\ off menu-item "Trace off" prolog-trace-off :visible
(not
(memq prolog-system
'(mercury sicstus))))
(Zip menu-item "Zip" prolog-zip-on :visible
(and
(eq prolog-system 'sicstus)
(prolog-atleast-version
'(3 . 7))))
(All\ debug\ off menu-item "All debug off" prolog-debug-off :visible
(eq prolog-system 'sicstus))
(Source\ level\ debugging menu-item "Source level debugging" prolog-toggle-sicstus-sd :visible
(and
(eq prolog-system 'sicstus)
(prolog-atleast-version
'(3 . 7)))
:button
(:toggle . prolog-use-sicstus-sd))
(nil-9 menu-item "---")
(Run menu-item
(concat "Run "
(cond
((eq prolog-system 'eclipse)
"ECLiPSe")
((eq prolog-system 'mercury)
"Mercury")
(t "Prolog")))
run-prolog)))
(Prolog-help menu-item "Prolog-help"
(keymap "Prolog-help"
(On\ predicate menu-item "On predicate" prolog-help-on-predicate :enable prolog-help-function-i)
(Apropos menu-item "Apropos" prolog-help-apropos :enable
(eq prolog-system 'swi))
(nil-9 menu-item "---")
(Describe\ mode menu-item "Describe mode" describe-mode))))
(27 keymap
(24 . prolog-consult-region)
(13 . prolog-insert-next-clause)
(8 . prolog-mark-predicate)
(3 . prolog-mark-clause)
(5 . prolog-end-of-predicate)
(1 . prolog-beginning-of-predicate)
(113 . prolog-fill-paragraph)
(101 . prolog-end-of-clause)
(97 . prolog-beginning-of-clause))
(3 keymap
(12 . prolog-consult-file)
(3 keymap
(102 . prolog-compile-file)
(98 . prolog-compile-buffer)
(114 . prolog-compile-region)
(112 . prolog-compile-predicate))
(6 . prolog-consult-file)
(2 . prolog-consult-buffer)
(18 . prolog-consult-region)
(16 . prolog-consult-predicate)
(22 keymap
(19 . prolog-view-predspec)
(97 . prolog-variables-to-anonymous))
(19 . prolog-insert-predspec)
(14 . prolog-insert-predicate-template)
(1 . align)
(13 . run-prolog)
(26 . run-prolog)
(20 . prolog-trace-on)
(4 . prolog-debug-on)
(47 . prolog-help-apropos)
(63 . prolog-help-on-predicate)))