de.rwth.i2.attestor.semantics.jimpleSemantics.translation

Class TarjanAlgorithm

java.lang.Object

de.rwth.i2.attestor.semantics.jimpleSemantics.translation.TarjanAlgorithm

public class TarjanAlgorithm
extends Object

Constructor Summary

Constructors

Constructor and Description
TarjanAlgorithm()

Method Summary

Modifier and Type	Method and Description
void	addCallEdge(Method caller, Method callee)
void	addMethodAsVertex(Method method)
void	markRecursiveMethods()

Methods inherited from class java.lang.Object

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

Constructor Detail

TarjanAlgorithm

public TarjanAlgorithm()

Method Detail

addMethodAsVertex

public void addMethodAsVertex(Method method)

addCallEdge

public void addCallEdge(Method caller,
                        Method callee)

markRecursiveMethods

public void markRecursiveMethods()