GitHub/cc-scada
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

#545 coordinator type annotation updates

Browse Source
This commit is contained in:
Mikayla Fischler
2024-09-14 17:07:53 -04:00
parent 63a9e23b3a
commit 85fc8d2920
15 changed files with 124 additions and 131 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
coordinator/session/apisessions.lua
View File

@@ -13,7 +13,7 @@ local self = {
nic = nil, ---@type nic
config = nil, ---@type crd_config
next_id = 0,
sessions = {}
sessions = {} ---@type pkt_session_struct[]
}
-- PRIVATE FUNCTIONS --
@@ -129,7 +129,7 @@ end
---@param timer_event number
function apisessions.check_all_watchdogs(timer_event)
for i = 1, #self.sessions do
local session = self.sessions[i] ---@type pkt_session_struct
local session = self.sessions[i]
if session.open then
local triggered = session.instance.check_wd(timer_event)
if triggered then
@@ -143,7 +143,7 @@ end
-- iterate all the API sessions
function apisessions.iterate_all()
for i = 1, #self.sessions do
local session = self.sessions[i] ---@type pkt_session_struct
local session = self.sessions[i]
if session.open and session.instance.iterate() then
_api_handle_outq(session)
@@ -168,7 +168,7 @@ end
-- close all open connections
function apisessions.close_all()
for i = 1, #self.sessions do
local session = self.sessions[i] ---@type pkt_session_struct
local session = self.sessions[i]
if session.open then _shutdown(session) end
end

2
coordinator/session/pocket.lua
View File

@@ -217,7 +217,7 @@ function pocket.new_session(id, s_addr, i_seq_num, in_queue, out_queue, timeout)
_send(CRDN_TYPE.API_GET_FAC, data)
elseif pkt.type == CRDN_TYPE.API_GET_UNIT then
if pkt.length == 1 and type(pkt.data[1]) == "number" then
local u = db.units[pkt.data[1]] ---@type ioctl_unit
local u = db.units[pkt.data[1]]
if u then
local data = {