Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools

PVS Bug 622


Synopsis:        C-n error with no region selected
Severity:        serious
Priority:        medium
Responsible:     dave_sc (Dave Stringer-Calvert)
State:           analyzed
Class:           sw-bug
Arrival-Date:    Wed Nov 28 11:21:46 2001
Originator:      Jerry James
Organization:    eecs.ku.edu
Release:         PVS 2.4
Environment: 
 System:          
 Architecture: 

Description: 
  C-n is bound to show-expanded-form in PVS 2.4.  (Incidentally, this is a
  bad idea, since Emacs users will have C-n associated with next-line in
  their minds.  Breaking this long-standing binding is bound to cause
  confusion, especially since C-p, C-b, and C-f all retained their
  traditional movement functions.  Available alternatives include C-c C-n,
  C-c n, and M-n.)
  
  C-n causes an error to be signalled if no region has been selected.
  This is due to this piece of code in show-expanded-form (from
  pvs-browser.el):
  
    (interactive
     (let* ((name-and-origin (if (string-equal (buffer-name) "Declaration")
  			       (list nil "Declaration")
  			       (pvs-formula-origin)))
  	  (bufname (car name-and-origin))
  	  (origin (cadr name-and-origin)))
       (list bufname origin
  	   (if (mark t) (region-beginning) (point))
  	   (if (mark t) (region-end)) (point))))
  
  There is a parenthesizing error on the last line.  It should be:
  
  	   (if (mark t) (region-end) (point)))))
  
  Regards,
  -- 
  Jerry James
  

How-To-Repeat: 

Fix: 
Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools