@@ -134,27 +134,27 @@ function EventManager.new()
134134end
135135
136136--- Subscribe to an event with type-safe callbacks using function overloads
137- --- @overload fun ( self : EventManager , event_name : " installation.updated" , callback : fun ( data : EventInstallationUpdated ): nil )
138- --- @overload fun ( self : EventManager , event_name : " lsp.client.diagnostics" , callback : fun ( data : EventLspClientDiagnostics ): nil )
139- --- @overload fun ( self : EventManager , event_name : " message.updated" , callback : fun ( data : EventMessageUpdated ): nil )
140- --- @overload fun ( self : EventManager , event_name : " message.removed" , callback : fun ( data : EventMessageRemoved ): nil )
141- --- @overload fun ( self : EventManager , event_name : " message.part.updated" , callback : fun ( data : EventMessagePartUpdated ): nil )
142- --- @overload fun ( self : EventManager , event_name : " message.part.removed" , callback : fun ( data : EventMessagePartRemoved ): nil )
143- --- @overload fun ( self : EventManager , event_name : " session.compacted" , callback : fun ( data : EventSessionCompacted ): nil )
144- --- @overload fun ( self : EventManager , event_name : " session.idle" , callback : fun ( data : EventSessionIdle ): nil )
145- --- @overload fun ( self : EventManager , event_name : " session.updated" , callback : fun ( data : EventSessionUpdated ): nil )
146- --- @overload fun ( self : EventManager , event_name : " session.deleted" , callback : fun ( data : EventSessionDeleted ): nil )
147- --- @overload fun ( self : EventManager , event_name : " session.error" , callback : fun ( data : EventSessionError ): nil )
148- --- @overload fun ( self : EventManager , event_name : " permission.updated" , callback : fun ( data : EventPermissionUpdated ): nil )
149- --- @overload fun ( self : EventManager , event_name : " permission.replied" , callback : fun ( data : EventPermissionReplied ): nil )
150- --- @overload fun ( self : EventManager , event_name : " file.edited" , callback : fun ( data : EventFileEdited ): nil )
151- --- @overload fun ( self : EventManager , event_name : " file.watcher.updated" , callback : fun ( data : EventFileWatcherUpdated ): nil )
152- --- @overload fun ( self : EventManager , event_name : " server.connected" , callback : fun ( data : EventServerConnected ): nil )
153- --- @overload fun ( self : EventManager , event_name : " ide.installed" , callback : fun ( data : EventIdeInstalled ): nil )
154- --- @overload fun ( self : EventManager , event_name : " custom.server_starting" , callback : fun ( data : ServerStartingEvent ): nil )
155- --- @overload fun ( self : EventManager , event_name : " custom.server_ready" , callback : fun ( data : ServerReadyEvent ): nil )
156- --- @overload fun ( self : EventManager , event_name : " custom.server_stopped" , callback : fun ( data : ServerStoppedEvent ): nil )
157- --- @overload fun ( self : EventManager , event_name : " custom.restore_point.created" , callback : fun ( data : RestorePointCreatedEvent ): nil )
137+ --- @overload fun ( self : EventManager , event_name : " installation.updated" , callback : fun ( data : EventInstallationUpdated[ ' properties ' ] ): nil )
138+ --- @overload fun ( self : EventManager , event_name : " lsp.client.diagnostics" , callback : fun ( data : EventLspClientDiagnostics[ ' properties ' ] ): nil )
139+ --- @overload fun ( self : EventManager , event_name : " message.updated" , callback : fun ( data : EventMessageUpdated[ ' properties ' ] ): nil )
140+ --- @overload fun ( self : EventManager , event_name : " message.removed" , callback : fun ( data : EventMessageRemoved[ ' properties ' ] ): nil )
141+ --- @overload fun ( self : EventManager , event_name : " message.part.updated" , callback : fun ( data : EventMessagePartUpdated[ ' properties ' ] ): nil )
142+ --- @overload fun ( self : EventManager , event_name : " message.part.removed" , callback : fun ( data : EventMessagePartRemoved[ ' properties ' ] ): nil )
143+ --- @overload fun ( self : EventManager , event_name : " session.compacted" , callback : fun ( data : EventSessionCompacted[ ' properties ' ] ): nil )
144+ --- @overload fun ( self : EventManager , event_name : " session.idle" , callback : fun ( data : EventSessionIdle[ ' properties ' ] ): nil )
145+ --- @overload fun ( self : EventManager , event_name : " session.updated" , callback : fun ( data : EventSessionUpdated[ ' properties ' ] ): nil )
146+ --- @overload fun ( self : EventManager , event_name : " session.deleted" , callback : fun ( data : EventSessionDeleted[ ' properties ' ] ): nil )
147+ --- @overload fun ( self : EventManager , event_name : " session.error" , callback : fun ( data : EventSessionError[ ' properties ' ] ): nil )
148+ --- @overload fun ( self : EventManager , event_name : " permission.updated" , callback : fun ( data : EventPermissionUpdated[ ' properties ' ] ): nil )
149+ --- @overload fun ( self : EventManager , event_name : " permission.replied" , callback : fun ( data : EventPermissionReplied[ ' properties ' ] ): nil )
150+ --- @overload fun ( self : EventManager , event_name : " file.edited" , callback : fun ( data : EventFileEdited[ ' properties ' ] ): nil )
151+ --- @overload fun ( self : EventManager , event_name : " file.watcher.updated" , callback : fun ( data : EventFileWatcherUpdated[ ' properties ' ] ): nil )
152+ --- @overload fun ( self : EventManager , event_name : " server.connected" , callback : fun ( data : EventServerConnected[ ' properties ' ] ): nil )
153+ --- @overload fun ( self : EventManager , event_name : " ide.installed" , callback : fun ( data : EventIdeInstalled[ ' properties ' ] ): nil )
154+ --- @overload fun ( self : EventManager , event_name : " custom.server_starting" , callback : fun ( data : ServerStartingEvent[ ' properties ' ] ): nil )
155+ --- @overload fun ( self : EventManager , event_name : " custom.server_ready" , callback : fun ( data : ServerReadyEvent[ ' properties ' ] ): nil )
156+ --- @overload fun ( self : EventManager , event_name : " custom.server_stopped" , callback : fun ( data : ServerStoppedEvent[ ' properties ' ] ): nil )
157+ --- @overload fun ( self : EventManager , event_name : " custom.restore_point.created" , callback : fun ( data : RestorePointCreatedEvent[ ' properties ' ] ): nil )
158158--- @param event_name OpencodeEventName The event name to listen for
159159--- @param callback function Callback function to execute when event is triggered
160160function EventManager :subscribe (event_name , callback )
@@ -165,27 +165,27 @@ function EventManager:subscribe(event_name, callback)
165165end
166166
167167--- Unsubscribe from an event with type-safe callbacks using function overloads
168- --- @overload fun ( self : EventManager , event_name : " installation.updated" , callback : fun ( data : EventInstallationUpdated ): nil )
169- --- @overload fun ( self : EventManager , event_name : " lsp.client.diagnostics" , callback : fun ( data : EventLspClientDiagnostics ): nil )
170- --- @overload fun ( self : EventManager , event_name : " message.updated" , callback : fun ( data : EventMessageUpdated ): nil )
171- --- @overload fun ( self : EventManager , event_name : " message.removed" , callback : fun ( data : EventMessageRemoved ): nil )
172- --- @overload fun ( self : EventManager , event_name : " message.part.updated" , callback : fun ( data : EventMessagePartUpdated ): nil )
173- --- @overload fun ( self : EventManager , event_name : " message.part.removed" , callback : fun ( data : EventMessagePartRemoved ): nil )
174- --- @overload fun ( self : EventManager , event_name : " session.compacted" , callback : fun ( data : EventSessionCompacted ): nil )
175- --- @overload fun ( self : EventManager , event_name : " session.idle" , callback : fun ( data : EventSessionIdle ): nil )
176- --- @overload fun ( self : EventManager , event_name : " session.updated" , callback : fun ( data : EventSessionUpdated ): nil )
177- --- @overload fun ( self : EventManager , event_name : " session.deleted" , callback : fun ( data : EventSessionDeleted ): nil )
178- --- @overload fun ( self : EventManager , event_name : " session.error" , callback : fun ( data : EventSessionError ): nil )
179- --- @overload fun ( self : EventManager , event_name : " permission.updated" , callback : fun ( data : EventPermissionUpdated ): nil )
180- --- @overload fun ( self : EventManager , event_name : " permission.replied" , callback : fun ( data : EventPermissionReplied ): nil )
181- --- @overload fun ( self : EventManager , event_name : " file.edited" , callback : fun ( data : EventFileEdited ): nil )
182- --- @overload fun ( self : EventManager , event_name : " file.watcher.updated" , callback : fun ( data : EventFileWatcherUpdated ): nil )
183- --- @overload fun ( self : EventManager , event_name : " server.connected" , callback : fun ( data : EventServerConnected ): nil )
184- --- @overload fun ( self : EventManager , event_name : " ide.installed" , callback : fun ( data : EventIdeInstalled ): nil )
185- --- @overload fun ( self : EventManager , event_name : " custom.server_starting" , callback : fun ( data : ServerStartingEvent ): nil )
186- --- @overload fun ( self : EventManager , event_name : " custom.server_ready" , callback : fun ( data : ServerReadyEvent ): nil )
187- --- @overload fun ( self : EventManager , event_name : " custom.server_stopped" , callback : fun ( data : ServerStoppedEvent ): nil )
188- --- @overload fun ( self : EventManager , event_name : " custom.restore_point.created" , callback : fun ( data : RestorePointCreatedEvent ): nil )
168+ --- @overload fun ( self : EventManager , event_name : " installation.updated" , callback : fun ( data : EventInstallationUpdated[ ' properties ' ] ): nil )
169+ --- @overload fun ( self : EventManager , event_name : " lsp.client.diagnostics" , callback : fun ( data : EventLspClientDiagnostics[ ' properties ' ] ): nil )
170+ --- @overload fun ( self : EventManager , event_name : " message.updated" , callback : fun ( data : EventMessageUpdated[ ' properties ' ] ): nil )
171+ --- @overload fun ( self : EventManager , event_name : " message.removed" , callback : fun ( data : EventMessageRemoved[ ' properties ' ] ): nil )
172+ --- @overload fun ( self : EventManager , event_name : " message.part.updated" , callback : fun ( data : EventMessagePartUpdated[ ' properties ' ] ): nil )
173+ --- @overload fun ( self : EventManager , event_name : " message.part.removed" , callback : fun ( data : EventMessagePartRemoved[ ' properties ' ] ): nil )
174+ --- @overload fun ( self : EventManager , event_name : " session.compacted" , callback : fun ( data : EventSessionCompacted[ ' properties ' ] ): nil )
175+ --- @overload fun ( self : EventManager , event_name : " session.idle" , callback : fun ( data : EventSessionIdle[ ' properties ' ] ): nil )
176+ --- @overload fun ( self : EventManager , event_name : " session.updated" , callback : fun ( data : EventSessionUpdated[ ' properties ' ] ): nil )
177+ --- @overload fun ( self : EventManager , event_name : " session.deleted" , callback : fun ( data : EventSessionDeleted[ ' properties ' ] ): nil )
178+ --- @overload fun ( self : EventManager , event_name : " session.error" , callback : fun ( data : EventSessionError[ ' properties ' ] ): nil )
179+ --- @overload fun ( self : EventManager , event_name : " permission.updated" , callback : fun ( data : EventPermissionUpdated[ ' properties ' ] ): nil )
180+ --- @overload fun ( self : EventManager , event_name : " permission.replied" , callback : fun ( data : EventPermissionReplied[ ' properties ' ] ): nil )
181+ --- @overload fun ( self : EventManager , event_name : " file.edited" , callback : fun ( data : EventFileEdited[ ' properties ' ] ): nil )
182+ --- @overload fun ( self : EventManager , event_name : " file.watcher.updated" , callback : fun ( data : EventFileWatcherUpdated[ ' properties ' ] ): nil )
183+ --- @overload fun ( self : EventManager , event_name : " server.connected" , callback : fun ( data : EventServerConnected[ ' properties ' ] ): nil )
184+ --- @overload fun ( self : EventManager , event_name : " ide.installed" , callback : fun ( data : EventIdeInstalled[ ' properties ' ] ): nil )
185+ --- @overload fun ( self : EventManager , event_name : " custom.server_starting" , callback : fun ( data : ServerStartingEvent[ ' properties ' ] ): nil )
186+ --- @overload fun ( self : EventManager , event_name : " custom.server_ready" , callback : fun ( data : ServerReadyEvent[ ' properties ' ] ): nil )
187+ --- @overload fun ( self : EventManager , event_name : " custom.server_stopped" , callback : fun ( data : ServerStoppedEvent[ ' properties ' ] ): nil )
188+ --- @overload fun ( self : EventManager , event_name : " custom.restore_point.created" , callback : fun ( data : RestorePointCreatedEvent[ ' properties ' ] ): nil )
189189--- @param event_name OpencodeEventName The event name
190190--- @param callback function The callback function to remove
191191function EventManager :unsubscribe (event_name , callback )
0 commit comments