OCL parser parses with wrong precedence

[wadoon]

This issue was created at git.key-project.org where the discussions are preserved.

---

• Mantis: MT-786

• Submitted on: 2007-02-17 by (at)pruemmer

• Updated: 2007-02-19

• Assigned to: (at)rbubel

Description

According to the OCL standard, "implies" is the operator with the least precedence. The expression
x >= 0 implies x >= -1 and x >= -2
however, is wrongly parsed as
(x >= 0 implies x >= -1) and x >= -2
Also see the attached example

Files

0786-tmp18.tar.gz

Notes

(at)rbubel at 2007-02-19

fixed in v0.2510

(at)pruemmer at 2007-02-19

Tusen tack!

History

• (at)pruemmer -- (NEW_BUG) 2007-02-17

• (at)pruemmer -- (FILE_ADDED) 2007-02-17

• (at)rbubel -- (NORMAL_TYPE) 2007-02-19

• (at)rbubel -- (NORMAL_TYPE) 2007-02-19

• (at)rbubel -- (NORMAL_TYPE) 2007-02-19

• (at)rbubel -- (BUGNOTE_ADDED) 2007-02-19

• (at)pruemmer -- (NORMAL_TYPE) 2007-02-19

• (at)pruemmer -- (BUGNOTE_ADDED) 2007-02-19

• (at)grahl -- (NORMAL_TYPE) 2014-01-03

Attributes

• Category: None
• Status: CLOSED
• Severity: MAJOR
• OS:
• Target Version:
• Resolution: FIXED
• Priority: HIGH
• Reproducibility: ALWAYS
• Platform:
• Commit: None
• Build: 0.2506
• Tags []
• Labels: ~Bug ~HIGH

---

View in Mantis

---

Information:

• created_at: 2017-05-29T02:27:19.591Z
• updated_at: 2017-05-29T02:27:21.504Z
• closed_at: 2017-05-29T02:27:21.435Z (closed_by: )
• milestone:
• user_notes_count: 0