CLASSNAME::PREDICATENAME not recognized as predicate (or even as term)
ID0001944: This issue was created automatically from Mantis Issue 1944. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001944 | Frama-Clang | Plug-in > clang | public | 2014-10-30 | 2015-04-15 |
| Reporter | Jochen | Assigned To | virgile | Resolution | open |
| Priority | normal | Severity | feature | Reproducibility | always |
| Platform | frama-c-Neon-20140301+dev-stance | OS | xubuntu-cfe13.10 | OS Version | - |
| Product Version | - | Target Version | - | Fixed in Version | - |
Description :
output:
113.cpp:13:28: expecting a term or predicate 113.cpp:13:28: the term is not a predicate Now output intermediate result
Note that the 2nd message claims a term while the 1st denies a term; no message should appear. If the prefix "Queue::" is omitted in line 10 before "IsValid", no message is issued, while "unknown identifier 'IsValid'" should be reported. If the definition of Queue() and its contract are moved inside the class, no message is issued, which is ok.
Probably related to issue #1606 (closed).