joeq.Compiler.Analysis.IPSSA.Apps
Class ReachabilityTracerApp.PAReachabilityTracerApp

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.IPSSABuilder.Application
      joeq.Compiler.Analysis.IPSSA.Apps.ReachabilityTracerApp
          joeq.Compiler.Analysis.IPSSA.Apps.ReachabilityTracerApp.PAReachabilityTracerApp

All Implemented Interfaces:

java.lang.Runnable

Enclosing class:

ReachabilityTracerApp

public static class ReachabilityTracerApp.PAReachabilityTracerApp
extends ReachabilityTracerApp

This one uses PA results directly.

Nested Class Summary

Nested classes/interfaces inherited from class joeq.Compiler.Analysis.IPSSA.Apps.ReachabilityTracerApp

ReachabilityTracerApp.IPSSAReachabilityTracerApp, ReachabilityTracerApp.PAReachabilityTracerApp

Constructor Summary

ReachabilityTracerApp.PAReachabilityTracerApp()

Method Summary

void	initialize()
void	test() Get a BDD for the return node of method.

Methods inherited from class joeq.Compiler.Analysis.IPSSA.Apps.ReachabilityTracerApp

run

Methods inherited from class joeq.Compiler.Analysis.IPSSA.IPSSABuilder.Application

create, getName

Methods inherited from class java.lang.Object

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

Constructor Detail

ReachabilityTracerApp.PAReachabilityTracerApp

public ReachabilityTracerApp.PAReachabilityTracerApp()

Method Detail

initialize

public void initialize()

test

public void test()

Get a BDD for the return node of method.