|
1 // File : CtrlProfileTemplates.ttcn |
|
2 // |
|
3 // Info : This file specifies templates for CTRL parameters |
|
4 // used with Profile functions (see CtrlProfileFunctions.ttcn) |
|
5 // |
|
6 // Do not modify without permission! |
|
7 // |
|
8 |
|
9 module CtrlProfileTemplates |
|
10 { |
|
11 |
|
12 import from CtrlRel2Types all; // import TTCN-3 CTRL definition |
|
13 |
|
14 template ParameterListElement a_ctrlAutoRegistration ( template charstring p_value ) := |
|
15 { |
|
16 parameter := { pName := "AutoRegistration", pValue := p_value } |
|
17 } |
|
18 |
|
19 template ParameterListElement a_ctrlExtensionParameter ( |
|
20 template charstring p_name, |
|
21 template charstring p_value ) := |
|
22 { |
|
23 struct := { sName := "ExtensionParameter", sFields := |
|
24 { |
|
25 { pName := p_name, pValue := p_value } |
|
26 } |
|
27 } |
|
28 } |
|
29 |
|
30 template ParameterListElement a_ctrlPrivateIdentity ( template charstring p_value ) := |
|
31 { |
|
32 parameter := { pName := "PrivateIdentity", pValue := p_value } |
|
33 } |
|
34 |
|
35 template ParameterListElement a_ctrlProfileAOR ( template charstring p_value ) := |
|
36 { |
|
37 parameter := { pName := "ProfileAOR", pValue := p_value } |
|
38 } |
|
39 |
|
40 template ParameterListElement a_ctrlProfileAORList ( template ValueList p_aors ) := |
|
41 { |
|
42 array := { aName := "ProfileAORList", aValues := p_aors } |
|
43 } |
|
44 |
|
45 template ParameterListElement a_ctrlProfileDefault ( template charstring p_value ) := |
|
46 { |
|
47 parameter := { pName := "ProfileDefault", pValue := p_value } |
|
48 } |
|
49 |
|
50 template ParameterListElement a_ctrlProfileErrorCode ( template charstring p_value ) := |
|
51 { |
|
52 parameter := { pName := "ProfileErrorCode", pValue := p_value } |
|
53 } |
|
54 |
|
55 template TestClientId a_ctrlProfileId ( template integer p_value ) := |
|
56 { |
|
57 idName := "ProfileId", idValue := p_value |
|
58 } |
|
59 |
|
60 template TestClientId a_ctrlRegistryId ( template integer p_value ) := |
|
61 { |
|
62 idName := "RegistryId", idValue := p_value |
|
63 } |
|
64 |
|
65 template ParameterListElement a_ctrlProfileIdList ( template ValueList p_ids ) := |
|
66 { |
|
67 array := { aName := "ProfileIdList", aValues := p_ids } |
|
68 } |
|
69 |
|
70 template ParameterListElement a_ctrlProfileName ( template charstring p_value ) := |
|
71 { |
|
72 parameter := { pName := "ProfileName", pValue := p_value } |
|
73 } |
|
74 |
|
75 template ParameterListElement a_ctrlProfileState ( template charstring p_value ) := |
|
76 { |
|
77 parameter := { pName := "ProfileState", pValue := p_value } |
|
78 } |
|
79 |
|
80 template ParameterListElement a_ctrlProfileType ( template charstring p_class, |
|
81 template charstring p_name ) := |
|
82 { |
|
83 struct := { sName := "ProfileType", sFields := |
|
84 { |
|
85 { pName := "Class", pValue := p_class }, |
|
86 { pName := "ProfileName", pValue := p_name } |
|
87 } |
|
88 } |
|
89 } |
|
90 |
|
91 template ParameterListElement a_ctrlSecurityNegotiation ( template charstring p_value ) := |
|
92 { |
|
93 parameter := { pName := "SecurityNegotiation", pValue := p_value } |
|
94 } |
|
95 |
|
96 template ParameterListElement a_ctrlServer ( template charstring p_server, |
|
97 template charstring p_address ) := |
|
98 { |
|
99 struct := { sName := "Server", sFields := |
|
100 { |
|
101 { pName := "Server", pValue := p_server }, |
|
102 { pName := "Address", pValue := p_address } |
|
103 } |
|
104 } |
|
105 } |
|
106 |
|
107 template ParameterListElement a_ctrlServerExtensionParameter ( |
|
108 template charstring p_server, |
|
109 template charstring p_name, |
|
110 template charstring p_value ) := |
|
111 { |
|
112 struct := { sName := "ServerExtensionParameter", sFields := |
|
113 { |
|
114 { pName := "Server", pValue := p_server }, |
|
115 { pName := p_name, pValue := p_value } |
|
116 } |
|
117 } |
|
118 } |
|
119 |
|
120 template ParameterListElement a_ctrlServerParameter ( |
|
121 template charstring p_server, |
|
122 template charstring p_parameter, |
|
123 template charstring p_value ) := |
|
124 { |
|
125 struct := { sName := "ServerParameter", sFields := |
|
126 { |
|
127 { pName := "Server", pValue := p_server }, |
|
128 { pName := p_parameter, pValue := p_value} |
|
129 } |
|
130 } |
|
131 } |
|
132 |
|
133 template ParameterListElement a_ctrlSigComp ( template charstring p_value ) := |
|
134 { |
|
135 parameter := { pName := "SigComp", pValue := p_value } |
|
136 } |
|
137 |
|
138 } // end of CtrlProfileTemplates |