Package org.checkerframework.dataflow.cfg.playground

Class LiveVariablePlayground

  • public class LiveVariablePlayground
extends java.lang.Object
    The playground of live variable analysis.

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static void main​(java.lang.String[] args)
      Run live variable analysis on a file.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Method Detail

      • main

        public static void main​(java.lang.String[] args)
        Run live variable analysis on a file.
        Parameters:
        args - command-line arguments