joeq.Compiler.Analysis.Primitive
Class PrimitiveMethodSummary.CallSite

java.lang.Object
  joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.CallSite

Enclosing class:

PrimitiveMethodSummary

public static class PrimitiveMethodSummary.CallSite
extends Object

Represents a particular call site in a method.

Constructor Summary

PrimitiveMethodSummary.CallSite(PrimitiveMethodSummary caller, ProgramLocation m)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

PrimitiveMethodSummary.CallSite

public PrimitiveMethodSummary.CallSite(PrimitiveMethodSummary caller,
                                       ProgramLocation m)

Method Detail

getCaller

public PrimitiveMethodSummary getCaller()

getLocation

public ProgramLocation getLocation()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(PrimitiveMethodSummary.CallSite that)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object