fm-playground/.pre-commit-config.yaml at main · fm4se/fm-playground · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
# Pre-commit hooks for Java (alloy-api), TypeScript/JavaScript (frontend), and Python (backend + APIs)
# See https://pre-commit.com for more information
repos:
  # General hooks
  - repo: https://github.com/pre-commit/pre-commit-hooks
    rev: v4.6.0
    hooks:
      - id: trailing-whitespace
        files: ^(alloy-api|frontend|backend|z3-api|spectra-api|limboole-api|nuxmv-api|limboole-diff-api|smt-diff-api)/.*
        exclude: ^.*(node_modules|dist|build|tools/.*/generated|frontend/public)/.*
      - id: end-of-file-fixer
        files: ^(alloy-api|frontend|backend|z3-api|spectra-api|limboole-api|nuxmv-api|limboole-diff-api|smt-diff-api)/.*
        exclude: ^.*(node_modules|dist|build|tools/.*/generated|frontend/public)/.*
      - id: check-merge-conflict
        files: ^(alloy-api|frontend|backend|z3-api|spectra-api|limboole-api|nuxmv-api|limboole-diff-api|smt-diff-api)/.*
        exclude: ^.*(node_modules|dist|build|tools/.*/generated|frontend/public)/.*
      - id: check-added-large-files
        args: ['--maxkb=1000']
        files: ^(alloy-api|frontend|backend|z3-api|spectra-api|limboole-api|nuxmv-api|limboole-diff-api|smt-diff-api)/.*
        exclude: ^.*(node_modules|dist|build|tools/.*/generated|frontend/public)/.*
      - id: check-json
        files: ^(frontend|backend|z3-api|spectra-api|limboole-api|nuxmv-api|limboole-diff-api|smt-diff-api)/.*\.json$
        exclude: ^.*(frontend/public|language-configuration\.json|tsconfig\.json).*
      - id: check-yaml
        files: ^(frontend|backend|z3-api|spectra-api|limboole-api|nuxmv-api|limboole-diff-api|smt-diff-api)/.*\.ya?ml$
      - id: check-toml
        files: ^(backend|z3-api|spectra-api|limboole-api|nuxmv-api|limboole-diff-api|smt-diff-api)/.*\.toml$

  # Java formatting with Google Java Format
  - repo: https://github.com/macisamuele/language-formatters-pre-commit-hooks
    rev: v2.13.0
    hooks:
      - id: pretty-format-java
        args: [--autofix]
        files: ^alloy-api/.*\.java$

  # Python formatting and linting
  - repo: https://github.com/psf/black
    rev: 24.4.2
    hooks:
      - id: black
        language_version: python3
        files: ^(backend|z3-api|spectra-api|limboole-api|nuxmv-api|limboole-diff-api|smt-diff-api)/.*\.py$

  - repo: https://github.com/pycqa/isort
    rev: 5.13.2
    hooks:
      - id: isort
        args: ["--profile", "black"]
        files: ^(backend|z3-api|spectra-api|limboole-api|nuxmv-api|limboole-diff-api|smt-diff-api)/.*\.py$

  - repo: https://github.com/pycqa/flake8
    rev: 7.1.0
    hooks:
      - id: flake8
        args: ['--max-line-length=100', '--extend-ignore=E203,W503,E501,E402']
        files: ^(backend|z3-api|spectra-api|limboole-api|nuxmv-api|limboole-diff-api|smt-diff-api)/.*\.py$


  # TypeScript/JavaScript formatting with Prettier (using frontend config)
  - repo: local
    hooks:
      - id: prettier-frontend-check
        name: Prettier Check Frontend
        entry: npx --prefix frontend prettier --config frontend/.prettierrc --check
        language: system
        files: ^frontend/.*\.(ts|tsx|js|jsx|json|css|scss|html|md)$
        exclude: ^.*(node_modules|dist|build|tools/.*/generated|frontend/public)/.*
        pass_filenames: true
      - id: prettier-frontend-format
        name: Prettier Format Frontend
        entry: npx --prefix frontend prettier --config frontend/.prettierrc --write
        language: system
        files: ^frontend/.*\.(ts|tsx|js|jsx|json|css|scss|html|md)$
        exclude: ^.*(node_modules|dist|build|tools/.*/generated|frontend/public)/.*
        pass_filenames: true

  # TypeScript/JavaScript linting with ESLint
  - repo: local
    hooks:
      - id: eslint-frontend
        name: ESLint Frontend
        entry: bash -c 'cd frontend && npm run lint'
        language: system
        files: ^frontend/.*\.(ts|tsx|js|jsx)$
        exclude: ^frontend/(node_modules|dist|public)/.*
        pass_filenames: false

  # Custom hook for Gradle Spotless check
  - repo: local
    hooks:
      - id: spotless-check
        name: Spotless Check
        entry: bash -c 'cd alloy-api && ./gradlew spotlessCheck'
        language: system
        files: ^alloy-api/.*\.(java|gradle)$
        pass_filenames: false