org.checkerframework.dataflow.cfg.playground

Class ConstantPropagationPlayground

java.lang.Object

org.checkerframework.dataflow.cfg.playground.ConstantPropagationPlayground

public class ConstantPropagationPlayground
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ConstantPropagationPlayground()

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args) Run constant propagation for a specific file and create a PDF of the CFG in the end.

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstantPropagationPlayground

public ConstantPropagationPlayground()

Method Detail

main

public static void main(java.lang.String[] args)

Run constant propagation for a specific file and create a PDF of the CFG in the end.