all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec
@ 2008-08-09  7:05 ` sand
  2008-08-09 10:57   ` OFFICE ZERO
                     ` (3 more replies)
  0 siblings, 4 replies; 12+ messages in thread
From: sand @ 2008-08-09  7:05 UTC (permalink / raw)
  To: emacs-pretest-bug; +Cc: rfrancoise

----

In json.el, the 'json-read-number' function is intended to read the
textual representation of Javascript numbers.

(defun json-read-number ()
  "Read the JSON number following point.
N.B.: Only numbers which can fit in Emacs Lisp's native number
representation will be parsed correctly."
  (if (char-equal (json-peek) ?-)
      (progn
        (json-advance)
        (- 0 (json-read-number)))
    (if (looking-at "[0-9]+\\([.][0-9]+\\)?\\([eE][+-]?[0-9]+\\)?")
        (progn
          (goto-char (match-end 0))
          (string-to-number (match-string 0)))
      (signal 'json-number-format (list (point))))))

The Javascript spec
(http://developer.mozilla.org/en/docs/Core_JavaScript_1.5_Guide:Literals#Floating-Point_Literals)
says the following about floating-point numbers:

| A floating-point literal can have the following parts:
| 
|     * A decimal integer which can be signed (preceded by "+" or "-"),
|     * A decimal point ("."),
|     * A fraction (another decimal number),
|     * An exponent. 
| 
| The exponent part is an "e" or "E" followed by an integer, which can
| be signed (preceded by "+" or "-"). A floating-point literal must have
| at least one digit and either a decimal point or "e" (or "E"). 

This means that

  1.

is a valid floating point-literal per the spec, but the regular
expression above does not match the complete text---the regular
expression requires digits after the decimal point.  This ends up
matched as a simple integer, leaving the decimal point in the input
stream and causing a later syntax error.  Similarly

  .1

is a valid floating point-literal illegal that Emacs rejects, because
the regular expression requires digits before the decimal point.
Testing with the error console in Firefox confirms that the two
examples above are valid syntax.

The parser function needs to be fixed to handle the complete syntax.

----


In GNU Emacs 23.0.60.1 (i486-pc-linux-gnu, GTK+ Version 2.12.11)
 of 2008-07-27 on elegiac, modified by Debian
 (emacs-snapshot package, version 1:20080727-1)
Windowing system distributor `The X.Org Foundation', version 11.0.10402000
configured using `configure  '--build' 'i486-linux-gnu' '--host' 'i486-linux-gnu' '--prefix=/usr' '--sharedstatedir=/var/lib' '--libexecdir=/usr/lib' '--localstatedir=/var' '--infodir=/usr/share/info' '--mandir=/usr/share/man' '--with-pop=yes' '--enable-locallisppath=/etc/emacs-snapshot:/etc/emacs:/usr/local/share/emacs/23.0.60/site-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/23.0.60/site-lisp:/usr/share/emacs/site-lisp' '--with-x=yes' '--with-x-toolkit=gtk' 'build_alias=i486-linux-gnu' 'host_alias=i486-linux-gnu' 'CFLAGS=-DDEBIAN -DSITELOAD_PURESIZE_EXTRA=5000 -g -O2' 'LDFLAGS=-g -Wl,--as-needed' 'CPPFLAGS=''

Important settings:
  value of $LC_ALL: nil
  value of $LC_COLLATE: POSIX
  value of $LC_CTYPE: nil
  value of $LC_MESSAGES: nil
  value of $LC_MONETARY: nil
  value of $LC_NUMERIC: nil
  value of $LC_TIME: nil
  value of $LANG: en_US.UTF-8
  value of $XMODIFIERS: nil
  locale-coding-system: utf-8-unix
  default-enable-multibyte-characters: t

Major mode: VM

Minor modes in effect:
  shell-dirtrack-mode: t
  auto-image-file-mode: t
  show-paren-mode: t
  icomplete-mode: t
  tooltip-mode: t
  mouse-wheel-mode: t
  menu-bar-mode: t
  file-name-shadow-mode: t
  global-font-lock-mode: t
  font-lock-mode: t
  blink-cursor-mode: t
  global-auto-composition-mode: t
  auto-encryption-mode: t
  auto-compression-mode: t
  line-number-mode: t
  transient-mark-mode: t






^ permalink raw reply	[flat|nested] 12+ messages in thread

* bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec
  2008-08-09  7:05 ` bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec sand
@ 2008-08-09 10:57   ` OFFICE ZERO
       [not found]     ` <handler.679.B679.12182794784103.ackinfo@emacsbugs.donarmstrong.com>
  2008-08-09 14:14   ` bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec OFFICE ZERO
                     ` (2 subsequent siblings)
  3 siblings, 1 reply; 12+ messages in thread
From: OFFICE ZERO @ 2008-08-09 10:57 UTC (permalink / raw)
  To: sand, 679

no thank you

----- Original Message ----- 
From: <sand@blarg.net>
To: <emacs-pretest-bug@gnu.org>
Cc: <rfrancoise@debian.org>
Sent: Saturday, August 09, 2008 4:05 PM
Subject: bug#679: 23.0.60;Function json-read-number does not handle complete 
Javascript spec


> ----
>
> In json.el, the 'json-read-number' function is intended to read the
> textual representation of Javascript numbers.
>
> (defun json-read-number ()
>  "Read the JSON number following point.
> N.B.: Only numbers which can fit in Emacs Lisp's native number
> representation will be parsed correctly."
>  (if (char-equal (json-peek) ?-)
>      (progn
>        (json-advance)
>        (- 0 (json-read-number)))
>    (if (looking-at "[0-9]+\\([.][0-9]+\\)?\\([eE][+-]?[0-9]+\\)?")
>        (progn
>          (goto-char (match-end 0))
>          (string-to-number (match-string 0)))
>      (signal 'json-number-format (list (point))))))
>
> The Javascript spec
> (http://developer.mozilla.org/en/docs/Core_JavaScript_1.5_Guide:Literals#Floating-Point_Literals)
> says the following about floating-point numbers:
>
> | A floating-point literal can have the following parts:
> |
> |     * A decimal integer which can be signed (preceded by "+" or "-"),
> |     * A decimal point ("."),
> |     * A fraction (another decimal number),
> |     * An exponent.
> |
> | The exponent part is an "e" or "E" followed by an integer, which can
> | be signed (preceded by "+" or "-"). A floating-point literal must have
> | at least one digit and either a decimal point or "e" (or "E").
>
> This means that
>
>  1.
>
> is a valid floating point-literal per the spec, but the regular
> expression above does not match the complete text---the regular
> expression requires digits after the decimal point.  This ends up
> matched as a simple integer, leaving the decimal point in the input
> stream and causing a later syntax error.  Similarly
>
>  .1
>
> is a valid floating point-literal illegal that Emacs rejects, because
> the regular expression requires digits before the decimal point.
> Testing with the error console in Firefox confirms that the two
> examples above are valid syntax.
>
> The parser function needs to be fixed to handle the complete syntax.
>
> ----
>
>
> In GNU Emacs 23.0.60.1 (i486-pc-linux-gnu, GTK+ Version 2.12.11)
> of 2008-07-27 on elegiac, modified by Debian
> (emacs-snapshot package, version 1:20080727-1)
> Windowing system distributor `The X.Org Foundation', version 11.0.10402000
> configured using `configure  '--build' 'i486-linux-gnu' '--host' 
> 'i486-linux-gnu' '--prefix=/usr' '--sharedstatedir=/var/lib' 
> '--libexecdir=/usr/lib' '--localstatedir=/var' '--infodir=/usr/share/info' 
> '--mandir=/usr/share/man' '--with-pop=yes' 
> '--enable-locallisppath=/etc/emacs-snapshot:/etc/emacs:/usr/local/share/emacs/23.0.60/site-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/23.0.60/site-lisp:/usr/share/emacs/site-lisp' 
> '--with-x=yes' '--with-x-toolkit=gtk' 'build_alias=i486-linux-gnu' 
> 'host_alias=i486-linux-gnu' 
> 'CFLAGS=-DDEBIAN -DSITELOAD_PURESIZE_EXTRA=5000 -g -O2' 
> 'LDFLAGS=-g -Wl,--as-needed' 'CPPFLAGS=''
>
> Important settings:
>  value of $LC_ALL: nil
>  value of $LC_COLLATE: POSIX
>  value of $LC_CTYPE: nil
>  value of $LC_MESSAGES: nil
>  value of $LC_MONETARY: nil
>  value of $LC_NUMERIC: nil
>  value of $LC_TIME: nil
>  value of $LANG: en_US.UTF-8
>  value of $XMODIFIERS: nil
>  locale-coding-system: utf-8-unix
>  default-enable-multibyte-characters: t
>
> Major mode: VM
>
> Minor modes in effect:
>  shell-dirtrack-mode: t
>  auto-image-file-mode: t
>  show-paren-mode: t
>  icomplete-mode: t
>  tooltip-mode: t
>  mouse-wheel-mode: t
>  menu-bar-mode: t
>  file-name-shadow-mode: t
>  global-font-lock-mode: t
>  font-lock-mode: t
>  blink-cursor-mode: t
>  global-auto-composition-mode: t
>  auto-encryption-mode: t
>  auto-compression-mode: t
>  line-number-mode: t
>  transient-mark-mode: t
>
>
>
> 







^ permalink raw reply	[flat|nested] 12+ messages in thread

* bug#679: Info received (bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec)
       [not found]     ` <handler.679.B679.12182794784103.ackinfo@emacsbugs.donarmstrong.com>
@ 2008-08-09 12:13       ` OFFICE ZERO
       [not found]         ` <handler.679.B679.121828398627739.ackinfo@emacsbugs.donarmstrong.com>
  0 siblings, 1 reply; 12+ messages in thread
From: OFFICE ZERO @ 2008-08-09 12:13 UTC (permalink / raw)
  To: 679

no thank you

----- Original Message ----- 
From: "Emacs bug Tracking System" <don@donarmstrong.com>
To: "OFFICE ZERO" <hi-oh230@air.ocn.ne.jp>
Sent: Saturday, August 09, 2008 8:05 PM
Subject: bug#679: Info received (bug#679: 23.0.60;Function json-read-number 
does not handle complete Javascript spec)



Thank you for the additional information you have supplied regarding
this bug report.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 Emacs Bugs <bug-gnu-emacs@gnu.org>

If you wish to submit further information on this problem, please
send it to 679@emacsbugs.donarmstrong.com, as before.

Please do not send mail to don@donarmstrong.com unless you wish
to report a problem with the Bug-tracking system.


-- 
679: http://emacsbugs.donarmstrong.com/cgi-bin/bugreport.cgi?bug=679
Emacs Bug Tracking System
Contact don@donarmstrong.com with problems 







^ permalink raw reply	[flat|nested] 12+ messages in thread

* bug#679: Info received (bug#679: Info received (bug#679:  23.0.60; Function json-read-number does not handle complete Javascript spec))
       [not found]         ` <handler.679.B679.121828398627739.ackinfo@emacsbugs.donarmstrong.com>
@ 2008-08-09 13:17           ` OFFICE ZERO
  0 siblings, 0 replies; 12+ messages in thread
From: OFFICE ZERO @ 2008-08-09 13:17 UTC (permalink / raw)
  To: 679

no thank you


----- Original Message ----- 
From: "Emacs bug Tracking System" <don@donarmstrong.com>
To: "OFFICE ZERO" <hi-oh230@air.ocn.ne.jp>
Sent: Saturday, August 09, 2008 9:20 PM
Subject: bug#679: Info received (bug#679: Info received (bug#679: 
23.0.60;Function json-read-number does not handle complete Javascript spec))



Thank you for the additional information you have supplied regarding
this bug report.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 Emacs Bugs <bug-gnu-emacs@gnu.org>

If you wish to submit further information on this problem, please
send it to 679@emacsbugs.donarmstrong.com, as before.

Please do not send mail to don@donarmstrong.com unless you wish
to report a problem with the Bug-tracking system.


-- 
679: http://emacsbugs.donarmstrong.com/cgi-bin/bugreport.cgi?bug=679
Emacs Bug Tracking System
Contact don@donarmstrong.com with problems 







^ permalink raw reply	[flat|nested] 12+ messages in thread

* bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec
  2008-08-09  7:05 ` bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec sand
  2008-08-09 10:57   ` OFFICE ZERO
@ 2008-08-09 14:14   ` OFFICE ZERO
  2008-08-13  3:11   ` Kevin Rodgers
  2008-08-28 20:30   ` bug#679: marked as done (23.0.60; Function json-read-number does not handle complete Javascript spec) Emacs bug Tracking System
  3 siblings, 0 replies; 12+ messages in thread
From: OFFICE ZERO @ 2008-08-09 14:14 UTC (permalink / raw)
  To: sand, 679

Do'nt   send  me mail  !!!
no tkank you!!

----- Original Message ----- 
From: <sand@blarg.net>
To: <emacs-pretest-bug@gnu.org>
Cc: <rfrancoise@debian.org>
Sent: Saturday, August 09, 2008 4:05 PM
Subject: bug#679: 23.0.60;Function json-read-number does not handle complete 
Javascript spec


> ----
>
> In json.el, the 'json-read-number' function is intended to read the
> textual representation of Javascript numbers.
>
> (defun json-read-number ()
>  "Read the JSON number following point.
> N.B.: Only numbers which can fit in Emacs Lisp's native number
> representation will be parsed correctly."
>  (if (char-equal (json-peek) ?-)
>      (progn
>        (json-advance)
>        (- 0 (json-read-number)))
>    (if (looking-at "[0-9]+\\([.][0-9]+\\)?\\([eE][+-]?[0-9]+\\)?")
>        (progn
>          (goto-char (match-end 0))
>          (string-to-number (match-string 0)))
>      (signal 'json-number-format (list (point))))))
>
> The Javascript spec
> (http://developer.mozilla.org/en/docs/Core_JavaScript_1.5_Guide:Literals#Floating-Point_Literals)
> says the following about floating-point numbers:
>
> | A floating-point literal can have the following parts:
> |
> |     * A decimal integer which can be signed (preceded by "+" or "-"),
> |     * A decimal point ("."),
> |     * A fraction (another decimal number),
> |     * An exponent.
> |
> | The exponent part is an "e" or "E" followed by an integer, which can
> | be signed (preceded by "+" or "-"). A floating-point literal must have
> | at least one digit and either a decimal point or "e" (or "E").
>
> This means that
>
>  1.
>
> is a valid floating point-literal per the spec, but the regular
> expression above does not match the complete text---the regular
> expression requires digits after the decimal point.  This ends up
> matched as a simple integer, leaving the decimal point in the input
> stream and causing a later syntax error.  Similarly
>
>  .1
>
> is a valid floating point-literal illegal that Emacs rejects, because
> the regular expression requires digits before the decimal point.
> Testing with the error console in Firefox confirms that the two
> examples above are valid syntax.
>
> The parser function needs to be fixed to handle the complete syntax.
>
> ----
>
>
> In GNU Emacs 23.0.60.1 (i486-pc-linux-gnu, GTK+ Version 2.12.11)
> of 2008-07-27 on elegiac, modified by Debian
> (emacs-snapshot package, version 1:20080727-1)
> Windowing system distributor `The X.Org Foundation', version 11.0.10402000
> configured using `configure  '--build' 'i486-linux-gnu' '--host' 
> 'i486-linux-gnu' '--prefix=/usr' '--sharedstatedir=/var/lib' 
> '--libexecdir=/usr/lib' '--localstatedir=/var' '--infodir=/usr/share/info' 
> '--mandir=/usr/share/man' '--with-pop=yes' 
> '--enable-locallisppath=/etc/emacs-snapshot:/etc/emacs:/usr/local/share/emacs/23.0.60/site-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/23.0.60/site-lisp:/usr/share/emacs/site-lisp' 
> '--with-x=yes' '--with-x-toolkit=gtk' 'build_alias=i486-linux-gnu' 
> 'host_alias=i486-linux-gnu' 
> 'CFLAGS=-DDEBIAN -DSITELOAD_PURESIZE_EXTRA=5000 -g -O2' 
> 'LDFLAGS=-g -Wl,--as-needed' 'CPPFLAGS=''
>
> Important settings:
>  value of $LC_ALL: nil
>  value of $LC_COLLATE: POSIX
>  value of $LC_CTYPE: nil
>  value of $LC_MESSAGES: nil
>  value of $LC_MONETARY: nil
>  value of $LC_NUMERIC: nil
>  value of $LC_TIME: nil
>  value of $LANG: en_US.UTF-8
>  value of $XMODIFIERS: nil
>  locale-coding-system: utf-8-unix
>  default-enable-multibyte-characters: t
>
> Major mode: VM
>
> Minor modes in effect:
>  shell-dirtrack-mode: t
>  auto-image-file-mode: t
>  show-paren-mode: t
>  icomplete-mode: t
>  tooltip-mode: t
>  mouse-wheel-mode: t
>  menu-bar-mode: t
>  file-name-shadow-mode: t
>  global-font-lock-mode: t
>  font-lock-mode: t
>  blink-cursor-mode: t
>  global-auto-composition-mode: t
>  auto-encryption-mode: t
>  auto-compression-mode: t
>  line-number-mode: t
>  transient-mark-mode: t
>
>
>
> 







^ permalink raw reply	[flat|nested] 12+ messages in thread

* bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec
  2008-08-09  7:05 ` bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec sand
  2008-08-09 10:57   ` OFFICE ZERO
  2008-08-09 14:14   ` bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec OFFICE ZERO
@ 2008-08-13  3:11   ` Kevin Rodgers
  2008-08-28 20:30   ` bug#679: marked as done (23.0.60; Function json-read-number does not handle complete Javascript spec) Emacs bug Tracking System
  3 siblings, 0 replies; 12+ messages in thread
From: Kevin Rodgers @ 2008-08-13  3:11 UTC (permalink / raw)
  To: bug-gnu-emacs; +Cc: emacs-pretest-bug

sand@blarg.net wrote:
> In json.el, the 'json-read-number' function is intended to read the
> textual representation of Javascript numbers.
> 
> (defun json-read-number ()
>   "Read the JSON number following point.
> N.B.: Only numbers which can fit in Emacs Lisp's native number
> representation will be parsed correctly."
>   (if (char-equal (json-peek) ?-)
>       (progn
>         (json-advance)
>         (- 0 (json-read-number)))
>     (if (looking-at "[0-9]+\\([.][0-9]+\\)?\\([eE][+-]?[0-9]+\\)?")
>         (progn
>           (goto-char (match-end 0))
>           (string-to-number (match-string 0)))
>       (signal 'json-number-format (list (point))))))
> 
> The Javascript spec
> (http://developer.mozilla.org/en/docs/Core_JavaScript_1.5_Guide:Literals#Floating-Point_Literals)
> says the following about floating-point numbers:
> 
> | A floating-point literal can have the following parts:
> | 
> |     * A decimal integer which can be signed (preceded by "+" or "-"),
> |     * A decimal point ("."),
> |     * A fraction (another decimal number),
> |     * An exponent. 
> | 
> | The exponent part is an "e" or "E" followed by an integer, which can
> | be signed (preceded by "+" or "-"). A floating-point literal must have
> | at least one digit and either a decimal point or "e" (or "E"). 
> 
> This means that
> 
>   1.
> 
> is a valid floating point-literal per the spec, but the regular
> expression above does not match the complete text---the regular
> expression requires digits after the decimal point.  This ends up
> matched as a simple integer, leaving the decimal point in the input
> stream and causing a later syntax error.  Similarly
> 
>   .1
> 
> is a valid floating point-literal illegal that Emacs rejects, because
> the regular expression requires digits before the decimal point.
> Testing with the error console in Firefox confirms that the two
> examples above are valid syntax.
> 
> The parser function needs to be fixed to handle the complete syntax.

It also means that "+1" is valid but not recognized.  That's easy to fix:

   (cond ((char-equal (json-peek) ?-)
	 (json-advance)
	 (- (json-read-number)))
	((char-equal (json-peek) ?+)
	 (json-advance)
	 (json-read-number))
	((looking-at "[0-9]+\\([.][0-9]+\\)?\\([eE][+-]?[0-9]+\\)?")
...)
	(t (signal 'json-number-format (list (point)))))

The spec you cite also says:

| More succinctly, the syntax is:
|
| [digits][.digits][(E|e)[(+|-)]digits]

which would be translated literally as

"\\([0-9]+\\)?\\(\\.[0-9]+\\)?\\([Ee][+-]?[0-9]+\\)?"

The only difference between that and the regexp in json-read-number is
the optionality of the leading digits and the representation of the
decimal point.

But the potential problem with changing the regexp like that is that it
now matches the empty string, which the spec does not allow:

| A floating-point literal must have at least one digit and either a 
decimal point or "e" (or "E").

So, does this give the desired results:

(defun json-read-number ()
   "Read the JSON number following point.
N.B.: Only numbers which can fit in Emacs Lisp's native number
representation will be parsed correctly."
   (cond ((char-equal (json-peek) ?-)
	 (json-advance)
	 (- (json-read-number)))
	((char-equal (json-peek) ?+)
	 (json-advance)
	 (json-read-number))
	((and (looking-at "\\([0-9]+\\)?\\(\\.[0-9]+\\)?\\([Ee][+-]?[0-9]+\\)?")
	      (or (match-beginning 1) (match-beginning 2) (match-beginning 3)))
	 (goto-char (match-end 0))
	 (string-to-number (match-string 0)))
	(t (signal 'json-number-format (list (point))))))

-- 
Kevin Rodgers
Denver, Colorado, USA








^ permalink raw reply	[flat|nested] 12+ messages in thread

* bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec
@ 2008-08-13  3:42 Chong Yidong
  2008-08-13  5:11 ` Edward O'Connor
  0 siblings, 1 reply; 12+ messages in thread
From: Chong Yidong @ 2008-08-13  3:42 UTC (permalink / raw)
  To: Edward O'Connor; +Cc: 679

Hi Edward,

Could you take a look at this bug report?

Thanks.

---------------

In json.el, the 'json-read-number' function is intended to read the
textual representation of Javascript numbers.

(defun json-read-number ()
  "Read the JSON number following point.
N.B.: Only numbers which can fit in Emacs Lisp's native number
representation will be parsed correctly."
  (if (char-equal (json-peek) ?-)
      (progn
        (json-advance)
        (- 0 (json-read-number)))
    (if (looking-at "[0-9]+\\([.][0-9]+\\)?\\([eE][+-]?[0-9]+\\)?")
        (progn
          (goto-char (match-end 0))
          (string-to-number (match-string 0)))
      (signal 'json-number-format (list (point))))))

The Javascript spec
(http://developer.mozilla.org/en/docs/Core_JavaScript_1.5_Guide:Literals#Floating-Point_Literals)
says the following about floating-point numbers:

| A floating-point literal can have the following parts:
| 
|     * A decimal integer which can be signed (preceded by "+" or "-"),
|     * A decimal point ("."),
|     * A fraction (another decimal number),
|     * An exponent. 
| 
| The exponent part is an "e" or "E" followed by an integer, which can
| be signed (preceded by "+" or "-"). A floating-point literal must have
| at least one digit and either a decimal point or "e" (or "E"). 

This means that

  1.

is a valid floating point-literal per the spec, but the regular
expression above does not match the complete text---the regular
expression requires digits after the decimal point.  This ends up
matched as a simple integer, leaving the decimal point in the input
stream and causing a later syntax error.  Similarly

  .1

is a valid floating point-literal illegal that Emacs rejects, because
the regular expression requires digits before the decimal point.
Testing with the error console in Firefox confirms that the two
examples above are valid syntax.

The parser function needs to be fixed to handle the complete syntax.






^ permalink raw reply	[flat|nested] 12+ messages in thread

* bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec
  2008-08-13  3:42 bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec Chong Yidong
@ 2008-08-13  5:11 ` Edward O'Connor
  2008-08-14  2:25   ` Kevin Rodgers
  0 siblings, 1 reply; 12+ messages in thread
From: Edward O'Connor @ 2008-08-13  5:11 UTC (permalink / raw)
  To: Chong Yidong; +Cc: 679

Hi,

> Could you take a look at this bug report?

Sure. I'll have a fix to you in the next few days.


Ted






^ permalink raw reply	[flat|nested] 12+ messages in thread

* bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec
  2008-08-13  5:11 ` Edward O'Connor
@ 2008-08-14  2:25   ` Kevin Rodgers
  2008-08-19  5:37     ` Edward O'Connor
  2008-08-19  5:37     ` Edward O'Connor
  0 siblings, 2 replies; 12+ messages in thread
From: Kevin Rodgers @ 2008-08-14  2:25 UTC (permalink / raw)
  To: Edward O'Connor, 679

Edward O'Connor wrote:
> Hi,
> 
>> Could you take a look at this bug report?
> 
> Sure. I'll have a fix to you in the next few days.

Here's an improved version: Besides recognizing the D. and .D number
forms mentioned in the original bug report, and the positive signed
forms mentioned in my first response, it also

(a) recognizes hexadecimal and octal integers per 
http://developer.mozilla.org/en/docs/Core_JavaScript_1.5_Guide:Literals#Integers

(b) correctly fails to recognize more than 1 leading sign (e.g. --, ++, 
+-, -+)

(c) correctly fails to recognize exponent forms without a preceding number.

I hope you'll use it.

(defun json-read-number (&optional sign base)
   "Read the JSON number following point.
The optional SIGN and BASE arguments are for internal use.

N.B.: Only numbers which can fit in Emacs Lisp's native number
representation will be parsed correctly."
   ;; If SIGN is non-nil, the number is explicitly signed.
   ;; If BASE is null, read a decimal integer or floating point;
   ;; if BASE is 16, read a hexadecimal integer;
   ;; if BASE is 8, read an octal integer.
   (let ((number-regexp
	 (cond ((null base)
		"\\([0-9]+\\)?\\(\\.[0-9]+\\)?\\([Ee][+-]?[0-9]+\\)?")
	       ((equal base 8) "[0-7]+")
	       ((equal base 16) "[0-9A-Fa-f]+"))))
     (cond ((and (null sign) (char-equal (json-peek) ?-))
	   (json-advance)
	   (- (json-read-number t base)))
	  ((and (null sign) (char-equal (json-peek) ?+))
	   (json-advance)
	   (json-read-number t base))
	  ((and (null base) (looking-at "0[Xx]"))
	   (json-advance 2)
	   (json-read-number t 16))
	  ((and (null base) (looking-at "0[0-7]"))
	   (json-advance 1)
	   (json-read-number t 8))
	  ((and (looking-at number-regexp)
		(or base
		    (match-beginning 1)
		    (match-beginning 2)))
	   (goto-char (match-end 0))
	   (string-to-number (match-string 0) base))
	  (t (signal 'json-number-format (list (point)))))))

Thanks,

-- 
Kevin Rodgers
Denver, Colorado, USA






^ permalink raw reply	[flat|nested] 12+ messages in thread

* bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec
  2008-08-14  2:25   ` Kevin Rodgers
  2008-08-19  5:37     ` Edward O'Connor
@ 2008-08-19  5:37     ` Edward O'Connor
  1 sibling, 0 replies; 12+ messages in thread
From: Edward O'Connor @ 2008-08-19  5:37 UTC (permalink / raw)
  To: emacs-devel; +Cc: 679, Kevin Rodgers

[-- Attachment #1: Type: text/plain, Size: 487 bytes --]

> Here's an improved version: Besides recognizing the D. and .D number
> forms mentioned in the original bug report, and the positive signed
> forms mentioned in my first response, it also
>
> (a) recognizes hexadecimal and octal integers per
> http://developer.mozilla.org/en/docs/Core_JavaScript_1.5_Guide:Literals#Integers

JSON disallows octal and hexadecimal notation...

> I hope you'll use it.

I've attached a modified version, which disallows octal & hexadecimal.


Thanks,
Ted

[-- Attachment #2: json-number.diff --]
[-- Type: application/octet-stream, Size: 1875 bytes --]

? json-number.diff
? qed.diff
Index: lisp/json.el
===================================================================
RCS file: /sources/emacs/emacs/lisp/json.el,v
retrieving revision 1.5
diff -u -u -r1.5 json.el
--- lisp/json.el	8 May 2008 03:37:07 -0000	1.5
+++ lisp/json.el	19 Aug 2008 05:35:58 -0000
@@ -221,19 +221,27 @@
 
 ;; Number parsing
 
-(defun json-read-number ()
-  "Read the JSON number following point.
+(defun json-read-number (&optional sign)
+ "Read the JSON number following point.
+The optional SIGN  argument is for internal use.
+
 N.B.: Only numbers which can fit in Emacs Lisp's native number
 representation will be parsed correctly."
-  (if (char-equal (json-peek) ?-)
-      (progn
-        (json-advance)
-        (- 0 (json-read-number)))
-    (if (looking-at "[0-9]+\\([.][0-9]+\\)?\\([eE][+-]?[0-9]+\\)?")
-        (progn
+ ;; If SIGN is non-nil, the number is explicitly signed.
+ (let ((number-regexp
+        "\\([0-9]+\\)?\\(\\.[0-9]+\\)?\\([Ee][+-]?[0-9]+\\)?"))
+   (cond ((and (null sign) (char-equal (json-peek) ?-))
+          (json-advance)
+          (- (json-read-number t)))
+         ((and (null sign) (char-equal (json-peek) ?+))
+          (json-advance)
+          (json-read-number t))
+         ((and (looking-at number-regexp)
+               (or (match-beginning 1)
+                   (match-beginning 2)))
           (goto-char (match-end 0))
           (string-to-number (match-string 0)))
-      (signal 'json-number-format (list (point))))))
+         (t (signal 'json-number-format (list (point)))))))
 
 ;; Number encoding
 
@@ -470,7 +478,7 @@
            (?\" json-read-string))))
     (mapc (lambda (char)
             (push (list char 'json-read-number) table))
-          '(?- ?0 ?1 ?2 ?3 ?4 ?5 ?6 ?7 ?8 ?9))
+          '(?- ?+ ?. ?0 ?1 ?2 ?3 ?4 ?5 ?6 ?7 ?8 ?9))
     table)
   "Readtable for JSON reader.")
 

^ permalink raw reply	[flat|nested] 12+ messages in thread

* Re: bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec
  2008-08-14  2:25   ` Kevin Rodgers
@ 2008-08-19  5:37     ` Edward O'Connor
  2008-08-19  5:37     ` Edward O'Connor
  1 sibling, 0 replies; 12+ messages in thread
From: Edward O'Connor @ 2008-08-19  5:37 UTC (permalink / raw)
  To: emacs-devel; +Cc: 679, Kevin Rodgers

[-- Attachment #1: Type: text/plain, Size: 487 bytes --]

> Here's an improved version: Besides recognizing the D. and .D number
> forms mentioned in the original bug report, and the positive signed
> forms mentioned in my first response, it also
>
> (a) recognizes hexadecimal and octal integers per
> http://developer.mozilla.org/en/docs/Core_JavaScript_1.5_Guide:Literals#Integers

JSON disallows octal and hexadecimal notation...

> I hope you'll use it.

I've attached a modified version, which disallows octal & hexadecimal.


Thanks,
Ted

[-- Attachment #2: json-number.diff --]
[-- Type: application/octet-stream, Size: 1875 bytes --]

? json-number.diff
? qed.diff
Index: lisp/json.el
===================================================================
RCS file: /sources/emacs/emacs/lisp/json.el,v
retrieving revision 1.5
diff -u -u -r1.5 json.el
--- lisp/json.el	8 May 2008 03:37:07 -0000	1.5
+++ lisp/json.el	19 Aug 2008 05:35:58 -0000
@@ -221,19 +221,27 @@
 
 ;; Number parsing
 
-(defun json-read-number ()
-  "Read the JSON number following point.
+(defun json-read-number (&optional sign)
+ "Read the JSON number following point.
+The optional SIGN  argument is for internal use.
+
 N.B.: Only numbers which can fit in Emacs Lisp's native number
 representation will be parsed correctly."
-  (if (char-equal (json-peek) ?-)
-      (progn
-        (json-advance)
-        (- 0 (json-read-number)))
-    (if (looking-at "[0-9]+\\([.][0-9]+\\)?\\([eE][+-]?[0-9]+\\)?")
-        (progn
+ ;; If SIGN is non-nil, the number is explicitly signed.
+ (let ((number-regexp
+        "\\([0-9]+\\)?\\(\\.[0-9]+\\)?\\([Ee][+-]?[0-9]+\\)?"))
+   (cond ((and (null sign) (char-equal (json-peek) ?-))
+          (json-advance)
+          (- (json-read-number t)))
+         ((and (null sign) (char-equal (json-peek) ?+))
+          (json-advance)
+          (json-read-number t))
+         ((and (looking-at number-regexp)
+               (or (match-beginning 1)
+                   (match-beginning 2)))
           (goto-char (match-end 0))
           (string-to-number (match-string 0)))
-      (signal 'json-number-format (list (point))))))
+         (t (signal 'json-number-format (list (point)))))))
 
 ;; Number encoding
 
@@ -470,7 +478,7 @@
            (?\" json-read-string))))
     (mapc (lambda (char)
             (push (list char 'json-read-number) table))
-          '(?- ?0 ?1 ?2 ?3 ?4 ?5 ?6 ?7 ?8 ?9))
+          '(?- ?+ ?. ?0 ?1 ?2 ?3 ?4 ?5 ?6 ?7 ?8 ?9))
     table)
   "Readtable for JSON reader.")
 

^ permalink raw reply	[flat|nested] 12+ messages in thread

* bug#679: marked as done (23.0.60; Function json-read-number does  not handle complete Javascript spec)
  2008-08-09  7:05 ` bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec sand
                     ` (2 preceding siblings ...)
  2008-08-13  3:11   ` Kevin Rodgers
@ 2008-08-28 20:30   ` Emacs bug Tracking System
  3 siblings, 0 replies; 12+ messages in thread
From: Emacs bug Tracking System @ 2008-08-28 20:30 UTC (permalink / raw)
  To: Chong Yidong

[-- Attachment #1: Type: text/plain, Size: 909 bytes --]


Your message dated Thu, 28 Aug 2008 16:22:08 -0400
with message-id <87sksoc2kv.fsf@cyd.mit.edu>
and subject line Re: 23.0.60; Function json-read-number does not handle complete Javascript spec
has caused the Emacs bug report #679,
regarding 23.0.60; Function json-read-number does not handle complete Javascript spec
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact don@donarmstrong.com
immediately.)


-- 
679: http://emacsbugs.donarmstrong.com/cgi-bin/bugreport.cgi?bug=679
Emacs Bug Tracking System
Contact don@donarmstrong.com with problems

[-- Attachment #2: Type: message/rfc822, Size: 5304 bytes --]

From: sand@blarg.net
To: emacs-pretest-bug@gnu.org
Cc: rfrancoise@debian.org
Subject: 23.0.60; Function json-read-number does not handle complete Javascript spec
Date: 9 Aug 2008 07:05:28 -0000
Message-ID: <20080809070528.26869.qmail@priss.frightenedpiglet.com>

----

In json.el, the 'json-read-number' function is intended to read the
textual representation of Javascript numbers.

(defun json-read-number ()
  "Read the JSON number following point.
N.B.: Only numbers which can fit in Emacs Lisp's native number
representation will be parsed correctly."
  (if (char-equal (json-peek) ?-)
      (progn
        (json-advance)
        (- 0 (json-read-number)))
    (if (looking-at "[0-9]+\\([.][0-9]+\\)?\\([eE][+-]?[0-9]+\\)?")
        (progn
          (goto-char (match-end 0))
          (string-to-number (match-string 0)))
      (signal 'json-number-format (list (point))))))

The Javascript spec
(http://developer.mozilla.org/en/docs/Core_JavaScript_1.5_Guide:Literals#Floating-Point_Literals)
says the following about floating-point numbers:

| A floating-point literal can have the following parts:
| 
|     * A decimal integer which can be signed (preceded by "+" or "-"),
|     * A decimal point ("."),
|     * A fraction (another decimal number),
|     * An exponent. 
| 
| The exponent part is an "e" or "E" followed by an integer, which can
| be signed (preceded by "+" or "-"). A floating-point literal must have
| at least one digit and either a decimal point or "e" (or "E"). 

This means that

  1.

is a valid floating point-literal per the spec, but the regular
expression above does not match the complete text---the regular
expression requires digits after the decimal point.  This ends up
matched as a simple integer, leaving the decimal point in the input
stream and causing a later syntax error.  Similarly

  .1

is a valid floating point-literal illegal that Emacs rejects, because
the regular expression requires digits before the decimal point.
Testing with the error console in Firefox confirms that the two
examples above are valid syntax.

The parser function needs to be fixed to handle the complete syntax.

----


In GNU Emacs 23.0.60.1 (i486-pc-linux-gnu, GTK+ Version 2.12.11)
 of 2008-07-27 on elegiac, modified by Debian
 (emacs-snapshot package, version 1:20080727-1)
Windowing system distributor `The X.Org Foundation', version 11.0.10402000
configured using `configure  '--build' 'i486-linux-gnu' '--host' 'i486-linux-gnu' '--prefix=/usr' '--sharedstatedir=/var/lib' '--libexecdir=/usr/lib' '--localstatedir=/var' '--infodir=/usr/share/info' '--mandir=/usr/share/man' '--with-pop=yes' '--enable-locallisppath=/etc/emacs-snapshot:/etc/emacs:/usr/local/share/emacs/23.0.60/site-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/23.0.60/site-lisp:/usr/share/emacs/site-lisp' '--with-x=yes' '--with-x-toolkit=gtk' 'build_alias=i486-linux-gnu' 'host_alias=i486-linux-gnu' 'CFLAGS=-DDEBIAN -DSITELOAD_PURESIZE_EXTRA=5000 -g -O2' 'LDFLAGS=-g -Wl,--as-needed' 'CPPFLAGS=''

Important settings:
  value of $LC_ALL: nil
  value of $LC_COLLATE: POSIX
  value of $LC_CTYPE: nil
  value of $LC_MESSAGES: nil
  value of $LC_MONETARY: nil
  value of $LC_NUMERIC: nil
  value of $LC_TIME: nil
  value of $LANG: en_US.UTF-8
  value of $XMODIFIERS: nil
  locale-coding-system: utf-8-unix
  default-enable-multibyte-characters: t

Major mode: VM

Minor modes in effect:
  shell-dirtrack-mode: t
  auto-image-file-mode: t
  show-paren-mode: t
  icomplete-mode: t
  tooltip-mode: t
  mouse-wheel-mode: t
  menu-bar-mode: t
  file-name-shadow-mode: t
  global-font-lock-mode: t
  font-lock-mode: t
  blink-cursor-mode: t
  global-auto-composition-mode: t
  auto-encryption-mode: t
  auto-compression-mode: t
  line-number-mode: t
  transient-mark-mode: t



[-- Attachment #3: Type: message/rfc822, Size: 1076 bytes --]

From: Chong Yidong <cyd@stupidchicken.com>
To: "Edward O'Connor" <hober0@gmail.com>
Cc: 679-done@emacsbugs.donarmstrong.com
Subject: Re: 23.0.60; Function json-read-number does not handle complete Javascript spec
Date: Thu, 28 Aug 2008 16:22:08 -0400
Message-ID: <87sksoc2kv.fsf@cyd.mit.edu>

> I've attached a modified version, which disallows octal & hexadecimal.

Checked in, thanks.


^ permalink raw reply	[flat|nested] 12+ messages in thread

end of thread, other threads:[~2008-08-28 20:30 UTC | newest]

Thread overview: 12+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
     [not found] <87sksoc2kv.fsf@cyd.mit.edu>
2008-08-09  7:05 ` bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec sand
2008-08-09 10:57   ` OFFICE ZERO
     [not found]     ` <handler.679.B679.12182794784103.ackinfo@emacsbugs.donarmstrong.com>
2008-08-09 12:13       ` bug#679: Info received (bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec) OFFICE ZERO
     [not found]         ` <handler.679.B679.121828398627739.ackinfo@emacsbugs.donarmstrong.com>
2008-08-09 13:17           ` bug#679: Info received (bug#679: Info received (bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec)) OFFICE ZERO
2008-08-09 14:14   ` bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec OFFICE ZERO
2008-08-13  3:11   ` Kevin Rodgers
2008-08-28 20:30   ` bug#679: marked as done (23.0.60; Function json-read-number does not handle complete Javascript spec) Emacs bug Tracking System
2008-08-13  3:42 bug#679: 23.0.60; Function json-read-number does not handle complete Javascript spec Chong Yidong
2008-08-13  5:11 ` Edward O'Connor
2008-08-14  2:25   ` Kevin Rodgers
2008-08-19  5:37     ` Edward O'Connor
2008-08-19  5:37     ` Edward O'Connor

Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.