from bmc_agent.backends.bmc_backend import BMCBackend
from bmc_agent.backends.cbmc_backend import CBMCBackend
from bmc_agent.backends.kani_backend import KaniBackend


def backend_for(language: str, config) -> BMCBackend:
    """Return the BMC backend appropriate for *language*.

    ``language`` is one of the values produced by
    :func:`bmc_agent.source_parser.detect_language` — ``"c"`` for C/header
    files, ``"rust"`` for ``.rs`` files.  Unknown languages fall back to
    :class:`CBMCBackend` to preserve existing behaviour for callers that
    don't pre-detect.
    """
    if language == "rust":
        return KaniBackend(config)
    return CBMCBackend(config)


__all__ = ["BMCBackend", "CBMCBackend", "KaniBackend", "backend_for"]