サンプル

verify golang.org/x/time/rate.Limiter in pkg:golang/golang.org/x/time@v0.11.0

sha256:764537fbc86db72ad329aaccb9c4f8039458cb662d20c734a5c25a40dca669fc

MIT-0

実行証拠

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

宣言された環境 go linux 24 · ubuntu · glibc 2.39 x64 go go go

環境	コントラクト	ステージ	実行日
go 1.26 · linux alpine/x64 · docker ed25519:c1973797be207ac4	PASS	compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · golang@1golang:1.26-alpine@sha256:28d89ee9cc0f…	2026-08-26

HOW

ゴール: verify golang.org/x/time/rate.Limiter in pkg:golang/golang.org/x/time@v0.11.0
パッケージ: golang.org/x/time v0.11.0
シンボル: golang.org/x/time/rate.Limiter
環境: go
作成日: 2026-08-26T12:19:45Z

rate.NewLimiter initializes a token bucket limiter with the specified Limit and burst size, accessible via Limit() and Burst().
rate.Limiter.Allow and AllowN consume available burst tokens immediately, returning true when tokens are available and false when burst capacity is exceeded or exhausted.
rate.Limiter.ReserveN returns a Reservation with OK() true and a positive wait delay when tokens are temporarily unavailable within burst limits, or OK() false with InfDuration delay when requested tokens exceed burst.
rate.Limiter.Wait and WaitN block until tokens are available, returning nil on success, an immediate error if requested tokens exceed burst capacity, or a context cancellation error when the context is cancelled.
Dynamic updates to rate limit and burst size via SetLimit and SetBurst take effect immediately on subsequent token availability queries and acquisitions.

匿名