Class ReachingDefinitionPlayground

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

public class ReachingDefinitionPlayground extends Object
The playground for reaching definition analysis. As an example, try dataflow/manual/examples/ReachSimple.java.
  • Method Details

    • main

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