...
| Final Array & Anonymous Class | Generic Constructors | Capture Conversion Idiom | Overloaded Methods Sharing Single Type | Covariant Arrays | Rethrown Exception |
|---|---|---|---|---|---|---|
JTL |
| X | X |
| X | X |
BBQ | X | X | X | ? | X | X |
SOUL |
|
|
|
|
|
|
JQuery | X | X | X ? | X (*1) | X | X |
.QL (*2) | ✓ | ? | ? | ? | ✓ | ? |
Jackpot |
|
|
|
|
|
|
PMD |
|
|
|
| X |
|
*1: can find overloaded methods but not sharing single type: method(?C, ?M1), method(?C, ?M2), likeThis(?M1, ?M2)
*2: .QL documentation & tool is kept secretive for competitive advantage protection
Covariant Arrays
- no support for statement level information
...
- http://jquery.cs.ubc.ca/documentation/toc.html
- http://jquery.cs.ubc.ca/documentation/appendix2.html
- variable binding through predicates
Wiki Markup support for read & mutationefftects of fields (write) \[writes(?B,?F,?L) means: "Block ?B writes to field ?F at location ?L"\]
- no structural (statement) matching (e.g pattern match on a loop or body of a method)
- no generics support
- no quantifiers
| Wiki Markup |
|---|
*+.QL \[authors emailed\]+* |
...
Overview
Content Tools
ThemeBuilder