Esempi in Python per BuildEnvironment.proof_list

Esempio n. 1

File: __init__.py Progetto: tobydriscoll/sphinx-proof

def merge_proofs(app: Sphinx, env: BuildEnvironment, docnames: Set[str],
                 other: BuildEnvironment) -> None:
    if not hasattr(env, "proof_list"):
        env.proof_list = {}

    # Merge env stored data
    if hasattr(other, "proof_list"):
        env.proof_list = {**env.proof_list, **other.proof_list}

Esempio n. 2

File: __init__.py Progetto: tobydriscoll/sphinx-proof

def purge_proofs(app: Sphinx, env: BuildEnvironment, docname: str) -> None:
    if not hasattr(env, "proof_list"):
        return

    # Override env.proof_list
    env.proof_list = {
        proof: env.proof_list[proof]
        for proof in env.proof_list.keys()
        if env.proof_list[proof]["docname"] != docname
    }