Visualisation clients

To visualise the viewables of an annotated program, the library lib(java_vc) provides a Java based graphical visualisation client.

A new Java visualisation client (Java VC) can be started using the predicate start_vc/1. The single argument will return a unique name for the created client which can be used to close the client if required. While the Java VC is running, it will react automatically to the creation of viewables during ECLiPSe execution, but it cannot visualise viewables which were created before the Java VC was running.

Figure 3.1: The initial Java VC screen before any viewables have been created.