Commit 3f8fd8a6 authored by Sarah Grebing's avatar Sarah Grebing

minor bugfix

parent 50f70803
...@@ -63,7 +63,7 @@ public class KeYProofFacade { ...@@ -63,7 +63,7 @@ public class KeYProofFacade {
private SimpleObjectProperty<Contract> contract = new SimpleObjectProperty<>(); private SimpleObjectProperty<Contract> contract = new SimpleObjectProperty<>();
/** /**
* BooleanProperty inidcating whether KeY finished loading * BooleanProperty indicating whether KeY finished loading
*/ */
private BooleanBinding readyToExecute = proof.isNotNull(); private BooleanBinding readyToExecute = proof.isNotNull();
......
...@@ -349,9 +349,13 @@ public class DebuggerMain implements Initializable { ...@@ -349,9 +349,13 @@ public class DebuggerMain implements Initializable {
BooleanBinding disableStepping = FACADE.loadingProperty(). BooleanBinding disableStepping = FACADE.loadingProperty().
or(FACADE.proofProperty().isNull()). or(FACADE.proofProperty().isNull()).
or(model.interpreterStateProperty().isNotEqualTo(InterpreterThreadState.WAIT)); or(model.interpreterStateProperty().isNotEqualTo(InterpreterThreadState.WAIT));
FACADE.loadingProperty().addListener((observable, oldValue, newValue) -> {
scriptController.disablePropertyForAreasProperty().set(newValue); //set scriptareas to disable if loading is in process, as otherwise the scriptarea jumps
FACADE.readyToExecuteProperty().addListener((observable, oldValue, newValue) -> {
scriptController.disablePropertyForAreasProperty().set(!newValue);
}); });
/* model.statePointerProperty().addListener((observable, oldValue, newValue) -> { /* model.statePointerProperty().addListener((observable, oldValue, newValue) -> {
//set all steppings -> remove binding //set all steppings -> remove binding
...@@ -766,7 +770,7 @@ public class DebuggerMain implements Initializable { ...@@ -766,7 +770,7 @@ public class DebuggerMain implements Initializable {
task.setOnFailed(event -> { task.setOnFailed(event -> {
statusBar.stopProgress(); statusBar.stopProgress();
event.getSource().exceptionProperty().get(); event.getSource().exceptionProperty().get();
System.out.println("event.getSource().getMessage() = " + event.getSource().getMessage());
Utils.showExceptionDialog("Could not load sourceName", "Key sourceName loading error", "", Utils.showExceptionDialog("Could not load sourceName", "Key sourceName loading error", "",
(Throwable) event.getSource().exceptionProperty().get() (Throwable) event.getSource().exceptionProperty().get()
); );
......
...@@ -101,13 +101,16 @@ public class FileReloadingService extends TimerTask { ...@@ -101,13 +101,16 @@ public class FileReloadingService extends TimerTask {
Path child = dir.resolve(filename).toAbsolutePath(); Path child = dir.resolve(filename).toAbsolutePath();
try { try {
String content = FileUtils.readFileToString(child.toFile(), Charset.defaultCharset()); File file = child.toFile();
CONSOLE_LOGGER.info("Auto-reload {}", child); if(file != null) {
Platform.runLater(() -> { String content = FileUtils.readFileToString(file, Charset.defaultCharset());
if(callbacks.get(child)!= null) { CONSOLE_LOGGER.info("Auto-reload {}", child);
Platform.runLater(() -> {
if (callbacks.get(child) != null) {
callbacks.get(child).fileChanged(content); callbacks.get(child).fileChanged(content);
} }
}); });
}
} catch (IOException e) { } catch (IOException e) {
CONSOLE_LOGGER.catching(e); CONSOLE_LOGGER.catching(e);
} catch (NullPointerException npe){ } catch (NullPointerException npe){
......
...@@ -205,6 +205,12 @@ interactive rule applications. ...@@ -205,6 +205,12 @@ interactive rule applications.
</div> </div>
<div style="clear: both;"/> <div style="clear: both;"/>
<h2>Usage Notes</h2>
Terms in KPS are enquoted using backticks `.
Entering these in the editor of PDBG requires a
keyboard layout with the option "no dead keys" enabled.
If this is not possible the terms can be entered by using the shortcut Ctrl+E
which adds a pair of backticks to the cursor position.
<h2>Downloads</h2> <h2>Downloads</h2>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment