Package 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	Description
LiveVariablePlayground()

Method Summary

Modifier and Type	Method	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 Details

LiveVariablePlayground

public LiveVariablePlayground()

Method Details

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 - command-line arguments, not used