VerveineJ Dockerfile

This docker file configures VerveineJ to be used with the local system

It automatically uses VerveineJ with the good Java version.

Releases

tag name	release
main	Last release of this docker with latest VerveineJ
latest	Latest VerveineJ release (potentially not with latest docker option)
vX.X.X	Follow VerveineJ releases

Command line

To run this docker, first, separate the sources and the dependency into two different folders. Then execute the following command:

docker pull ghcr.io/evref-bl/verveinej:latest
docker run -v <full/path/toSource>:/src [-v <full/path/toDependency>:/dependency] ghcr.io/evref-bl/verveinej:latest <verveineJOption>

Note1: The option -v <full/path/toDependency>:/dependency binds (or mounts) a directory on the host computer to the dependency directory in the docker virtual machine. VerveineJ-Docker automatically uses this repository

Note2: Similarly -v <full/path/toSource>:/src (-v for -volume) binds a directory on the host computer to the src directory in the docker virtual machine. VerveineJ in the docker image runs inside this src directory. Therefore, it parses any Java file in src.

Example

Basic example using docker desktop

docker run --rm -v D:\Users\benoit.verhaeghe\Documents\git\badetitou\Carrefour\testing\src\:/src ghcr.io/evref-bl/verveinej:latest -format json -o testoutput.json

Another example with docker in Window without docker desktop but with docker in wsl2 (see this blog post)

docker run --rm -v "/mnt/d/Developpement/git/evol-critics:/src" ghcr.io/evref-bl/verveinej:latest -Xmx16g -- -format json -alllocals -anchor assoc -o output.json

GitLab example

parse:
  stage: parse
  image:     
    name: ghcr.io/evref-bl/verveinej:v3.2.3
    entrypoint: [""]
  needs:
  script:
    - java -jar VerveineJ.jar -format json -o model.json -alllocals -anchor assoc -autocp ./repo ./src
  artifacts:
    paths:
      - model.json
  only:
  - ci-backend

GitHub example

Use the VerveineJ docker image in a GitHub action (example for version v3.2.3)

name: My CI

on:
  push:
    branches: [ main ]

jobs:
  build:
    runs-on: ubuntu-latest
    strategy:
      fail-fast: false
      matrix:
        smalltalk: [  Moose64-10 ]
    name: ${{ matrix.smalltalk }}
    steps:
      - uses: actions/checkout@v3
        with:
          fetch-depth: '0'
      - uses: addnab/docker-run-action@v3
        with:
          registry: ghcr.io
          image:  ghcr.io/evref-bl/verveinej:v3.2.3
          options: -v ${{ github.workspace }}:/src
          run: |
            cd tests
            java -jar VerveineJ.jar -format json -o output.json -alllocals -anchor assoc .
            cd ..