runtimeverification/javamop — pull request #44 by Databean (2014-07-23 17:11:02+00:00)
Title: Use RVM Parser

Builds on #43, and depends on https://github.com/runtimeverification/rv-monitor/pull/75.

Unfortunately this still leaves in the JavaMOP AST classes, which duplicate a lot of the RV-Monitor AST classes but have diverged (mostly in the event definitions). It will take more work to use the RV-Monitor AST classes and drop the JavaMOP ones.