public interface LookupListener
void
update(java.lang.Class<?> clazz, Lookup lookup)
void update(java.lang.Class<?> clazz, Lookup lookup)
Copyright © 2003-2019 The KeY-Project.