]> matita.cs.unibo.it Git - helm.git/blob - helm/hxsp/splitted/1.globvars.p.pl
ocaml 3.09 transition
[helm.git] / helm / hxsp / splitted / 1.globvars.p.pl
1 #################################################################################################
2 #################################################################################################
3 #################################################################################################
4 # Global Variables
5 #################################################################################################
6 #################################################################################################
7 #################################################################################################
8
9 # Version number
10 my $ver ="1.0";
11
12 # Working path of hxsp (loaded from config)
13 my $working_path;
14
15 # Interface language (loaded from config)
16 my $language;
17
18 # Port to use for hxsp (loaded from config)
19 my $port;
20
21 # Use complete command description on syntax error if ON (loaded from config)
22 my $all_usage_synerr;
23
24 # Include XIncludes on the fly if ON (loaded from config)
25 my $expand_xinc;
26
27 # Max Depth of the DOM tree while parsing
28 my $max_depth;
29
30 # Message sent when hxsp was called without commands (loaded from message.##)
31 my $home_message;
32
33 # Message sent when hxsp was called with the help command (loaded from message.##)
34 my $help_message;
35
36 # Message sent when a stylesheet is added (loaded from message.##)
37 my $s_add;
38
39 # Message sent when a stylesheet is reloaded (loaded from message.##)
40 my $s_reload;
41
42 # Message sent when a stylesheet is removed (loaded from message.##)
43 my $s_remove;
44
45 # Message to print the stylesheet status for list command (loaded from message.##)
46 my $list;
47
48 # Message sent when the list command was called
49 # and there is no stylesheet loaded (loaded from message.##)
50 my $empty;
51
52 # Message sent after "home_message" when hxsp was called without commands
53 # and sent after "help_message" when hxsp was called with the help command
54 # and after all syntax errors if "all_usage_synerr" is set ON (loaded from message.##)
55 my $all_usage;
56
57 # All the following syntax errors messages are used #only# if "all_usage_synerr" is set OFF
58
59 # Message sent on help syntax errors (loaded from message.##)
60 my $help_usage;
61
62 # Message sent on add syntax errors (loaded from message.##)
63 my $add_usage;
64
65 # Message sent on remove syntax errors (loaded from message.##)
66 my $remove_usage;
67
68 # Message sent on list syntax errors (loaded from message.##)
69 my $list_usage;
70
71 # Message sent on reload syntax errors (loaded from message.##)
72 my $reload_usage;
73
74 # Message sent on apply syntax errors (loaded from message.##)
75 my $apply_usage;
76
77 # The error hash contains the error messages to call in case of syntax
78 # or operative errors, the keys are defined by the left value of each line in error##
79 my %error;
80
81 # load ok template
82 my $ok_tpl;
83
84 # load operror template
85 my $operror_tpl;
86
87 # load synerror template
88 my $synerror_tpl;
89
90 # This is the data structure to store the loaded stylesheets (hash of array)
91 # [0] :Styleseet URI , [1] : Loaded styleseet
92 my %stylesheet_hash;
93
94 # This is a hash for fast duplicate uri detection
95 my %by_name;