blob: cb3434e6f2c742ba5991edf66dcd220a68a6b71b [file] [log] [blame]
Harald Welte34b5a952019-05-27 11:54:11 +02001/* Osmocom VTY interface functions in TTCN-3
2 * (C) 2017-2018 Harald Welte <laforge@gnumonks.org>
3 * contributions by sysmocom - s.f.m.c. GmbH
4 * All rights reserved.
5 *
6 * Released under the terms of GNU General Public License, Version 2 or
7 * (at your option) any later version.
8 *
9 * SPDX-License-Identifier: GPL-2.0-or-later
10 */
11
Harald Welte8542cef2017-07-19 20:06:26 +020012module Osmocom_VTY_Functions {
13 import from TELNETasp_PortType all;
Stefan Sperlingcff13562018-11-13 15:24:06 +010014 import from Osmocom_Types all;
Harald Welte8542cef2017-07-19 20:06:26 +020015
Harald Welte553f6552018-01-24 18:50:53 +010016 modulepar {
17 charstring mp_prompt_prefix := "OpenBSC";
18 }
Harald Welte8542cef2017-07-19 20:06:26 +020019
Harald Welte553f6552018-01-24 18:50:53 +010020 const charstring VTY_VIEW_SUFFIX := "> ";
21 const charstring VTY_ENABLE_SUFFIX := "# ";
22 const charstring VTY_CFG_SUFFIX := "(*)";
23
24 template charstring t_vty_unknown := pattern "*% Unknown command.";
Harald Welte8542cef2017-07-19 20:06:26 +020025
26 /* configure prompts in TELNETasp module */
Harald Weltea2663252018-09-10 10:21:44 +020027 function f_vty_set_prompts(TELNETasp_PT pt, charstring prompt_prefix := mp_prompt_prefix) {
Harald Welte553f6552018-01-24 18:50:53 +010028 var ASP_TelnetDynamicConfig vty_prompt[3] := {
29 {
30 prompt := {
31 id := 1,
Harald Weltea2663252018-09-10 10:21:44 +020032 prompt := prompt_prefix & VTY_VIEW_SUFFIX,
Harald Welte553f6552018-01-24 18:50:53 +010033 has_wildcards := false
34 }
35 }, {
36 prompt := {
37 id := 2,
Harald Weltea2663252018-09-10 10:21:44 +020038 prompt := prompt_prefix & VTY_ENABLE_SUFFIX,
Harald Welte553f6552018-01-24 18:50:53 +010039 has_wildcards := false
40 }
41 }, {
42 prompt := {
43 id := 3,
Harald Weltea2663252018-09-10 10:21:44 +020044 prompt := prompt_prefix & VTY_CFG_SUFFIX,
Harald Welte553f6552018-01-24 18:50:53 +010045 has_wildcards := true
46 }
47 }
48 };
49
Harald Welte8542cef2017-07-19 20:06:26 +020050 /* set some configuration that isn't possible to express
51 * in the config file due to syntactic restrictions (Who invents config
52 * files that don't permit regular expressions? */
53 for (var integer i := 0; i < sizeof(vty_prompt); i:= i + 1) {
Harald Welte553f6552018-01-24 18:50:53 +010054 pt.send(vty_prompt[i]);
Harald Welte8542cef2017-07-19 20:06:26 +020055 }
56 }
57
58 /* wait for any of the permitted prompts; buffer + return all intermediate output */
Neels Hofmeyr2fe5ad12020-08-09 21:50:25 +000059 function f_vty_wait_for_prompt(TELNETasp_PT pt, boolean strict := true) return charstring {
Harald Welte8542cef2017-07-19 20:06:26 +020060 var charstring rx, buf := "";
Stefan Sperling23b45972018-07-27 17:20:38 +020061 var integer fd;
Harald Welte8542cef2017-07-19 20:06:26 +020062 timer T := 2.0;
63
64 T.start;
65 alt {
Pau Espin Pedrol1a4d4e92019-12-04 16:59:29 +010066 [] pt.receive(pattern "[\w-]+" & VTY_VIEW_SUFFIX) { };
67 [] pt.receive(pattern "[\w-]+\# ") { };
68 [] pt.receive(pattern "[\w-]+\(*\)\# ") { };
Harald Welte553f6552018-01-24 18:50:53 +010069 [] pt.receive(t_vty_unknown) {
Neels Hofmeyr2fe5ad12020-08-09 21:50:25 +000070 if (strict) {
71 testcase.stop(fail, "VTY: Unknown Command");
72 } else {
73 log("VTY: Unknown Command (ignored)");
Neels Hofmeyre4b0a662020-08-12 00:55:50 +000074 buf := buf & rx;
75 repeat;
Neels Hofmeyr2fe5ad12020-08-09 21:50:25 +000076 }
Harald Welte553f6552018-01-24 18:50:53 +010077 };
Harald Welte8542cef2017-07-19 20:06:26 +020078 [] pt.receive(charstring:?) -> value rx { buf := buf & rx; repeat };
Stefan Sperling23b45972018-07-27 17:20:38 +020079 [] pt.receive(integer:?) -> value fd {
80 if (fd == -1) {
81 setverdict(fail, "VTY Telnet Connection Failure");
82 mtc.stop;
83 } else {
84 repeat; /* telnet connection succeeded */
85 }
86 }
Harald Welte553f6552018-01-24 18:50:53 +010087 [] T.timeout {
88 setverdict(fail, "VTY Timeout for prompt");
Daniel Willmanne4ff5372018-07-05 17:35:03 +020089 mtc.stop;
Harald Welte553f6552018-01-24 18:50:53 +010090 };
Harald Welte8542cef2017-07-19 20:06:26 +020091 }
92 T.stop;
93 return buf;
94 }
95
96 /* send a VTY command and obtain response until prompt is received */
Neels Hofmeyr2fe5ad12020-08-09 21:50:25 +000097 function f_vty_transceive_ret(TELNETasp_PT pt, charstring tx, boolean strict := true) return charstring {
Harald Welte8542cef2017-07-19 20:06:26 +020098 pt.send(tx);
Neels Hofmeyr2fe5ad12020-08-09 21:50:25 +000099 return f_vty_wait_for_prompt(pt, strict);
Harald Welte8542cef2017-07-19 20:06:26 +0200100 }
101
102 /* send a VTY command and obtain response until prompt is received */
Neels Hofmeyr2fe5ad12020-08-09 21:50:25 +0000103 function f_vty_transceive(TELNETasp_PT pt, charstring tx, boolean strict := true) {
104 var charstring unused := f_vty_transceive_ret(pt, tx, strict);
Harald Welte8542cef2017-07-19 20:06:26 +0200105 }
106
107 type integer BtsNr (0..255);
108 type integer BtsTrxNr (0..255);
109 type integer BtsTimeslotNr (0..7);
Philipp Maierd0e64b02019-03-13 14:15:23 +0100110 type integer MscNr (0..255);
Pau Espin Pedrolc675b612020-01-09 19:55:40 +0100111 type integer Cs7Nr (0..255);
Harald Welte8542cef2017-07-19 20:06:26 +0200112
113 type charstring BtsGprsMode ("none", "gprs", "egrps");
114
115 /* enter the'confiugration' mode of the VTY */
116 function f_vty_enter_config(TELNETasp_PT pt) {
117 f_vty_transceive(pt, "configure terminal")
118 }
119
120 function f_vty_enter_cfg_network(TELNETasp_PT pt) {
121 f_vty_enter_config(pt);
122 f_vty_transceive(pt, "network")
123 }
124
125 function f_vty_enter_cfg_bts(TELNETasp_PT pt, BtsNr bts := 0) {
126 f_vty_enter_cfg_network(pt);
127 f_vty_transceive(pt, "bts " & int2str(bts));
128 }
129
130 function f_vty_enter_cfg_trx(TELNETasp_PT pt, BtsNr bts := 0, BtsTrxNr trx := 0) {
131 f_vty_enter_cfg_bts(pt, bts);
132 f_vty_transceive(pt, "trx " & int2str(trx));
133 }
134
135 function f_vty_enter_cfg_ts(TELNETasp_PT pt, BtsNr bts := 0, BtsTrxNr trx := 0, BtsTimeslotNr ts) {
136 f_vty_enter_cfg_trx(pt, bts, trx);
137 f_vty_transceive(pt, "timeslot " & int2str(ts));
138 }
139
Philipp Maierd0e64b02019-03-13 14:15:23 +0100140 function f_vty_enter_cfg_msc(TELNETasp_PT pt, MscNr msc := 0) {
141 f_vty_enter_config(pt);
142 f_vty_transceive(pt, "msc " & int2str(msc));
143 }
144
Pau Espin Pedrolc675b612020-01-09 19:55:40 +0100145 function f_vty_enter_cfg_cs7_inst(TELNETasp_PT pt, Cs7Nr cs7_inst := 0) {
146 f_vty_enter_config(pt);
147 f_vty_transceive(pt, "cs7 instance " & int2str(cs7_inst));
148 }
149
Harald Weltef640a012018-04-14 17:49:21 +0200150type record of charstring rof_charstring;
151function f_vty_config2(TELNETasp_PT pt, rof_charstring config_nodes, charstring cmd)
Harald Welte872ce172018-02-16 22:10:33 +0100152{
153 /* enter config mode; enter node */
154 f_vty_enter_config(pt);
Harald Weltef640a012018-04-14 17:49:21 +0200155 for (var integer i := 0; i < sizeof(config_nodes); i := i+1) {
156 f_vty_transceive(pt, config_nodes[i]);
157 }
Harald Welte872ce172018-02-16 22:10:33 +0100158 /* execute command */
159 f_vty_transceive(pt, cmd);
160 /* leave config mode */
161 f_vty_transceive(pt, "end");
162}
163
164
Harald Weltef640a012018-04-14 17:49:21 +0200165function f_vty_config(TELNETasp_PT pt, charstring config_node, charstring cmd)
166{
167 f_vty_config2(pt, {config_node}, cmd);
168}
169
Alexander Couzens98aa59e2018-06-12 13:45:59 +0200170function f_vty_transceive_match(TELNETasp_PT pt, charstring cmd, template charstring exp_ret) {
171 var charstring ret := f_vty_transceive_ret(pt, cmd);
172 if (not match(ret, exp_ret)) {
173 setverdict(fail, "Non-matching VTY response: ", ret);
Daniel Willmanne4ff5372018-07-05 17:35:03 +0200174 mtc.stop;
Alexander Couzens98aa59e2018-06-12 13:45:59 +0200175 }
176}
177
Alexander Couzens1e6d9902018-06-12 13:48:26 +0200178function f_vty_transceive_not_match(TELNETasp_PT pt, charstring cmd, template charstring exp_ret) {
179 var charstring ret := f_vty_transceive_ret(pt, cmd);
180 if (match(ret, exp_ret)) {
181 setverdict(fail, "Unexpected matching VTY response: ", ret);
Daniel Willmanne4ff5372018-07-05 17:35:03 +0200182 mtc.stop;
Alexander Couzens1e6d9902018-06-12 13:48:26 +0200183 }
184}
185
Stefan Sperlingcff13562018-11-13 15:24:06 +0100186function f_vty_transceive_match_regex(TELNETasp_PT pt, charstring cmd, charstring regex, integer groupno) return charstring
187{
188 var charstring resp := f_vty_transceive_ret(pt, cmd);
189 return regexp(resp, regex, groupno);
190}
191
192function f_vty_transceive_match_regexp_retry(TELNETasp_PT pt, charstring cmd, charstring regex,
193 integer groupno, integer num_attempts, float retry_delay) return charstring
194{
195 while (num_attempts > 0) {
196 var charstring ret := f_vty_transceive_match_regex(pt, cmd, regex, groupno);
197 if (ret != "") {
198 return ret;
199 }
200 f_sleep(retry_delay);
201 num_attempts := num_attempts - 1;
202 }
203
204 setverdict(fail, "No matching VTY response for regular expression '", regex,
205 "' after ", num_attempts, " attempts." );
206 mtc.stop;
207}
Harald Weltef640a012018-04-14 17:49:21 +0200208
Harald Welte8542cef2017-07-19 20:06:26 +0200209}