TOPL
monitor Java programs, easy

Overview

APIs often come with temporal constraints, such as ‘method x.foo(y) must be called only after y.bar()’. 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.

  1. Get it, using one of the following:
  2. Look at examples. The tomcat properties are more interesting.
  3. Run it on a Java project:
    toplc propertyFile.topl -i inputDir -o outputDir
  4. Tell us about your experience: twit to us, leave a comment on our Google+ page, email us, or file an issue on GitHub.

Demo