public static interface LDTInput.LDTInputListener
void
reportStatus(java.lang.String status, int progress)
void reportStatus(java.lang.String status, int progress)
Copyright © 2003-2019 The KeY-Project.