name in contract should refer to logic function, if defined, even in presence of homonymous C++ method
ID0002058: This issue was created automatically from Mantis Issue 2058. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002058 | Frama-Clang | Plug-in > clang | public | 2015-01-22 | 2015-02-14 |
| Reporter | Jochen | Assigned To | virgile | Resolution | fixed |
| Priority | low | Severity | feature | Reproducibility | always |
| Platform | Neon-20140301+dev-STANCE-Jan2015 | OS | - | OS Version | xubuntu-cfe13.10 |
| Product Version | - | Target Version | - | Fixed in Version | - |
Description :
output:
439.cpp:7:27: calls to functions/methods like 'size' are not allowed Now output intermediate result
However, "size" in line 7 was intended to refer to the logic function from line 4, not to the C++ method of line 5. In fact, line 4 was added just because it isn't yet possible to refer to the "size" from line 5 in a contract.
(Low priority: eventually, the logic function from line 4 will be redundant; for the time being, a workaround is e.g. prefixing all logic functions with "l")