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 java.lang.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(java.lang.Object o)
MethodSummary	getCaller()
ProgramLocation	getLocation()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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 java.lang.Object

equals

public boolean equals(MethodSummary.CallSite that)

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object