Package | Description |
---|---|
de.uka.ilkd.key.ui |
Modifier and Type | Method and Description |
---|---|
ProblemLoader |
AbstractMediatorUserInterfaceControl.getProblemLoader(java.io.File file,
java.util.List<java.io.File> classPath,
java.io.File bootClassPath,
java.util.List<java.io.File> includes,
KeYMediator mediator) |
Copyright © 2003-2019 The KeY-Project.