Linter

# Toutes les vérifications (syntaxe + style + sémantique)
catnip lint script.cat

# Multiple fichiers
catnip lint *.cat
catnip lint src/*.cat tests/*.cat

# Syntaxe seulement (rapide)
catnip lint -l syntax script.cat

# Style seulement
catnip lint -l style script.cat

# Sémantique seulement
catnip lint -l semantic script.cat

# Tout (défaut)
catnip lint -l all script.cat

# Pipe
echo 'x = y + 1' | catnip lint --stdin

# Fichier via cat
cat script.cat | catnip lint --stdin

# Affiche "OK" pour les fichiers sans problème
catnip -v lint script.cat

$ echo 'x = 1 +' | catnip lint --
<stdin>:1:1: error [E100]: Unexpected end-of-input

$ echo 'x=1+2  ' | catnip lint -l style --
<stdin>:1:1: warning [W200]: Line differs from formatted version
<stdin>:1:6: warning [W201]: Trailing whitespace

$ echo 'y = x * 2' | catnip lint --
<stdin>:1:1: error [E300]: Name 'x' is not defined

$ echo 'x = 42' | catnip lint --
<stdin>:1:1: warning [W310]: Variable 'x' is defined but never used

$ cat broken.cat
factorial = (n) => {
    if n <= 1 { 1 }
    else { n * factorial(n - 1)  # missing }
}

$ catnip lint broken.cat
broken.cat:4:1: error [E101]: Unexpected token: '}'

$ cat issues.cat
x = 42
y = z + 1
result = x * 2

$ catnip lint issues.cat
issues.cat:1:1: error [E300]: Name 'z' is not defined
issues.cat:1:1: warning [W310]: Variable 'y' is defined but never used

$ cat clean.cat
factorial = (n) => {
    if n <= 1 { 1 }
    else { n * factorial(n - 1) }
}
print(factorial(5))

$ catnip -v lint clean.cat
clean.cat: OK

No issues found

name: Lint
on: [push, pull_request]

jobs:
  lint:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: actions/setup-python@v5
        with:
          python-version: '3.12'
      - run: pip install catnip
      - run: catnip lint src/*.cat

lint:
  image: python:3.12
  script:
    - pip install catnip
    - catnip lint **/*.cat

#!/bin/bash
for file in $(git diff --cached --name-only --diff-filter=ACM | grep '\.cat$'); do
    if ! catnip lint -l syntax "$file"; then
        echo "Lint failed for $file"
        exit 1
    fi
done

from catnip.tools import lint_code, lint_file

# Depuis une string
result = lint_code('x = y + 1')
print(result.has_errors)  # True
print(result.summary())   # "1 error"

for diag in result.diagnostics:
    print(f"{diag.line}:{diag.column} [{diag.code.value}] {diag.message}")

# Depuis un fichier
from pathlib import Path
result = lint_file(Path('script.cat'))

from catnip.tools import Linter

# Syntaxe seulement
linter = Linter(check_syntax=True, check_style=False, check_semantic=False)

# Style seulement
linter = Linter(check_syntax=False, check_style=True, check_semantic=False)

# Tout
linter = Linter()  # défaut: tout activé

result = linter.lint(source_code)

from catnip.tools.linter import Severity, DiagnosticCode

result = lint_code(source)

# Filtrer par sévérité
errors = result.errors      # Severity.ERROR
warnings = result.warnings  # Severity.WARNING

# Filtrer par code
undefined = [d for d in result.diagnostics
             if d.code == DiagnosticCode.E300_UNDEFINED_NAME]

# Formater avec contexte
for diag in result.diagnostics:
    print(diag.format_rich(source.splitlines()))

Source → Tree-sitter Parser → Parse Tree (ou erreur)

Source → Formatter → Formatted Source
Source vs Formatted → Différences ligne par ligne

Parse Tree → Transformer → IR
IR → Visitor → Diagnostics