Variable: vera-functions

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

Value

("alloc"
 "call_func"
 "call_task"
 "cast_assign"
 "close_conn"
 "cm_coverage"
 "cm_get_coverage"
 "cm_get_limit"
 "coverage_backup_database_file"
 "coverage_save_database"
 "delay"
 "error"
 "error_mode"
 "error_wait"
 "exit"
 "fclose"
 "feof"
 "ferror"
 "fflush"
 "flag"
 "fopen"
 "fprintf"
 "freadb"
 "freadb"
 "freadh"
 "freadstr"
 "get_bind"
 "get_bind_id"
 "get_conn_err"
 "get_cycle"
 "get_env"
 "get_memsize"
 "get_plus_arg"
 "get_systime"
 "get_time"
 "get_time_unit"
 "getstate"
 "initstate"
 "lock_file"
 "mailbox_get"
 "mailbox_put"
 "mailbox_receive"
 "mailbox_send"
 "make_client"
 "make_server"
 "os_command"
 "printf"
 "psprintf"
 "query"
 "query_str"
 "query_x"
 "rand48"
 "random"
 "region_enter"
 "region_exit"
 "rewind"
 "semaphore_get"
 "semaphore_put"
 "setstate"
 "signal_connect"
 "simwave_plot"
 "srandom"
 "sprintf"
 "sscanf"
 "stop"
 "suspend_thread"
 "sync"
 "timeout"
 "trace"
 "trigger"
 "unit_delay"
 "unlock_file"
 "up_connections"
 "urand48"
 "urandom"
 "urandom_range"
 "vera_bit_reverse"
 "vera_crc"
 "vera_pack"
 "vera_pack_big_endian"
 "vera_plot"
 "vera_report_profile"
 "vera_unpack"
 "vera_unpack_big_endian"
 "vsv_call_func"
 "vsv_call_task"
 "vsv_close_conn"
 "vsv_get_conn_err"
 "vsv_make_client"
 "vsv_make_server"
 "vsv_up_connections"
 "vsv_wait_for_done"
 "vsv_wait_for_input"
 "wait_child"
 "wait_var"
 "Configure"
 "DisableTrigger"
 "DoAction"
 "EnableCount"
 "EnableTrigger"
 "Event"
 "GetAssert"
 "GetCount"
 "GetFirstAssert"
 "GetName"
 "GetNextAssert"
 "Wait"
 "atobin"
 "atohex"
 "atoi"
 "atooct"
 "backref"
 "bittostr"
 "capacity"
 "compare"
 "constraint_mode"
 "delete"
 "empty"
 "find"
 "find_index"
 "first"
 "first_index"
 "get_at_least"
 "get_auto_bin"
 "get_cov_weight"
 "get_coverage_goal"
 "get_cross_bin_max"
 "get_status"
 "get_status_msg"
 "getc"
 "hash"
 "icompare"
 "insert"
 "inst_get_at_least"
 "inst_get_auto_bin_max"
 "inst_get_collect"
 "inst_get_cov_weight"
 "inst_get_coverage_goal"
 "inst_getcross_bin_max"
 "inst_query"
 "inst_set_at_least"
 "inst_set_auto_bin_max"
 "inst_set_bin_activation"
 "inst_set_collect"
 "inst_set_cov_weight"
 "inst_set_coverage_goal"
 "inst_set_cross_bin_max"
 "itoa"
 "last"
 "last_index"
 "len"
 "load"
 "match"
 "max"
 "max_index"
 "min"
 "min_index"
 "object_compare"
 "object_copy"
 "object_print"
 "pack"
 "pick_index"
 "pop_back"
 "pop_front"
 "post_pack"
 "post_randomize"
 "post_unpack"
 "postmatch"
 "pre_pack"
 "pre_randomize"
 "prematch"
 "push_back"
 "push_front"
 "putc"
 "query"
 "query_str"
 "rand_mode"
 "randomize"
 "reserve"
 "reverse"
 "rsort"
 "search"
 "set_at_least"
 "set_auto_bin_max"
 "set_bin_activation"
 "set_cov_weight"
 "set_coverage_goal"
 "set_cross_bin_max"
 "set_name"
 "size"
 "sort"
 "substr"
 "sum"
 "thismatch"
 "tolower"
 "toupper"
 "unique_index"
 "unpack"
 "new"
 "object_compare"
 "post_boundary"
 "post_pack"
 "post_randomize"
 "post_unpack"
 "pre-randomize"
 "pre_boundary"
 "pre_pack"
 "pre_unpack")

Documentation

List of Vera predefined system functions, tasks and class methods.

Source Code

;; Defined in /usr/src/emacs/lisp/progmodes/vera-mode.el.gz
(defconst vera-functions
  '(
    ;; system functions and tasks
    "alloc"
    "call_func" "call_task" "cast_assign" "close_conn" "cm_coverage"
    "cm_get_coverage" "cm_get_limit"
    "coverage_backup_database_file" "coverage_save_database"
    "delay"
    "error" "error_mode" "error_wait" "exit"
    "fclose" "feof" "ferror" "fflush" "flag" "fopen" "fprintf" "freadb"
    "freadb" "freadh" "freadstr"
    "get_bind" "get_bind_id" "get_conn_err" "get_cycle" "get_env"
    "get_memsize" "get_plus_arg" "get_systime" "get_time" "get_time_unit"
    "getstate"
    "initstate"
    "lock_file"
    "mailbox_get" "mailbox_put" "mailbox_receive" "mailbox_send"
    "make_client" "make_server"
    "os_command"
    "printf" "psprintf"
    "query" "query_str" "query_x"
    "rand48" "random" "region_enter" "region_exit" "rewind"
    "semaphore_get" "semaphore_put" "setstate" "signal_connect" "simwave_plot"
    "srandom" "sprintf" "sscanf" "stop" "suspend_thread" "sync"
    "timeout" "trace" "trigger"
    "unit_delay" "unlock_file" "up_connections"
    "urand48" "urandom" "urandom_range"
    "vera_bit_reverse" "vera_crc" "vera_pack" "vera_pack_big_endian"
    "vera_plot" "vera_report_profile" "vera_unpack" "vera_unpack_big_endian"
    "vsv_call_func" "vsv_call_task" "vsv_close_conn" "vsv_get_conn_err"
    "vsv_make_client" "vsv_make_server" "vsv_up_connections"
    "vsv_wait_for_done" "vsv_wait_for_input"
    "wait_child" "wait_var"
    ;; class methods
    "Configure" "DisableTrigger" "DoAction" "EnableCount" "EnableTrigger"
    "Event" "GetAssert" "GetCount" "GetFirstAssert" "GetName" "GetNextAssert"
    "Wait"
    "atobin" "atohex" "atoi" "atooct"
    "backref" "bittostr" "capacity" "compare" "constraint_mode"
    "delete"
    "empty"
    "find" "find_index" "first" "first_index"
    "get_at_least" "get_auto_bin" "get_cov_weight" "get_coverage_goal"
    "get_cross_bin_max" "get_status" "get_status_msg" "getc"
    "hash"
    "icompare" "insert" "inst_get_at_least" "inst_get_auto_bin_max"
    "inst_get_collect" "inst_get_cov_weight" "inst_get_coverage_goal"
    "inst_getcross_bin_max" "inst_query" "inst_set_at_least"
    "inst_set_auto_bin_max" "inst_set_bin_activation" "inst_set_collect"
    "inst_set_cov_weight" "inst_set_coverage_goal" "inst_set_cross_bin_max"
    "itoa"
    "last" "last_index" "len" "load"
    "match" "max" "max_index" "min" "min_index"
    "object_compare" "object_copy" "object_print"
    "pack" "pick_index" "pop_back" "pop_front" "post_pack" "post_randomize"
    "post_unpack" "postmatch" "pre_pack" "pre_randomize" "prematch" "push_back"
    "push_front" "putc"
    "query" "query_str"
    "rand_mode" "randomize" "reserve" "reverse" "rsort"
    "search" "set_at_least" "set_auto_bin_max" "set_bin_activation"
    "set_cov_weight" "set_coverage_goal" "set_cross_bin_max" "set_name" "size"
    "sort" "substr" "sum"
    "thismatch" "tolower" "toupper"
    "unique_index" "unpack"
    ;; empty methods
    "new" "object_compare"
    "post_boundary" "post_pack" "post_randomize" "post_unpack" "pre-randomize"
    "pre_boundary" "pre_pack" "pre_unpack"
    )
  "List of Vera predefined system functions, tasks and class methods.")