[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Emacs-diffs] emacs/lisp ChangeLog progmodes/verilog-mode.el
|
From: |
Stefan Monnier |
|
Subject: |
[Emacs-diffs] emacs/lisp ChangeLog progmodes/verilog-mode.el |
|
Date: |
Thu, 05 Nov 2009 20:54:38 +0000 |
CVSROOT: /sources/emacs
Module name: emacs
Changes by: Stefan Monnier <monnier> 09/11/05 20:54:37
Modified files:
lisp : ChangeLog
lisp/progmodes : verilog-mode.el
Log message:
* verilog-mode.el (verilog-getopt-file, verilog-set-define):
Remove extra save-excursions and make-variable-buffer-local's.
Suggested by Stefan Monnier.
(verilog-getopt-file, verilog-module-inside-filename-p)
(verilog-set-define): Merge GNU 1.35 and repair changes from
switching to using with-current-buffer.
(verilog-read-always-signals-recurse): Fix "a == 2'b00 ? b : c"
being treated as a number and confusing AUTORESET.
Reported by Dan Dever.
(verilog-auto-ignore-concat, verilog-read-sub-decls-expr):
Add verilog-auto-ignore-concat to fix backward compatibility with
older verilog-modes. Reported by Dan Katz.
(verilog-read-auto-template): Fix AUTO_TEMPLATEs with regexps
containing closing anchors "...$".
(verilog-read-decls): Fix AUTOREG not detecting "assign {a,b}".
Reported by Wade Smith.
(verilog-batch-execute-func) Comment on function usage.
(verilog-label-re): Fix regular expression for labels.
(verilog-label-re, verilog-calc-1): Support proper indent of named
asserts.
(verilog-backward-token, verilog-basic-complete-re)
(verilog-beg-of-statement, verilog-indent-re): Support proper
indent of the assert statement at the beginning of a block of text.
(verilog-beg-block-re, verilog-ovm-begin-re): Support the
`ovm_object_param_utils_begin and `ovm_component_param_utils_begin
tokens as begins.
CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/emacs/lisp/ChangeLog?cvsroot=emacs&r1=1.16566&r2=1.16567
http://cvs.savannah.gnu.org/viewcvs/emacs/lisp/progmodes/verilog-mode.el?cvsroot=emacs&r1=1.35&r2=1.36
Patches:
Index: ChangeLog
===================================================================
RCS file: /sources/emacs/emacs/lisp/ChangeLog,v
retrieving revision 1.16566
retrieving revision 1.16567
diff -u -b -r1.16566 -r1.16567
--- ChangeLog 5 Nov 2009 03:25:41 -0000 1.16566
+++ ChangeLog 5 Nov 2009 20:54:34 -0000 1.16567
@@ -1,3 +1,45 @@
+2009-11-05 Wilson Snyder <address@hidden>
+
+ * verilog-mode.el (verilog-getopt-file, verilog-set-define):
+ Remove extra save-excursions and make-variable-buffer-local's.
+ Suggested by Stefan Monnier.
+
+ (verilog-getopt-file, verilog-module-inside-filename-p)
+ (verilog-set-define): Merge GNU 1.35 and repair changes from
+ switching to using with-current-buffer.
+
+ (verilog-read-always-signals-recurse): Fix "a == 2'b00 ? b : c"
+ being treated as a number and confusing AUTORESET.
+ Reported by Dan Dever.
+
+ (verilog-auto-ignore-concat, verilog-read-sub-decls-expr):
+ Add verilog-auto-ignore-concat to fix backward compatibility with
+ older verilog-modes. Reported by Dan Katz.
+
+ (verilog-read-auto-template): Fix AUTO_TEMPLATEs with regexps
+ containing closing anchors "...$".
+
+ (verilog-read-decls): Fix AUTOREG not detecting "assign {a,b}".
+ Reported by Wade Smith.
+
+ (verilog-batch-execute-func) Comment on function usage.
+
+2009-11-05 Michael McNamara <address@hidden>
+
+ * verilog-mode.el (verilog-label-re): Fix regular expression for
+ labels.
+
+ (verilog-label-re, verilog-calc-1): Support proper indent of named
+ asserts.
+
+ (verilog-backward-token, verilog-basic-complete-re)
+ (verilog-beg-of-statement, verilog-indent-re): Support proper
+ indent of the assert statement at the beginning of a block of text.
+
+ (verilog-beg-block-re, verilog-ovm-begin-re): Support the
+ `ovm_object_param_utils_begin and `ovm_component_param_utils_begin
+ tokens as begins.
+
2009-11-05 Glenn Morris <address@hidden>
* emacs-lisp/bytecomp.el (byte-compile-insert-header): Drop test for
Index: progmodes/verilog-mode.el
===================================================================
RCS file: /sources/emacs/emacs/lisp/progmodes/verilog-mode.el,v
retrieving revision 1.35
retrieving revision 1.36
diff -u -b -r1.35 -r1.36
--- progmodes/verilog-mode.el 31 Oct 2009 02:38:41 -0000 1.35
+++ progmodes/verilog-mode.el 5 Nov 2009 20:54:37 -0000 1.36
@@ -118,9 +118,9 @@
;;; Code:
;; This variable will always hold the version number of the mode
-(defconst verilog-mode-version "525"
+(defconst verilog-mode-version "547"
"Version of this Verilog mode.")
-(defconst verilog-mode-release-date "2009-07-02-GNU"
+(defconst verilog-mode-release-date "2009-11-05-GNU"
"Release date of this Verilog mode.")
(defconst verilog-mode-release-emacs t
"If non-nil, this version of Verilog mode was released with Emacs itself.")
@@ -579,6 +579,16 @@
:type 'boolean)
(put 'verilog-auto-endcomments 'safe-local-variable 'verilog-booleanp)
+(defcustom verilog-auto-ignore-concat nil
+ "*True means ignore signals in {...} concatenations for AUTOWIRE etc.
+This will exclude signals referenced as pin connections in {...}
+from AUTOWIRE, AUTOOUTPUT and friends. This flag should be set
+for backward compatibility only and not set in new designs; it
+may be removed in future versions."
+ :group 'verilog-mode-actions
+ :type 'boolean)
+(put 'verilog-auto-ignore-concat 'safe-local-variable 'verilog-booleanp)
+
(defcustom verilog-auto-read-includes nil
"*True means to automatically read includes before AUTOs.
This will do a `verilog-read-defines' and `verilog-read-includes' before
@@ -869,11 +879,11 @@
(put 'verilog-assignment-delay 'safe-local-variable 'stringp)
(defcustom verilog-auto-arg-sort nil
- "*If set, AUTOARG will sort signal names, rather than leave them in
-declaration order. Declaration order is advantageous with order based
-instantiations and is the default for backward compatibility. Sorted order
-reduces changes when declarations are moved around in a file, and it's bad
-practice to rely on order based instantiations anyhow."
+ "*If set, AUTOARG signal names will be sorted, not in delaration order.
+Declaration order is advantageous with order based instantiations
+and is the default for backward compatibility. Sorted order
+reduces changes when declarations are moved around in a file, and
+it's bad practice to rely on order based instantiations anyhow."
:group 'verilog-mode-auto
:type 'boolean)
(put 'verilog-auto-arg-sort 'safe-local-variable 'verilog-booleanp)
@@ -1473,7 +1483,7 @@
(cdr compilation-error-regexp-alist-alist)))))
(if (boundp 'compilation-font-lock-keywords)
(progn
- (make-variable-buffer-local 'compilation-font-lock-keywords)
+ (make-local-variable 'compilation-font-lock-keywords)
(setq compilation-font-lock-keywords
verilog-error-font-lock-keywords)
(font-lock-set-defaults)))
;; Need to re-run compilation-error-regexp builder
@@ -1524,8 +1534,10 @@
(verilog-regexp-opt
'(
"`ovm_component_utils_begin"
+ "`ovm_component_param_utils_begin"
"`ovm_field_utils_begin"
"`ovm_object_utils_begin"
+ "`ovm_object_param_utils_begin"
"`ovm_sequence_utils_begin"
"`ovm_sequencer_utils_begin"
) nil )))
@@ -1658,6 +1670,7 @@
;; a,
;; b :
+(defconst verilog-label-re (concat verilog-symbol-re "\\s-*:\\s-*"))
(defconst verilog-no-indent-begin-re
"\\<\\(if\\|else\\|while\\|for\\|repeat\\|always\\|always_comb\\|always_ff\\|always_latch\\)\\>")
@@ -1813,8 +1826,10 @@
"task"
;;; OVM
"`ovm_component_utils_begin"
+ "`ovm_component_param_utils_begin"
"`ovm_field_utils_begin"
"`ovm_object_utils_begin"
+ "`ovm_object_param_utils_begin"
"`ovm_sequence_utils_begin"
"`ovm_sequencer_utils_begin"
@@ -1998,8 +2013,10 @@
"`time_scale"
;; OVM Begin tokens
"`ovm_component_utils_begin"
+ "`ovm_component_param_utils_begin"
"`ovm_field_utils_begin"
"`ovm_object_utils_begin"
+ "`ovm_object_param_utils_begin"
"`ovm_sequence_utils_begin"
"`ovm_sequencer_utils_begin"
;; OVM End tokens
@@ -2050,7 +2067,7 @@
`(
"always" "assign" "always_latch" "always_ff" "always_comb" "constraint"
"import" "initial" "final" "module" "macromodule" "repeat" "randcase"
"while"
- "if" "for" "forever" "foreach" "else" "parameter" "do" "localparam"
+ "if" "for" "forever" "foreach" "else" "parameter" "do" "localparam"
"assert"
))))
(defconst verilog-complete-reg
(concat
@@ -3245,7 +3262,7 @@
(looking-at "\\<")
(forward-word -1)))
(and
- (looking-at verilog-extended-complete-re)
+ (looking-at verilog-complete-reg)
(not (save-excursion
(verilog-backward-token)
(looking-at verilog-extended-complete-re))))
@@ -4137,7 +4154,10 @@
(defun verilog-batch-execute-func (funref)
"Internal processing of a batch command, running FUNREF on all command
arguments."
(verilog-batch-error-wrapper
- ;; !!! FIXME: Setting global variables like that is *VERY NASTY* !!! --Stef
+ ;; Setting global variables like that is *VERY NASTY* !!! --Stef
+ ;; However, this function is called only when Emacs is being used as
+ ;; a standalone language instead of as an editor, so we'll live.
+ ;;
;; General globals needed
(setq make-backup-files nil)
(setq-default make-backup-files nil)
@@ -4466,11 +4486,13 @@
((looking-at "\\<property\\>")
; *sigh*
; {assert|assume|cover} property ();
are complete
+ ; and could also be labeled: - foo:
assert property
; but
; property ID () ... needs
end_property
(verilog-beg-of-statement)
- (if (looking-at "\\(assert\\|assume\\|cover\\)\\s-+property\\>")
- (throw 'nesting 'statement) ; We don't need an endproperty
for these
+ (if (looking-at (concat "\\(" verilog-label-re "\\)?"
+
"\\(assert\\|assume\\|cover\\)\\s-+property\\>"))
+ (throw 'continue 'statement) ; We don't need an endproperty
for these
(throw 'nesting 'block) ;We still need a endproperty
))
@@ -4487,7 +4509,7 @@
((looking-at verilog-defun-level-re)
(if (looking-at verilog-defun-level-generate-only-re)
(if (verilog-in-generate-region-p)
- (throw 'continue 'foo) ; always block in a generate
+ (throw 'continue 'foo) ; always block in a generate - keep
looking
(throw 'nesting 'defun))
(throw 'nesting 'defun)))
@@ -4668,7 +4690,7 @@
continued))
(defun verilog-backward-token ()
- "Step backward token, returing true if nil if continued line."
+ "Step backward token, returing true if this is a continued line."
(interactive)
(verilog-backward-syntactic-ws)
(cond
@@ -6587,23 +6609,19 @@
((eq ?= (following-char))
(setq rvalue t newsig nil)
(forward-char 1))
- ((and (or rvalue sig-paren)
- (cond ((and (eq ?, (following-char))
+ ((and (eq ?, (following-char))
(eq paren sig-paren))
(setq rvalue nil)
- (forward-char 1)
- t)
+ (forward-char 1))
;; ,'s can occur inside {} & funcs
((looking-at "[{(]")
(setq paren (1+ paren))
- (forward-char 1)
- t)
+ (forward-char 1))
((looking-at "[})]")
(setq paren (1- paren))
(forward-char 1)
(when (< paren sig-paren)
- (setq expect-signal nil)) ; ) that ends variables
inside v2k arg list
- t))))
+ (setq expect-signal nil))) ; ) that ends variables inside v2k arg
list
((looking-at "\\s-*\\(\\[[^]]+\\]\\)")
(goto-char (match-end 0))
(cond (newsig ; Memory, not just width. Patch last signal added's
memory (nth 3)
@@ -6674,7 +6692,6 @@
((and expect-signal
(eq functask 0)
(not rvalue)
- (eq paren sig-paren)
(not (member keywd verilog-keywords)))
;; Add new signal to expect-signal's variable
(setq newsig (list keywd vec nil nil enum signed typedefed
multidim modport))
@@ -6791,10 +6808,11 @@
(cond
;; {..., a, b} requires us to recurse on a,b
((string-match "^\\s-*{\\([^{}]*\\)}\\s-*$" expr)
+ (unless verilog-auto-ignore-concat
(let ((mlst (split-string (match-string 1 expr) ","))
mstr)
(while (setq mstr (pop mlst))
- (verilog-read-sub-decls-expr submoddecls comment port mstr))))
+ (verilog-read-sub-decls-expr submoddecls comment port mstr)))))
(t
(let (sig vec multidim)
(cond ;; Find \signal. Final space is part of escaped signal name
@@ -7017,7 +7035,7 @@
(point)))
sig-last-tolk sig-tolk
sig-tolk nil)
- ;;(if dbg (setq dbg (concat dbg (format "\tPt=%S %S\trv=%S in=%S
ee=%S\n" (point) keywd rvalue ignore-next end-else-check))))
+ ;;(if dbg (setq dbg (concat dbg (format "\tPt=%S %S\trv=%S in=%S
ee=%S gs=%S\n" (point) keywd rvalue ignore-next end-else-check got-sig))))
(cond
((equal keywd "\"")
(or (re-search-forward "[^\\]\"" nil t)
@@ -7044,7 +7062,7 @@
(setq end-else-check t))
(forward-char 1))
((equal keywd "'")
- (if (looking-at "'s?[hdxbo][0-9a-fA-F_xz? \t]*")
+ (if (looking-at "'[sS]?[hdxboHDXBO]?[ \t]*[0-9a-fA-F_xzXZ?]+")
(goto-char (match-end 0))
(forward-char 1)))
((equal keywd ":") ;; Case statement, begin/end label, x?y:z
@@ -7137,10 +7155,7 @@
uses-delayed) ;; Found signal/rvalue; push if not function
(search-forward ")")
(verilog-read-always-signals-recurse nil nil nil)
- ;;(if dbg (with-current-buffer (get-buffer-create "*vl-dbg*")
- ;; (delete-region (point-min) (point-max))
- ;; (insert dbg)
- ;; (setq dbg "")))
+ ;;(if dbg (with-current-buffer (get-buffer-create "*vl-dbg*"))
(delete-region (point-min) (point-max)) (insert dbg) (setq dbg ""))
;; Return what was found
(list sigs-out nil sigs-in uses-delayed))))
@@ -7188,7 +7203,7 @@
(goto-char (match-end 0))
;; Parse "REGEXP"
;; We reserve @"..." for future lisp expressions that evaluate
once-per-AUTOINST
- (when (looking-at "\\s-*\"\\([^\"]*)\\)\"")
+ (when (looking-at "\\s-*\"\\([^\"]*\\)\"")
(setq tpl-regexp (match-string 1))
(goto-char (match-end 0)))
(search-forward "(")
@@ -7256,13 +7271,13 @@
(let ((mac (intern (concat "vh-" defname))))
;;(message "Define %s=%s" defname defvalue) (sleep-for 1)
;; Need to define to a constant if no value given
- (set (make-variable-buffer-local mac)
+ (set (make-local-variable mac)
(if (equal defvalue "") "1" defvalue)))
(if enumname
(let ((enumvar (intern (concat "venum-" enumname))))
;;(message "Define %s=%s" defname defvalue) (sleep-for 1)
(unless (boundp enumvar) (set enumvar nil))
- (make-variable-buffer-local enumvar)
+ (make-local-variable enumvar)
(add-to-list enumvar defname)))))
(defun verilog-read-defines (&optional filename recurse subcall)
@@ -7499,8 +7514,7 @@
(forward-line 1)
(when (string-match "//" line)
(setq line (substring line 0 (match-beginning 0))))
- ;; Variables are buffer-local, so need right context.
- (with-current-buffer orig-buffer
+ (with-current-buffer orig-buffer ; Variables are buffer-local, so need
right context.
(verilog-getopt line))))))
(defun verilog-getopt-flags ()
@@ -7602,6 +7616,7 @@
(vc-backend filename)))
(let (pt)
(with-current-buffer (find-file-noselect filename)
+ (save-excursion
(goto-char (point-min))
(while (and
;; It may be tempting to look for verilog-defun-re,
@@ -7610,7 +7625,7 @@
(verilog-re-search-forward-quick "[(;]" nil t))
(if (equal module (verilog-read-module-name))
(setq pt (point))))
- pt))))
+ pt)))))
(defun verilog-is-number (symbol)
"Return true if SYMBOL is number-like."
@@ -9731,7 +9746,7 @@
/*AUTOINOUTMODULE(\"ExampMain\",\"^i\")*/
-You may also provide an optional second regulat expression, in
+You may also provide an optional second regular expression, in
which case only signals which have that pin direction and data
type will be included. This matches against everything before
the signal name in the declaration, for example against
- [Emacs-diffs] emacs/lisp ChangeLog progmodes/verilog-mode.el,
Stefan Monnier <=