Page History

...

*\[This section is work in progress\]*

Query Language Features

• Model: Relational vs Tree
• variable binding (unification) & back-reference
• quantifiers (forall, exists, no)
• predicates
• set operators
• support for dataflow (Read/write references...)
• aggregates (grouping results)
• List pattern matching (i.e JTL style for argument list)
• behavioural pattern matching (SOUL like, Jackpot)
• quantifiers (forall, exists, no)
• aggregate operators
• behavioural template matching
• list pattern matching (parameters, generics)
• querying stylequerying style: logic, query-by-example, path, sql

Java Language Features supported

• Attributed AST Nodes
• control flow statements
• type information of AST nodes
• type constraints (subtype relations)local variables
• generics / wildcards
• anonymous class

...