fixeria submitted this change.

View Change

Approvals: Jenkins Builder: Verified pespin: Looks good to me, but someone else must approve fixeria: Looks good to me, approved
erab_fsm: clarify type spec for teid_addr()

Change-Id: If649c3436ce60d3b9ceefdcfb695bb2236ebe7ef
---
M src/erab_fsm.erl
1 file changed, 2 insertions(+), 2 deletions(-)

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 change 40377. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-MessageType: merged
Gerrit-Project: erlang/osmo-s1gw
Gerrit-Branch: master
Gerrit-Change-Id: If649c3436ce60d3b9ceefdcfb695bb2236ebe7ef
Gerrit-Change-Number: 40377
Gerrit-PatchSet: 1
Gerrit-Owner: fixeria <vyanitskiy@sysmocom.de>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: fixeria <vyanitskiy@sysmocom.de>
Gerrit-Reviewer: pespin <pespin@sysmocom.de>