...
Wiki Markup *\[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
...
Overview
Content Tools
ThemeBuilder