Behavioral up/down casting for statically typed languages (Tool artifact)

Software requirements

* Docker

* GNU Bash

Getting Started

* Open Docker Desktop with your GUI: this will launch the daemon.

* Open a shell.

Shell instructions

1. Import the image provided into docker:

  * `docker load -i behavioral-casting-tool.tar`

2. Run the docker image:

  * `docker run -it behavioral-casting-tool:latest`

3. A prompt of the form `root@8de54d614a6d:/tool/example#` should be opened. Now run:

  * `./run.sh`

Expected output

The tool verifies all the Java code in the folder `/tool/example`, including the main classes `ClientCode` and `WrongClientCode`.

The `ClientCode.java` file contains well-behaved code (as presented in the paper), so no error should be reported on it.

The `WrongClientCode.java` file contains ill-behaved code, so errors should be reported on it.

In summary, the expected tool output for the given example is the following:

```

WrongClientCode.java:9: error: [suv] did not complete its protocol (found: State{SUV, COMF_ON})

  public static void example2() { // The tool should report an error here about protocol completion

                     ^

WrongClientCode.java:6: error: Cannot call [switchMode] on State{SUV, OFF}

    f.switchMode(); // The tool should report an error here about protocol compliance

                ^

2 errors

```