An RPC system/REST API for VDMJ
This is currently WIP, commits may include errors
To compile run:
mvn clean install
Use the JAR named:
vdmj-remote-<version>-shaded.jar
The CLI args are as follows:
--help, -h
Print this help dialogue
--ipcAddress, -i
Address to connect to for JSON communication with parent process, must
match '<hostname>:<port>'
--port, -p
Port to bind on, if 0 random port will be used
Default: 0
* --sourcePath, -s
Source as a path, dir/files
* --type, -t
Source type ([vdmrt, vdmsl, vdmpp])
For example:
java -jar vdmj-remote-1.0-SNAPSHOT-shaded.jar -p 8080 -t vdmsl --sourcePath Conway.vdmsl
To embed a webpage atop a script, use the @WebGUI(<nick>, <path>) annotation, as demonstrated in
example/conway_web/Conway.vdmsl replacing the path with the absolute
path to your static web content folder (e.g. build for Node or www for legacy web development).
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent