org.checkerframework.dataflow.cfg.playground

Class LiveVariablePlayground

java.lang.Object

org.checkerframework.dataflow.cfg.playground.LiveVariablePlayground

public class LiveVariablePlayground
extends Object

The playground of live variable analysis.

Constructor Summary

Constructors

Constructor and Description
LiveVariablePlayground()

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args) Run live variable analysis 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

LiveVariablePlayground

public LiveVariablePlayground()

Method Detail

main

public static void main(String[] args)

Run live variable analysis for a specific file and create a PDF of the CFG in the end.

Parameters:

args - input arguments