public class CallEdge<Field,Fact,Stmt,Method>
extends java.lang.Object
Constructor and Description |
---|
CallEdge(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> callerAnalyzer,
WrappedFactAtStatement<Field,Fact,Stmt,Method> factAtCallSite,
WrappedFact<Field,Fact,Stmt,Method> calleeSourceFact) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
WrappedFact<Field,Fact,Stmt,Method> |
getCalleeSourceFact() |
PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> |
getCallerAnalyzer() |
WrappedFact<Field,Fact,Stmt,Method> |
getCallerCallSiteFact() |
WrappedFact<Field,Fact,Stmt,Method> |
getCallerSourceFact() |
Stmt |
getCallSite() |
int |
hashCode() |
void |
registerInterestCallback(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> interestedAnalyzer) |
java.lang.String |
toString() |
public CallEdge(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> callerAnalyzer, WrappedFactAtStatement<Field,Fact,Stmt,Method> factAtCallSite, WrappedFact<Field,Fact,Stmt,Method> calleeSourceFact)
public WrappedFact<Field,Fact,Stmt,Method> getCalleeSourceFact()
public WrappedFact<Field,Fact,Stmt,Method> getCallerCallSiteFact()
public WrappedFact<Field,Fact,Stmt,Method> getCallerSourceFact()
public Stmt getCallSite()
public PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> getCallerAnalyzer()
public void registerInterestCallback(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> interestedAnalyzer)
public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object