joeq.Compiler.Analysis.FlowInsensitive
Class MethodSummary.CallSite

java.lang.Object
  joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.CallSite

Enclosing class:

MethodSummary

public static class MethodSummary.CallSite
extends Object

Represents a particular call site in a method.

Constructor Summary

MethodSummary.CallSite(MethodSummary caller, ProgramLocation m)

Method Summary

boolean	equals(MethodSummary.CallSite that)
boolean	equals(Object o)
MethodSummary	getCaller()
ProgramLocation	getLocation()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

MethodSummary.CallSite

public MethodSummary.CallSite(MethodSummary caller,
                              ProgramLocation m)

Method Detail

getCaller

public MethodSummary getCaller()

getLocation

public ProgramLocation getLocation()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(MethodSummary.CallSite that)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object