Package org.checkerframework.dataflow.cfg.playground

Class BusyExpressionPlayground

java.lang.Object

org.checkerframework.dataflow.cfg.playground.BusyExpressionPlayground

public class BusyExpressionPlayground
extends Object

The playground for busy expression analysis

Constructor Summary

Constructors

Constructor	Description
BusyExpressionPlayground()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Run busy expression analysis playground on a test file and print the CFG graph

Methods inherited from class java.lang.Object

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

Constructor Details

BusyExpressionPlayground

public BusyExpressionPlayground()

Method Details

main

public static void main(String[] args)

Run busy expression analysis playground on a test file and print the CFG graph

Parameters:

args - input arguments