Visual Examples

This project contains sample b-programs whose execution and verification an be examined visually.

Currently, it provides a "playground" for running and verifying maze models.

This program may also serve as an example of using BPjs in a "normal" application.

Running from the commandline:

Maven Project:

mvn exec:java

Running maze simulation:

Finding maze solution using verification:

This project uses BPjs.
BPjs uses the Mozilla Rhino Javascript engine. See here for project page and source code.
Syntax coloring done using RSyntaxTextArea
The application UI is done using the standard Java Swing library.