View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
0000306 | mercury | Bug | public | 2013-12-18 06:12 | 2014-01-08 16:00 | ||||||||
Reporter | Pedro Mariano | ||||||||||||
Assigned To | juliensf | ||||||||||||
Priority | low | Severity | minor | Reproducibility | always | ||||||||
Status | confirmed | Resolution | open | ||||||||||
Product Version | |||||||||||||
Target Version | Fixed in Version | ||||||||||||
Summary | 0000306: Java grade and non alphabetic field name | ||||||||||||
Description | If the field name of some type starts with a digit, compiling in the java grade fails. I've attached a simple program to illustrate the bug. There is no problem compiling to C. | ||||||||||||
Tags | No tags attached. | ||||||||||||
Attached Files |
|
Relationships | ||||||
|
Notes | |
juliensf (administrator) 2014-01-08 16:00 |
This issue is that the Java backend (and indeed C# backend) do not perform name mangling of quoted names like the C backends. (One reason for this is that doing so would complicate interfacing with the generated Java code.) For the moment you should only use names that don't require quoting. |
Issue History | |||
Date Modified | Username | Field | Change |
---|---|---|---|
2013-12-18 06:12 | Pedro Mariano | New Issue | |
2013-12-18 06:12 | Pedro Mariano | File Added: javaField.m | |
2014-01-08 15:59 | juliensf | Relationship added | related to 0000165 |
2014-01-08 16:00 | juliensf | Note Added: 0000598 | |
2014-01-08 16:00 | juliensf | Assigned To | => juliensf |
2014-01-08 16:00 | juliensf | Status | new => confirmed |