Package org.checkerframework.dataflow.cfg.playground

Class ConstantPropagationPlayground

  • public class ConstantPropagationPlayground
extends java.lang.Object
    The playground for constant propagation analysis.

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static void main​(java.lang.String[] args)
      Run constant propagation 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 constant propagation analysis on a file.
        Parameters:
        args - command-line arguments