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

Method Summary

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

ReachingDefinitionPlayground

public ReachingDefinitionPlayground()

Method Details

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