-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathgnap_uci_channels_macros.lisp
74 lines (64 loc) · 2.09 KB
/
gnap_uci_channels_macros.lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
(include "gnap_uci_macros.lisp")
; Roles
; CI
(defmacro (ROLE_CI
ci pk_ci ch_ci_as ch_ci_eu ch_ci_rs
as_cont_token_rand as_token_rand pk_as ch_as_ci
eu_code
rs rs_access rs_data ch_rs_ci
) (^
; CI .. AS
(send ch_ci_as (CI_AS_1 ci pk_ci rs rs_access))
(recv ch_as_ci (AS_CI_2 ci pk_ci as_cont_token_rand pk_as eu_code rs rs_access))
; CI .. EU
(send ch_ci_eu (CI_EU_3 eu_code))
; CI .. AS
(send ch_ci_as (CI_AS_11 ci pk_ci as_cont_token_rand pk_as rs rs_access))
(recv ch_as_ci (AS_CI_12 ci pk_ci as_token_rand pk_as rs rs_access))
; CI .. RS
(send ch_ci_rs (CI_RS_13 ci pk_ci as_token_rand pk_as rs rs_access))
(recv ch_rs_ci (RS_CI_14 ci pk_ci as_token_rand pk_as rs rs_access rs_data))
)
)
; AS
(defmacro (ROLE_AS
ci pk_ci ch_ci_as
as as_cont_token_rand as_token_rand pk_as ch_as_ci ch_as_eu
eu eu_code eu_code_status ch_eu_as
rs rs_access
) (^
; AS .. CI
(recv ch_ci_as (CI_AS_1 ci pk_ci rs rs_access))
(send ch_as_ci (AS_CI_2 ci pk_ci as_cont_token_rand pk_as eu_code rs rs_access))
; AS .. EU (RO)
(recv ch_eu_as (EU_AS_4_5_6_8 as eu eu_code))
(send ch_as_eu (EU_AS_7 as eu eu_code_status))
; AS .. CI
(recv ch_ci_as (CI_AS_11 ci pk_ci as_cont_token_rand pk_as rs rs_access))
(send ch_as_ci (AS_CI_12 ci pk_ci as_token_rand pk_as rs rs_access))
)
)
; EU
(defmacro (ROLE_EU
ch_ci_eu
as ch_as_eu
eu eu_code eu_code_status ch_eu_as
) (^
; CI .. EU
(recv ch_ci_eu (CI_EU_3 eu_code))
; EU .. AS
(send ch_eu_as (EU_AS_4_5_6_8 as eu eu_code))
(recv ch_as_eu (EU_AS_7 as eu eu_code_status))
)
)
; RS
(defmacro (ROLE_RS
ci pk_ci ch_ci_rs
as_token_rand pk_as
rs rs_access rs_data ch_rs_ci
) (^
; RS .. CI
(recv ch_ci_rs (CI_RS_13 ci pk_ci as_token_rand pk_as rs rs_access))
(send ch_rs_ci (RS_CI_14 ci pk_ci as_token_rand pk_as rs rs_access rs_data))
)
)