...
- http://www.ing.iac.es/~docs/external/java/pmd/rules/design.html
- http://code.google.com/p/code-cop-code/wiki/PmdRulesCodecop
- structural matching: all AST hiearchy can be queried through Xpath expression
- can't express subtype relations. E.g. assignments where RHS is supertype of left handside and different
- no variable binding
- support generic constructors but not bind it to enclosing class: //ConstructorDeclaration//TypeParameters
- no support for read/write effects
Taxonomy
- Model: Relational vs Tree
- control flow statements
- variable binding & cross reference
- types information of AST nodes + type constraints
- set operators
- generics / wildcards
- read/write references
- anonymous class
- aggregates (grouping results)
- pattern matching? (i.e JTL style for argument list, SOUL like for AST matching)
- universal quantifiers (forall, exists, no)
- querying style
...
Overview
Content Tools
ThemeBuilder