]> matita.cs.unibo.it Git - helm.git/blob - helm/hxsp/splitted/8.strrep.p.pl
ocaml 3.09 transition
[helm.git] / helm / hxsp / splitted / 8.strrep.p.pl
1 #################################################################################################
2 #################################################################################################
3 #################################################################################################
4 # Subrutines to replace values between {} on loaded templates
5 #################################################################################################
6 #################################################################################################
7 #################################################################################################
8
9 sub ok_print
10 {
11    my $message = shift(@_);
12    $message =~ s/(\n)/<br>\1/g;
13    my $retval = $ok_tpl;
14    $retval =~ s/\{MESSAGE\}/$message/g;
15    return $retval;
16 }
17
18 sub operror_print
19 {
20    my $message = shift(@_);
21    $message =~ s/(\n)/<br>\1/g;
22    my $retval = $operror_tpl;
23    $retval =~ s/\{ERROR\}/$message/g;
24    return $retval;
25 }
26
27 sub synerror_print
28 {
29    my $message = shift(@_);
30    my $us = shift(@_);
31    $message =~ s/(\n)/<br>\1/g;
32    my $retval = $synerror_tpl;
33    $retval =~ s/\{ERROR\}/$message/g;
34    $retval =~ s/\{USAGE\}/$us/g;
35    return $retval;
36 }
37
38 #################################################################################################
39 #################################################################################################
40 #################################################################################################
41 # Subrutines to replace values between {} on loaded messages
42 #################################################################################################
43 #################################################################################################
44 #################################################################################################
45
46 sub ok_replace
47 {
48    my $message = shift(@_);
49    my $key = shift(@_);
50    my $s_uri = shift(@_);
51    $message =~ s/\{KEY\}/$key/g;
52    $message =~ s/\{URI\}/$s_uri/g;
53    return $message;
54 }
55
56 sub err_replace
57 {
58    my $message = shift(@_);
59    my $key = shift(@_);
60    my $s_uri = shift(@_);
61    my $errr = shift(@_);
62    $message =~ s/\{KEY\}/$key/g;
63    $message =~ s/\{URI\}/$s_uri/g;
64    $message =~ s/\{ERROR\}/$errr/g;
65    $message =~ s/\{OLDKEY\}/$errr/g;
66    return $message;
67 }
68
69 sub parser_error_replace
70 {
71     my $no_at = shift(@_);
72     $no_at =~ s/(.*)\sat\s(.*)/\1/g;
73     $no_at =~ s/</&lt;/g;
74     $no_at =~ s/>/&gt;/g;
75     return $no_at;
76 }