name: Infer

on:
  - pull_request
  - workflow_dispatch
jobs:
  inferering:
    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@v3
        name: Checkout feature
        with:
          ref: ${{ github.event.pull_request.head.sha }}
      - name: Set up JDK 17
        uses: actions/setup-java@v3
        with:
          java-version: 17
          distribution: temurin
          cache: gradle
      - name: Setup Infer
        uses: srz-zumix/setup-infer@v1
      - name: Run Infer on feature
        run: |
          echo On commit $(git log --pretty=%s -1)
          mkdir -p ciwork
          infer capture -- ./gradlew clean test --no-daemon
          infer analyze
          cp infer-out/report.json ciwork/report-feature.json
      - uses: actions/checkout@v3
        name: Checkout base
        with:
          ref: ${{ github.event.pull_request.base.sha }}
          clean: false
      - name: Run Infer on base
        run: |
          echo On commit $(git log --pretty=%s -1)
          infer capture --reactive -- ./gradlew clean test --no-daemon
          infer analyze --reactive
      - name: Generate report
        run: |
          infer reportdiff --report-current ciwork/report-feature.json --report-previous infer-out/report.json
          jq -r '.[] | select(.severity == "ERROR") | ("::error file="+.file +",line=" +(.line|tostring)+"::" + .qualifier)' <infer-out/differential/introduced.json
          jq -r '.[] | select(.severity == "WARNING") | ("::warning file="+.file +",line=" +(.line|tostring)+"::" + .qualifier)' <infer-out/differential/introduced.json
          fixcount=$(jq -r "length" <infer-out/differential/fixed.json)
          unfixcount=$(jq -r "length" <infer-out/differential/introduced.json)
          othercount=$(jq -r "length" <infer-out/differential/preexisting.json)
          echo "This PR fixes $fixcount potential bug(s), introduces $unfixcount potential bug(s). (Total present in feature branch: $((unfixcount + othercount)))" >>$GITHUB_STEP_SUMMARY
          [[ $unfixcount != 0 ]] && exit 1 || echo ok.
