vasco
Class CallSite<M,N,A>

java.lang.Object
  vasco.CallSite<M,N,A>

Type Parameters:

M - the type of a method

N - the type of a node in the CFG

A - the type of a data flow value

All Implemented Interfaces:

Comparable<CallSite<M,N,A>>

public class CallSite<M,N,A>
extends Object
implements Comparable<CallSite<M,N,A>>

A context-sensitive location of a method invocation.

A call-site is a uniquely identified by the calling context and the node containing the call statement.

Author:

Rohan Padhye

Constructor Summary

CallSite(Context<M,N,A> callingContext, N callStmt)
Constructs a new call site with the given parameters.

Method Summary

int	compareTo(CallSite<M,N,A> other) Call-sites are ordered by the ordering of their context's IDs.
boolean	equals(Object obj)
Context<M,N,A>	getCallingContext() Returns the value context at this call-site.
N	getCallNode() Returns the calling node.
int	hashCode()
String	toString() Returns a string representation of this call-site.

Methods inherited from class java.lang.Object

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

Constructor Detail

CallSite

public CallSite(Context<M,N,A> callingContext,
                N callStmt)

Constructs a new call site with the given parameters.

Method Detail

compareTo

public int compareTo(CallSite<M,N,A> other)

Call-sites are ordered by the ordering of their context's IDs. This functionality is useful in the framework's internal methods where ordered processing of newer contexts first helps speed up certain operations.

Specified by:

compareTo in interface Comparable<CallSite<M,N,A>>

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getCallingContext

public Context<M,N,A> getCallingContext()

Returns the value context at this call-site.

Returns:

the value context at this call-site

getCallNode

public N getCallNode()

Returns the calling node.

Returns:

the calling node

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Returns a string representation of this call-site.

Overrides:

toString in class Object

Returns:

a string representation of this call-site