adl-toolkit 0.0.0-stage → 0.1.3

package/adl_drift/lang/java/backend.py

@@ -0,0 +1,97 @@
+"""`LanguageBackend` for Java (P4.1/P4.2/P4.3/P4.4/P4.6/P4.7, PROBLEMS.md).
+
+Parser, symbol extraction, detectors, call resolution, CFG/taint, and
+project configuration are implemented.
+
+Cross-cutting persistence/CLI/MCP plumbing (P4.10) is not — P4.8 registers
+this backend for scanner and CLI/MCP discovery, but the CLI's def-use/taint
+passes (`cli/commands.py::_run_def_use_pass`/`_run_taint_pass`) are still
+scoped to Python files only; a Java caller drives `graph.cfg.analyze_function`
+/`detectors.taint.TaintAnalyzer` directly (see `tests/lang/test_java_cfg.py`/
+`test_java_taint.py`) until that CLI plumbing is generalized.
+"""
+
+from __future__ import annotations
+
+from pathlib import Path
+from typing import List
+
+from adl_drift.detectors.base import BaseDetector
+from adl_drift.lang.base import CFGConfig, LanguageParser, ResolverConfig
+from adl_drift.lang.java.cfg import default_java_cfg_config
+from adl_drift.lang.java.config import (
+    DEFAULT_MAX_BUILD_FILE_BYTES,
+    DEFAULT_MAX_BUILD_TOTAL_BYTES,
+    JavaProjectConfig,
+)
+from adl_drift.lang.java.extractor import JavaSymbolExtractor
+from adl_drift.lang.java.parser import create_parser
+from adl_drift.lang.java.resolver import default_java_resolver_config
+from adl_drift.lang.java.detectors import (
+    JavaAnnotationDetector,
+    JavaAsyncDetector,
+    JavaConfigDetector,
+    JavaDataAccessDetector,
+    JavaDynamicDetector,
+    JavaImportDetector,
+    JavaLoggingDetector,
+    JavaRouteDetector,
+    JavaSecurityDetector,
+    JavaTestDetector,
+    JavaTypeDetector,
+)
+
+
+class JavaBackend:
+    """`LanguageBackend` for Java, satisfied structurally (no ABC needed)."""
+
+    name = "java"
+    file_extensions = (".java",)
+    project_markers = (
+        "pom.xml",
+        "build.gradle",
+        "build.gradle.kts",
+        "settings.gradle",
+        "settings.gradle.kts",
+    )
+
+    def parser(self) -> LanguageParser:
+        return create_parser()
+
+    def extractor(self) -> JavaSymbolExtractor:
+        return JavaSymbolExtractor(self.parser())
+
+    def detectors(self) -> List[BaseDetector]:
+        parser = self.parser()
+        return [
+            JavaRouteDetector(parser),
+            JavaSecurityDetector(parser),
+            JavaDataAccessDetector(parser),
+            JavaTestDetector(parser),
+            JavaImportDetector(parser),
+            JavaAnnotationDetector(parser),
+            JavaConfigDetector(parser),
+            JavaLoggingDetector(parser),
+            JavaTypeDetector(parser),
+            JavaAsyncDetector(parser),
+            JavaDynamicDetector(parser),
+        ]
+
+    def resolver_config(self) -> ResolverConfig:
+        return default_java_resolver_config()
+
+    def cfg_config(self) -> CFGConfig:
+        return default_java_cfg_config()
+
+    def project_config(
+        self,
+        root: Path,
+        *,
+        max_build_file_bytes: int = DEFAULT_MAX_BUILD_FILE_BYTES,
+        max_build_total_bytes: int = DEFAULT_MAX_BUILD_TOTAL_BYTES,
+    ) -> JavaProjectConfig:
+        return JavaProjectConfig(root, max_build_file_bytes, max_build_total_bytes)
+
+    def module_name(self, file: Path, root: Path) -> str:
+        """Read Java identity from the declared package; ``root`` is not authoritative."""
+        return self.extractor().module_name_for_file(file)