public class ObserverWithType extends Object
Modifier and Type | Field and Description |
---|---|
KeYJavaType |
kjt |
IObserverFunction |
obs |
Constructor and Description |
---|
ObserverWithType(KeYJavaType kjt,
IObserverFunction obs) |
public final KeYJavaType kjt
public final IObserverFunction obs
public ObserverWithType(KeYJavaType kjt, IObserverFunction obs)