SuccessChanges

Summary

  1. Brings the VDM console of a launch to the front of the view (details)
  2. Adds support for DBGP messages and Rmoves dead code (details)
  3. Checks whether the DBGP response has a value to print (details)
Commit 1e83f91781fa30ea725a4bcec38022a37a956160 by idhugoid
Brings the VDM console of a launch to the front of the view

When a launch is made requesting an interactive session, the VDM console
does not always appear in the Eclipse console view. Instead the
Interpreter console is shown. This commit introduces a bring to front
call after the Interpreter has connected, thus its console should be
moved to the back.
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/launching/VdmLaunchConfigurationDelegate.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/DebugConsoleManager.java (diff)
Commit a46e1d4a049173c509e59f3225c0778fee31d915 by idhugoid
Adds support for DBGP messages and Rmoves dead code

Some answers in the DBGP neither contain a property element nor a
success attribute, thus list is Null.
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/commands/DbgpExtendedCommands.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/dbgp/commands/IDbgpExtendedCommands.java (diff)
Commit 7ef5f5117951b93852c578b0f9ddfd7e25364b33 by idhugoid
Checks whether the DBGP response has a value to print

Some of the commands executed in the launched interpreter return no
property value. (For instance a quit)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/IVdmStreamProxy.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmConsoleInputListener.java (diff)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/VdmStreamProxy.java (diff)