monitor Java programs, easy


APIs often come with temporal constraints, such as ‘method must be called only after’. Sometimes these are enforced at runtime: The library throws an exception if a constraint is broken. Sometimes the checks don't catch all bad usages, because that would be too slow.

Here is where TOPL comes in. Read more …

Try It

Be aware that the implementation is in very early stages. The easiest way to try it is to run it from docker:

  docker run -v $PWD:$PWD -ti rgrig/topl

You can also clone from GitHub.