public interface Reapplicable
Modifier and Type | Method and Description |
---|---|
default void |
reapply(WindowUserInterfaceControl uic,
Goal goal) |
default void reapply(WindowUserInterfaceControl uic, Goal goal) throws java.lang.Exception
java.lang.Exception
Copyright © 2003-2019 The KeY-Project.