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 and Description
BusyExpressionPlayground()

Method Summary

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

BusyExpressionPlayground

public BusyExpressionPlayground()

Method Detail

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