Package org.mpi_sws.jmc.strategies.trust

Class Location

java.lang.Object

org.mpi_sws.jmc.strategies.trust.Location

public class Location
extends Object

Constructor Summary

Constructors

Constructor	Description
Location(Object instance, String param)

Method Summary

Modifier and Type	Method	Description
static Location	fromRuntimeEvent(JmcRuntimeEvent runtimeEvent)
int	hashCode()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Location

public Location(Object instance,
 String param)

Method Details

fromRuntimeEvent

public static Location fromRuntimeEvent(JmcRuntimeEvent runtimeEvent)

hashCode

public int hashCode()

Overrides:

hashCode in class Object