Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

Rendering of point in REPL / Console output

Description

In the B console aka REPL, real numbers are printed somewhat strangely:

Environment

None

Activity

Show:

Michael Leuschel November 10, 2020 at 10:59 AM

Issue is fixed

(However, in Event-B mode the same input gives an out of bounds exception.)

Michael Leuschel November 9, 2020 at 4:35 PM

I have commited a change to probparsers (85337027933af797c61604a2340093df90a38d0f)

Michael Leuschel November 9, 2020 at 4:26 PM

We would need to add the Real number token class to the Unicode translator, I guess.

Fabian Vu November 9, 2020 at 1:40 PM

This seems to be an issue in the UnicodeTranslator in probparsers (https://gitlab.cs.uni-duesseldorf.de/stups/prob/probparsers/-/blob/develop/unicode/src/main/java/de/prob/unicode/UnicodeTranslator.java).

The dot is always translated to the character \u00b7 in line 98

Fixed

Details

Assignee

Reporter

Priority

Created November 6, 2020 at 10:07 AM
Updated November 10, 2020 at 10:59 AM
Resolved November 10, 2020 at 10:52 AM
Configure