src/tls_test.gaa


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

#{

/* C declarations */

#include <config.h>
#ifdef _WIN32
# include <io.h>
#endif

void tls_test_version(void);

#}

helpnode "GnuTLS debug client\nUsage: gnutls-cli-debug [options] hostname\n\n"

#int pp;
option (p, port) INT "integer" { $pp = $1 } "The port to connect to."

#int debug;
option (d, debug) INT "integer" { $debug = $1 } "Enable debugging" 

#int more_info;
option (V, verbose) { $more_info += 1 } "More verbose output"

option (v, version) { tls_test_version(); exit(0); } "prints the program's version number"
option (h, help) { gaa_help(); exit(0); } "prints this help"


#char *rest_args;
rest STR "hostname" { $rest_args = $1; }

init { $rest_args=NULL; $pp = 443; $more_info = 0; }