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:

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

Field Summary

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

_def1_str, _def2_str

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

_builder

Constructor Summary

ReachabilityTracerApp.PAReachabilityTracerApp()

Method Summary

void	initialize()
protected void	printPath(String def1_str, String def2_str) This will be added by implementations.
void	test() Get a BDD for the return node of method.

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

parseParams, run

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

create, getBuilder, getName, setBuilder

Methods inherited from class java.lang.Object

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

Constructor Detail

ReachabilityTracerApp.PAReachabilityTracerApp

public ReachabilityTracerApp.PAReachabilityTracerApp()

Method Detail

initialize

public void initialize()

Overrides:

initialize in class IPSSABuilder.Application

printPath

protected void printPath(String def1_str,
                         String def2_str)

Description copied from class: ReachabilityTracerApp

This will be added by implementations.

Specified by:

printPath in class ReachabilityTracerApp

test

public void test()

Get a BDD for the return node of method.