fixeria has uploaded this change for review. (
https://gerrit.osmocom.org/c/erlang/osmo-s1gw/+/40377?usp=email )
Change subject: erab_fsm: clarify type spec for teid_addr()
......................................................................
erab_fsm: clarify type spec for teid_addr()
Change-Id: If649c3436ce60d3b9ceefdcfb695bb2236ebe7ef
---
M src/erab_fsm.erl
1 file changed, 2 insertions(+), 2 deletions(-)
git pull ssh://gerrit.osmocom.org:29418/erlang/osmo-s1gw
refs/changes/77/40377/1
diff --git a/src/erab_fsm.erl b/src/erab_fsm.erl
index a941152..cd4fa27 100644
--- a/src/erab_fsm.erl
+++ b/src/erab_fsm.erl
@@ -73,8 +73,8 @@
-type teid() :: 0..16#ffffffff.
-type addr() :: << _:32 >> | << _:128 >>.
--type teid_addr() :: {teid(), %% GTP-U TEID
- addr() %% GTP-U Transport Layer Address
+-type teid_addr() :: {TEID :: teid(), %% GTP-U TEID
+ Addr :: addr() %% GTP-U Transport Layer Address
}.
-type mod_kind() :: setup_rsp |
--
To view, visit https://gerrit.osmocom.org/c/erlang/osmo-s1gw/+/40377?usp=email
To unsubscribe, or for help writing mail filters, visit
https://gerrit.osmocom.org/settings?usp=email
Gerrit-MessageType: newchange
Gerrit-Project: erlang/osmo-s1gw
Gerrit-Branch: master
Gerrit-Change-Id: If649c3436ce60d3b9ceefdcfb695bb2236ebe7ef
Gerrit-Change-Number: 40377
Gerrit-PatchSet: 1
Gerrit-Owner: fixeria <[email protected]>
