de.uka.ilkd.key.proof

Class ObserverWithType

java.lang.Object

de.uka.ilkd.key.proof.ObserverWithType

public class ObserverWithType
extends java.lang.Object

Author:

christoph

Field Summary

Fields

Modifier and Type	Field and Description
KeYJavaType	kjt
IObserverFunction	obs

Constructor Summary

Constructors

Constructor and Description
ObserverWithType(KeYJavaType kjt, IObserverFunction obs)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Detail

kjt

public final KeYJavaType kjt

obs

public final IObserverFunction obs

Constructor Detail

ObserverWithType

public ObserverWithType(KeYJavaType kjt,
                        IObserverFunction obs)

Method Detail

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object