sandmark.util.controlflowgraph
Class NullNENullCallGenerator

java.lang.Object
  |
  +--sandmark.util.controlflowgraph.CallGenerator
        |
        +--sandmark.util.controlflowgraph.NullNENullCallGenerator

public class NullNENullCallGenerator

extends CallGenerator

Constructor Summary

NullNENullCallGenerator()

Method Summary

void	addPhantomCall(ProgramCFG programCFG, MethodCFG srcMethod, Edge srcEdge, MethodCFG destMethod)

Methods inherited from class java.lang.Object

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

Constructor Detail

NullNENullCallGenerator

public NullNENullCallGenerator()

Method Detail

addPhantomCall

public void addPhantomCall(ProgramCFG programCFG,
                           MethodCFG srcMethod,
                           Edge srcEdge,
                           MethodCFG destMethod)

Specified by:

addPhantomCall in class CallGenerator