An implementation of the Program Understanding case study of TTC2011 in the EMF API of VIATRA2. The goal is to extract a state machine based on specific programming patterns used in a selected code base.

Some extensions are already implemented over the original specification:

• A query-based derived feature describing a back-link to the originating JaMoPP Java model element.
• A validation rule checking whether the model states all have a static method called Instance.

Requirements to try it out:

• EMF-IncQuery 0.8.0
• VIATRA2 EMF API
• JaMoPP and EMFText