Class BusyExpressionPlayground

java.lang.Object
org.checkerframework.dataflow.cfg.playground.BusyExpressionPlayground

public class BusyExpressionPlayground extends Object
The playground for busy expression analysis. As an example, try dataflow/manual/examples/BusyExprSimple.java.
  • Method Details

    • main

      public static void main(String[] args)
      Run busy expression analysis on a file.
      Parameters:
      args - command-line arguments