Page History

...

•  no working Eclipse plugin found. (authors emailed)
• argument list pattern (sec 2.2) public _ (_, String, *) : any public method that accept a String as its second argument and returns any type
• quantifiers: no, all, exists...
• anonymous class
• pattern naming (integral := byte | short | int | long)
• variable binding
• no structural matching of AST (deemed difficult because uses class files) (so can't look match on a loop for example or find all local variables in method)

• Wiki Markup
  read\[F\]/write\[F\] predicates to indicate whether a method reads/write to a field. Nice feature: write\[_\] tells whether method writes to a field at all. Q: How do we do this recursively? All methods within the method are not writing to fields...

• no support for generics (according to documentation)

...