Class ReachingDefinitionPlayground
java.lang.Object
org.checkerframework.dataflow.cfg.playground.ReachingDefinitionPlayground
The playground for reaching definition analysis. As an example, try
dataflow/manual/examples/ReachSimple.java
.-
Method Summary
-
Method Details
-
main
Run reaching definition analysis on a file.- Parameters:
args
- command-line arguments
-