org.checkerframework.dataflow.cfg.playground

Class ReachingDefinitionPlayground

java.lang.Object

org.checkerframework.dataflow.cfg.playground.ReachingDefinitionPlayground

public class ReachingDefinitionPlayground
extends Object

The playground of reaching definition analysis.

Constructor Summary

Constructors

Constructor and Description
ReachingDefinitionPlayground()

Method Summary

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

ReachingDefinitionPlayground

public ReachingDefinitionPlayground()

Method Detail

main

public static void main(String[] args)

Run reaching definition analysis for a specific file and create a PDF of the CFG in the end.

Parameters:

args - input arguments, not used