Module imandra.auth

Classes

class Config (api_key: str | None = None,
scheme: str | None = None,
host: str | None = None,
api_version: str | None = None)

Expand source code

class Config:
    def __init__(
        self,
        api_key: Optional[str] = None,
        scheme: Optional[str] = None,
        host: Optional[str] = None,
        api_version: Optional[str] = None,
    ):
        self._api_key = _get_api_key(api_key)
        self._scheme = scheme or _scheme_from_env() or "https"
        self._host = host or _host_from_env() or "api.imandra.ai"
        self._api_version = api_version or _api_version_from_env() or "v1beta1"

    def get_api_key(self) -> str:
        return self._api_key

    def get_headers(self) -> Dict[str, str]:
        return {"Authorization": f"Bearer {self._api_key}"}

    def get_url(self) -> str:
        return f"{self._scheme}://{self._host}/{self._api_version}"

    def get_organization(self, organization):
        return organization or os.environ.get("IMANDRA_ORGANIZATION")

Methods

def get_api_key(self) ‑> str

Expand source code

def get_api_key(self) -> str:
    return self._api_key

def get_headers(self) ‑> Dict[str, str]

Expand source code

def get_headers(self) -> Dict[str, str]:
    return {"Authorization": f"Bearer {self._api_key}"}

def get_organization(self, organization)

Expand source code

def get_organization(self, organization):
    return organization or os.environ.get("IMANDRA_ORGANIZATION")

def get_url(self) ‑> str

Expand source code

def get_url(self) -> str:
    return f"{self._scheme}://{self._host}/{self._api_version}"

class NoApiKey (*args, **kwargs)

Expand source code

class NoApiKey(Exception):
    pass

Common base class for all non-exit exceptions.

Ancestors

• builtins.Exception
• builtins.BaseException