[build] Fix for antlr#3403 -- Add static type checking of grammars: u…

…seless parentheses. (antlr#3498) * Fix for antlr#3403 * Add newline to show how static type check works on a grammar. * Update to test. * Updates to separate static checks into separate machine.
ris58h · Jun 11, 2023 · 354f608 · 354f608
1 parent 7c60408
commit 354f608
Show file tree

Hide file tree

Showing 5 changed files with 460 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -210,3 +210,102 @@ jobs:
             After="${{github.event.after}}"
         fi
         bash _scripts/test.sh -a /tmp/antlr4-complete.jar -t ${{matrix.language}} -f diff $Before $After
+
+  static-checks:
+    runs-on: ${{ matrix.os }}
+    strategy:
+      fail-fast: false
+      matrix:
+        os: [ ubuntu-latest]
+        language: [ CSharp ]
+    steps:
+    - name: Info
+      shell: bash
+      run: |
+        arch
+        uname -a
+        if [ -f /proc/cpuinfo ]; then cat /proc/cpuinfo; fi
+    - name: Checkout
+      uses: actions/checkout@v3
+      with:
+        fetch-depth: 0
+    - name: Install Dotnet
+      uses: actions/setup-dotnet@v3.2.0
+      with:
+        dotnet-version: '7.0.x'
+    - name: Test Dotnet
+      run: |
+        dotnet --version
+        dotnet --info
+        dotnet --list-runtimes
+        dotnet --list-sdks
+    - name: Install Java
+      uses: actions/setup-java@v3
+      with:
+        java-version: '11'
+        distribution: 'zulu'
+    - name: Test Java
+      run: |
+        dotnet --version
+        java --version
+        javac --version
+    - name: Install Dart
+      if: ${{ matrix.language == 'Dart' }}
+      uses: dart-lang/setup-dart@v1
+    - name: Test Dart
+      if: ${{ matrix.language == 'Dart' }}
+      run: |
+        dart --version
+    - name: Install Go
+      if: ${{ matrix.language == 'Go' }}
+      uses: actions/setup-go@v4
+      with:
+        go-version: '^1.18.0'
+    - name: Test Go
+      if: ${{ matrix.language == 'Go' }}
+      run: |
+        go version
+    - name: Install Python
+      uses: actions/setup-python@v4.6.1
+      with:
+        python-version: '3.10'
+    - name: Test Python
+      run: |
+        python --version
+    - name: Upgrade Pip.
+      run: |
+        python -m ensurepip --upgrade
+    - name: Test Pip.
+      run: |
+        pip --version
+    - name: Install Antlr tool
+      run: |
+         pip install antlr4-tools
+    - name: Install JavaScript
+      if: ${{ matrix.language == 'JavaScript' }}
+      uses: actions/setup-node@v3.6.0
+      with:
+        node-version: '16.13.0'
+    - name: Test JavaScript
+      if: ${{ matrix.language == 'JavaScript' }}
+      run: |
+        node --version
+    - name: Install Trash
+      shell: bash
+      run: |
+        dotnet tool restore
+    - name: Test Trash install
+      shell: bash
+      run: |
+        dotnet trgen -- --help
+    - name: Test
+      shell: bash
+      run: |
+        if [ "${{github.event_name}}" == "pull_request" ]; then
+            Before="${{github.event.pull_request.base.sha}}"
+            After="${{github.event.pull_request.head.sha}}"
+        else
+            Before="${{github.event.before}}"
+            After="${{github.event.after}}"
+        fi
+        bash _scripts/test-static-checks.sh -t ${{matrix.language}} -f diff $Before $After