Variable: vera-rvm-functions

vera-rvm-functions is a variable defined in vera-mode.el.gz.

Value

("extern_rvm_atomic_gen"
 "extern_rvm_channel"
 "extern_rvm_scenario_gen"
 "rvm_OO_callback"
 "rvm_atomic_gen"
 "rvm_atomic_gen_callbacks_decl"
 "rvm_atomic_gen_decl"
 "rvm_atomic_scenario_decl"
 "rvm_channel"
 "rvm_channel_"
 "rvm_channel_decl"
 "rvm_command"
 "rvm_cycle"
 "rvm_debug"
 "rvm_error"
 "rvm_fatal"
 "rvm_note"
 "rvm_protocol"
 "rvm_report"
 "rvm_scenario_decl"
 "rvm_scenario_election_decl"
 "rvm_scenario_gen"
 "rvm_scenario_gen_callbacks_decl"
 "rvm_scenario_gen_decl"
 "rvm_trace"
 "rvm_transaction"
 "rvm_user"
 "rvm_verbose"
 "rvm_warning")

Documentation

List of Vera-RVM functions.

Source Code

;; Defined in /usr/src/emacs/lisp/progmodes/vera-mode.el.gz
(defconst vera-rvm-functions
  '(
    "extern_rvm_atomic_gen" "extern_rvm_channel" "extern_rvm_scenario_gen"
    "rvm_OO_callback" "rvm_atomic_gen" "rvm_atomic_gen_callbacks_decl"
    "rvm_atomic_gen_decl" "rvm_atomic_scenario_decl" "rvm_channel"
    "rvm_channel_" "rvm_channel_decl" "rvm_command" "rvm_cycle" "rvm_debug"
    "rvm_error" "rvm_fatal" "rvm_note" "rvm_protocol" "rvm_report"
    "rvm_scenario_decl" "rvm_scenario_election_decl" "rvm_scenario_gen"
    "rvm_scenario_gen_callbacks_decl" "rvm_scenario_gen_decl"
    "rvm_trace" "rvm_transaction" "rvm_user" "rvm_verbose" "rvm_warning"
   )
  "List of Vera-RVM functions.")