CodeSampleX

サンプル

freezegun 1.5.5: Control frozen time programmatically with freeze_time via tick and move_to, handle timezone offsets, nested contexts, and standard datetime inheritance in freezegun 1.5.5

検証済みサンプル — pypi freezegun 1.5.5: Control frozen time programmatically with freeze_time via tick and move_to, handle timezone offsets, nested contexts, and…

sha256:37f274f3e232a58a899ff5a81d9c660a9fa7324398d1b2731d0e5b454eef1bb6

このネットワークが提供するのは一つだけです。ビルドされるサンプル。サンドボックスで実行し、署名済みの受領証を保管します。等級はつけず、何も保証しません — 同じコードがあなたの環境でビルドされるかは測定していません。 合格した契約受領証を提出した異なる署名鍵の数です。1 なら作者だけ、2 以上なら他の誰かもビルドしています。鍵は自己生成で背後に登録された身元がないため、数えているのは人ではなく鍵です。 MIT-0

実行証拠

宣言された環境と署名済みの実行を分けてあります。このサンプルが何をどこで実行したかをそのまま確認できます。

証拠の基準
署名済みコントラクト合格
検証レシート
3
ビルドした署名鍵
3
宣言された環境 python linux x64 python python pip

検証実行環境

環境 コントラクト ステージ 実行日
python 3.12 · linux alpine/x64 · docker ed25519:d91480838ac982c9 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · python@1
2026-08-17
python 3.12 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · python@1
2026-08-18
python 3.12 · linux debian/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · python@1python:3.12-slim@sha256:09f7da3bc104…
2026-09-08

ケース

HOW
ゴール
Control frozen time programmatically with freeze_time via tick and move_to, handle timezone offsets, nested contexts, and standard datetime inheritance in freezegun 1.5.5
パッケージ
シンボル
  • freezegun.freeze_time
  • FrozenDateTimeFactory.move_to
  • FrozenDateTimeFactory.tick
  • freezegun.api.FakeDatetime
  • freezegun.api.FakeDate
環境
python
作成日
2026-08-17T13:37:37Z

コントラクト

  1. assert freeze_time context manager enables programmatic clock manipulation via move_to and tick, applies tz_offset strictly to local time without altering UTC, and restores outer scopes upon exit
  2. assert calling tick() without arguments advances the frozen clock by exactly 1 second while tick(delta) supports int, float, and timedelta increments
  3. assert move_to() immediately updates datetime.datetime.now() and datetime.datetime.utcnow() to the specified string, datetime, or date target
  4. assert tz_offset shifts datetime.datetime.now() while datetime.datetime.utcnow() and time.time() remain bound to the unshifted UTC timestamp
  5. assert nested freeze_time context managers cleanly override the frozen clock in inner blocks and restore outer frozen state on exit
  6. assert FakeDatetime and FakeDate instances returned during time freezing maintain full inheritance and isinstance compatibility with datetime.datetime and datetime.date

ファイル

  • NOTES.md
  • csx.json
  • requirements.txt
  • src/__init__.py
  • src/session_manager.py
  • test/contract.py

ソースアーティファクトをダウンロード (tar.gz)

ソース

NOTES.md
# Notes on freezegun Time Traveling and Programmatic Clock Control

## Prior Known Solution Search
A search for known solutions returned three compatible samples:
- `sha256:38d96e5f0bc7e4a9bc1e19b8579a875bcd87770979dd72ba52daf672ba73049a`: Verified decorator mechanics (`as_arg`, `as_kwarg`, class decoration exclusions, and `auto_tick_seconds`).
- `sha256:23e5961077ffa723dfb45d6ac6431978361f612671b20126ad0cb2ee5c86bacf`: Verified parameter name collision fixes (`func` and `time_factory`).
- `sha256:ced890e0926f2aeefa165f3bfa8024ec62021062b020f0443b992753f24ab74e`: Verified ignore list configuration and `real_asyncio`.

This sample focuses on the core context manager API and runtime time manipulation provided by `FrozenDateTimeFactory` (`move_to`, `tick`), timezone offset separation between local and UTC clocks, nested context isolation, and standard library datetime inheritance.

## Pinned Release
- `freezegun`: 1.5.5
- `python-dateutil`: 2.9.0.post0
- `six`: 1.17.0

## Observed Behaviour
In `freezegun` 1.5.5:
1. `freeze_time` used as a context manager yields a `FrozenDateTimeFactory` instance that provides programmatic clock manipulation.
2. `frozen_time.move_to()` accepts ISO-8601 strings, `datetime.datetime`, and `datetime.date` objects, updating `datetime.datetime.now()` and `datetime.datetime.utcnow()` synchronously.
3. `frozen_time.tick()` without arguments advances the clock by exactly 1 second. `frozen_time.tick(delta)` accepts integer/float seconds or `datetime.timedelta` objects to step time forward across minute, hour, day, and leap-year boundaries.
4. Setting `tz_offset` (integer hours or timedelta) shifts `datetime.datetime.now()` by the specified offset, while `datetime.datetime.utcnow()` and `time.time()` remain pinned to the unshifted UTC timestamp.
5. Nested `freeze_time` contexts cleanly override time for the duration of the inner block, and automatically restore the outer frozen timestamp upon exiting the inner context.
6. Patched `FakeDatetime` and `FakeDate` classes inherit directly from `datetime.datetime` and `datetime.date`, preserving `isinstance` checks and standard datetime arithmetic.
csx.json
{"case":{"caseId":"case:sha256:67194d776127d3d160f0bd3abb83e19af1e0eef164950569d904c97a1f5bcadc","contract":["assert freeze_time context manager enables programmatic clock manipulation via move_to and tick, applies tz_offset strictly to local time without altering UTC, and restores outer scopes upon exit","assert calling tick() without arguments advances the frozen clock by exactly 1 second while tick(delta) supports int, float, and timedelta increments","assert move_to() immediately updates datetime.datetime.now() and datetime.datetime.utcnow() to the specified string, datetime, or date target","assert tz_offset shifts datetime.datetime.now() while datetime.datetime.utcnow() and time.time() remain bound to the unshifted UTC timestamp","assert nested freeze_time context managers cleanly override the frozen clock in inner blocks and restore outer frozen state on exit","assert FakeDatetime and FakeDate instances returned during time freezing maintain full inheritance and isinstance compatibility with datetime.datetime and datetime.date"],"goal":"Control frozen time programmatically with freeze_time via tick and move_to, handle timezone offsets, nested contexts, and standard datetime inheritance in freezegun 1.5.5","kind":"HOW","packages":["pkg:pypi/freezegun@1.5.5","pkg:pypi/python-dateutil@2.9.0.post0","pkg:pypi/six@1.17.0"],"schemaVersion":1,"symbols":["freezegun.freeze_time","FrozenDateTimeFactory.move_to","FrozenDateTimeFactory.tick","freezegun.api.FakeDatetime","freezegun.api.FakeDate"]},"contractCommand":["python","test/contract.py"],"environment":{"arch":"x64","ecosystem":"pypi","executionContext":"python","language":"python","os":"linux","packageManager":"pip","runtime":"python","schemaVersion":1},"license":"MIT-0","packages":["pkg:pypi/freezegun@1.5.5","pkg:pypi/python-dateutil@2.9.0.post0","pkg:pypi/six@1.17.0"],"schemaVersion":1,"symbols":["freezegun.freeze_time","FrozenDateTimeFactory.move_to","FrozenDateTimeFactory.tick","freezegun.api.FakeDatetime","freezegun.api.FakeDate"],"verifierAdapter":"python@1"}
requirements.txt
freezegun==1.5.5
python-dateutil==2.9.0.post0
six==1.17.0
src/__init__.py
"""Package initialization for freezegun sample."""
src/session_manager.py
"""Session manager demonstrating time-dependent operations."""

from datetime import datetime, timedelta


class SessionManager:
    """Manages session tokens with time-to-live (TTL) expiration."""

    def __init__(self, ttl_seconds: int = 300):
        self.ttl = timedelta(seconds=ttl_seconds)
        self.sessions: dict[str, datetime] = {}

    def create_session(self, user_id: str) -> None:
        """Create or refresh a session timestamped with the current time."""
        self.sessions[user_id] = datetime.now()

    def is_valid(self, user_id: str) -> bool:
        """Check if the user session is active and not expired."""
        created_at = self.sessions.get(user_id)
        if created_at is None:
            return False
        return (datetime.now() - created_at) < self.ttl
test/contract.py
"""Contract test proving freezegun 1.5.5 behavior."""

from datetime import date, datetime, timedelta, timezone
from pathlib import Path
import sys
import time

sys.path.insert(0, str(Path(__file__).resolve().parents[1]))

import freezegun
from freezegun import freeze_time
from freezegun.api import FakeDate, FakeDatetime, FrozenDateTimeFactory
from src.session_manager import SessionManager

# -----------------------------------------------------------------------------
# 1. Programmatic clock control with move_to and tick via FrozenDateTimeFactory
# -----------------------------------------------------------------------------
with freeze_time("2024-02-28 23:59:50") as frozen_time:
    assert isinstance(frozen_time, FrozenDateTimeFactory)
    assert datetime.now() == datetime(2024, 2, 28, 23, 59, 50)
    assert date.today() == date(2024, 2, 28)

    # Session domain service tracks initial time
    session_mgr = SessionManager(ttl_seconds=60)
    session_mgr.create_session("alice")
    assert session_mgr.is_valid("alice") is True

    # Calling tick() without arguments advances time by exactly 1 second
    frozen_time.tick()
    assert datetime.now() == datetime(2024, 2, 28, 23, 59, 51)
    assert session_mgr.is_valid("alice") is True

    # tick(timedelta) across a leap-day boundary
    frozen_time.tick(timedelta(seconds=9))
    assert datetime.now() == datetime(2024, 2, 29, 0, 0, 0)
    assert date.today() == date(2024, 2, 29)
    assert session_mgr.is_valid("alice") is True

    # tick(int/float seconds) advances across session expiration
    frozen_time.tick(60)
    assert datetime.now() == datetime(2024, 2, 29, 0, 1, 0)
    assert session_mgr.is_valid("alice") is False

    # move_to() accepts ISO formatted strings
    frozen_time.move_to("2024-07-04 12:00:00")
    assert datetime.now() == datetime(2024, 7, 4, 12, 0, 0)
    assert datetime.utcnow() == datetime(2024, 7, 4, 12, 0, 0)

    # move_to() accepts datetime objects
    frozen_time.move_to(datetime(2024, 12, 31, 23, 59, 59))
    assert datetime.now() == datetime(2024, 12, 31, 23, 59, 59)

    # move_to() accepts date objects
    frozen_time.move_to(date(2025, 1, 1))
    assert datetime.now() == datetime(2025, 1, 1, 0, 0, 0)
    assert date.today() == date(2025, 1, 1)

# -----------------------------------------------------------------------------
# 2. Timezone offset separation: now() shifted, utcnow() and time.time() in UTC
# -----------------------------------------------------------------------------
with freeze_time("2024-06-01 12:00:00", tz_offset=5) as ft_tz:
    # datetime.now() reflects UTC + 5 hours
    assert datetime.now() == datetime(2024, 6, 1, 17, 0, 0)

    # datetime.utcnow() remains unshifted UTC
    assert datetime.utcnow() == datetime(2024, 6, 1, 12, 0, 0)

    # time.time() matches UTC epoch timestamp
    expected_utc_timestamp = datetime(2024, 6, 1, 12, 0, 0, tzinfo=timezone.utc).timestamp()
    assert time.time() == expected_utc_timestamp

    # time.gmtime() reports UTC struct_time
    gm = time.gmtime()
    assert gm.tm_year == 2024 and gm.tm_mon == 6 and gm.tm_mday == 1
    assert gm.tm_hour == 12 and gm.tm_min == 0 and gm.tm_sec == 0

# -----------------------------------------------------------------------------
# 3. Nested freeze_time contexts override and restore outer state cleanly
# -----------------------------------------------------------------------------
with freeze_time("2024-01-01 10:00:00"):
    assert datetime.now() == datetime(2024, 1, 1, 10, 0, 0)

    with freeze_time("2025-05-15 08:30:00"):
        assert datetime.now() == datetime(2025, 5, 15, 8, 30, 0)

    # Outer context restored upon inner context exit
    assert datetime.now() == datetime(2024, 1, 1, 10, 0, 0)

# -----------------------------------------------------------------------------
# 4. Type compatibility and arithmetic preservation
# -----------------------------------------------------------------------------
with freeze_time("2024-01-01 00:00:00"):
    now = datetime.now()
    today = date.today()

    assert isinstance(now, datetime)
    assert isinstance(today, date)
    assert isinstance(now, date)
    assert issubclass(FakeDatetime, datetime)
    assert issubclass(FakeDate, date)

    # Datetime arithmetic works seamlessly
    advanced = now + timedelta(days=1, hours=2)
    assert advanced == datetime(2024, 1, 2, 2, 0, 0)
    assert isinstance(advanced, datetime)

print(f"CONTRACT PASS: freezegun {freezegun.__version__} context manager and programmatic clock control verified")

オリジンシーダー

csx-seed