WeixinLease

public record WeixinLease(String holderId, long generation)

源码Source io/agentscope/extensions/channel/weixin/WeixinLease.java:21–32

承载 Weixin Lease数据的记录类型。位于 io.agentscope.extensions.channel.weixin 包。核心成员包括 holderId、generation、WeixinLease。

Opaque account lease token used to fence stale Weixin consumers.

记录组件摘要Record Component Summary

组件Component	类型Type	说明Description
`holderId`	String	执行 `holderId` 方法。 Performs the holder id operation.
`generation`	long	执行 `generation` 方法。 Performs the generation operation.

构造器Constructor	说明Description
`public` `WeixinLease(String holderId, long generation)`	初始化 `WeixinLease` 实例。 Creates a new instance.

String holderId

执行 holderId 方法。

Performs the holder id operation.

源码Source io/agentscope/extensions/channel/weixin/WeixinLease.java:21–32

long generation

执行 generation 方法。

Performs the generation operation.

源码Source io/agentscope/extensions/channel/weixin/WeixinLease.java:21–32

public WeixinLease(String holderId, long generation)

初始化 WeixinLease 实例。

Creates a new instance.

参数Parameters

名称Name	类型Type	说明Description
`holderId`	String	holder 标识（类型 `String`）。The holder id.
`generation`	long	generation（类型 `long`）。The generation.

源码Source io/agentscope/extensions/channel/weixin/WeixinLease.java:23–31