annotate src/user-prefs.cc @ 1249:86fc40576f22

[project @ 1995-04-11 01:03:08 by jwe]
author jwe
date Tue, 11 Apr 1995 01:03:57 +0000
parents 97c541091d3b
children 611d403c7f3d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1 // user-prefs.cc -*- C++ -*-
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
2 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
3
1009
dfe01093f657 [project @ 1995-01-04 04:05:12 by jwe]
jwe
parents: 987
diff changeset
4 Copyright (C) 1992, 1993, 1994, 1995 John W. Eaton
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
5
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
6 This file is part of Octave.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
7
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
8 Octave is free software; you can redistribute it and/or modify it
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
9 under the terms of the GNU General Public License as published by the
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
10 Free Software Foundation; either version 2, or (at your option) any
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
11 later version.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
12
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
13 Octave is distributed in the hope that it will be useful, but WITHOUT
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
16 for more details.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
17
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
18 You should have received a copy of the GNU General Public License
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
19 along with Octave; see the file COPYING. If not, write to the Free
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
20 Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
21
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
22 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
23
240
a99f28f5e351 [project @ 1993-11-30 20:24:36 by jwe]
jwe
parents: 195
diff changeset
24 #ifdef HAVE_CONFIG_H
1192
b6360f2d4fa6 [project @ 1995-03-30 21:38:35 by jwe]
jwe
parents: 1121
diff changeset
25 #include <config.h>
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
26 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
27
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
28 #include <string.h>
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
29
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
30 #include "user-prefs.h"
1086
75fc98220389 [project @ 1995-01-31 04:17:15 by jwe]
jwe
parents: 1045
diff changeset
31 #include "mappers.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
32 #include "error.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
33 #include "variables.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
34 #include "utils.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
35
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
36 // The list of user preferences. Values change when global variables
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
37 // change, so we don\'t have to do a variable look up every time we
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
38 // need to check a preference.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
39 user_preferences user_pref;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
40
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
41 // Initialize global user_pref structure.
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
42
831
23de7aa68e3a [project @ 1994-10-17 22:03:20 by jwe]
jwe
parents: 720
diff changeset
43 void
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
44 init_user_prefs (void)
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
45 {
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
46 user_pref.automatic_replot = 0;
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
47 user_pref.define_all_return_values = 0;
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
48 user_pref.do_fortran_indexing = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
49 user_pref.empty_list_elements_ok = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
50 user_pref.ignore_function_time_stamp = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
51 user_pref.implicit_str_to_num_ok = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
52 user_pref.ok_to_lose_imaginary_part = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
53 user_pref.output_max_field_width = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
54 user_pref.output_precision = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
55 user_pref.page_screen_output = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
56 user_pref.prefer_column_vectors = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
57 user_pref.prefer_zero_one_indexing = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
58 user_pref.print_answer_id_name = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
59 user_pref.print_empty_dimensions = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
60 user_pref.propagate_empty_matrices = 0;
1045
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
61 user_pref.read_only_constants = 1;
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
62 user_pref.resize_on_range_error = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
63 user_pref.return_last_computed_value = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
64 user_pref.save_precision = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
65 user_pref.silent_functions = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
66 user_pref.split_long_rows = 0;
1198
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
67 user_pref.struct_levels_to_print = 0;
1116
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
68 user_pref.suppress_verbose_help_message = 0;
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
69 user_pref.treat_neg_dim_as_zero = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
70 user_pref.warn_assign_as_truth_value = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
71 user_pref.warn_comma_in_global_decl = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
72 user_pref.warn_divide_by_zero = 0;
1037
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
73 user_pref.warn_function_name_clash = 0;
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
74 user_pref.whitespace_in_literal_matrix = 0;
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
75
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
76 user_pref.default_save_format = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
77 user_pref.editor = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
78 user_pref.gnuplot_binary = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
79 user_pref.imagepath = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
80 user_pref.info_file = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
81 user_pref.loadpath = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
82 user_pref.pager_binary = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
83 user_pref.ps1 = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
84 user_pref.ps2 = 0;
1044
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
85 user_pref.ps4 = 0;
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
86 user_pref.pwd = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
87 }
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
88
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
89 // Check the value of a string variable to see if it it's ok to do
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
90 // something.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
91 //
673
8af8709c349e [project @ 1994-09-07 22:58:35 by jwe]
jwe
parents: 661
diff changeset
92 // return of 1 => always ok.
8af8709c349e [project @ 1994-09-07 22:58:35 by jwe]
jwe
parents: 661
diff changeset
93 // return of 0 => never ok.
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
94 // return of -1 => ok, but give me warning (default).
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
95
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
96 static int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
97 check_str_pref (char *var)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
98 {
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
99 char *val = builtin_string_variable (var);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
100 int pref = -1;
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
101 if (val)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
102 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
103 if (strncmp (val, "yes", 3) == 0
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
104 || strncmp (val, "true", 4) == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
105 pref = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
106 else if (strncmp (val, "never", 5) == 0
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
107 || strncmp (val, "no", 2) == 0
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
108 || strncmp (val, "false", 5) == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
109 pref = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
110 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
111 return pref;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
112 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
113
1198
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
114 // XXX FIXME XXX -- some of these should do their own checking to be
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
115 // able to provide more meaningful warning or error messages.
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
116
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
117 // Should a replot command be generated automatically each time a plot
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
118 // changes in some way?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
119
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
120 int
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
121 automatic_replot (void)
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
122 {
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
123 user_pref.automatic_replot = check_str_pref ("automatic_replot");
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
124
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
125 return 0;
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
126 }
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
127
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
128
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
129 // Should variables returned from functions have default values if
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
130 // they are otherwise uninitialized?
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
131
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
132 int
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
133 define_all_return_values (void)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
134 {
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
135 user_pref.define_all_return_values =
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
136 check_str_pref ("define_all_return_values");
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
137
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
138 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
139 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
140
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
141
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
142 // Should we allow assignments like:
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
143 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
144 // octave> A(1) = 3; A(2) = 5
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
145 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
146 // for A already defined and a matrix type?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
147
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
148 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
149 do_fortran_indexing (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
150 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
151 user_pref.do_fortran_indexing =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
152 check_str_pref ("do_fortran_indexing");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
153
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
154 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
155 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
156
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
157
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
158 // Should ignore empty elements in a matrix list (i.e., is an
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
159 // expression like `[[], 1]' ok?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
160
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
161 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
162 empty_list_elements_ok (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
163 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
164 user_pref.empty_list_elements_ok =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
165 check_str_pref ("empty_list_elements_ok");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
166
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
167 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
168 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
169
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
170
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
171 // Should Octave always check to see if function files have changed
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
172 // since they were last compiled?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
173
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
174 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
175 ignore_function_time_stamp (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
176 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
177 int pref = 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
178
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
179 char *val = builtin_string_variable ("ignore_function_time_stamp");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
180
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
181 if (val)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
182 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
183 if (strncmp (val, "all", 3) == 0)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
184 pref = 2;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
185 if (strncmp (val, "system", 6) == 0)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
186 pref = 1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
187 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
188
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
189 user_pref.ignore_function_time_stamp = pref;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
190
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
191 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
192 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
193
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
194
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
195 // Should we allow things like:
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
196 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
197 // octave> 'abc' + 0
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
198 // 97 98 99
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
199 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
200 // to happen?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
201
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
202 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
203 implicit_str_to_num_ok (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
204 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
205 user_pref.implicit_str_to_num_ok =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
206 check_str_pref ("implicit_str_to_num_ok");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
207
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
208 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
209 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
210
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
211
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
212 // Should we allow silent conversion of complex to real when a real
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
213 // type is what we\'re really looking for?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
214
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
215 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
216 ok_to_lose_imaginary_part (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
217 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
218 user_pref.ok_to_lose_imaginary_part =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
219 check_str_pref ("ok_to_lose_imaginary_part");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
220
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
221 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
222 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
223
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
224
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
225 // If possible, send all output intended for the screen through the
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
226 // pager.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
227
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
228 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
229 page_screen_output (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
230 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
231 user_pref.page_screen_output = check_str_pref ("page_screen_output");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
232
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
233 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
234 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
235
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
236
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
237 // When doing assignments like:
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
238 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
239 // octave> A(1) = 3; A(2) = 5
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
240 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
241 // (for A undefined) should we build column vectors? Returning true
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
242 // only matters when resize_on_range_error is also true.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
243
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
244 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
245 prefer_column_vectors (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
246 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
247 user_pref.prefer_column_vectors =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
248 check_str_pref ("prefer_column_vectors");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
249
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
250 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
251 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
252
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
253
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
254 // For things like
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
255 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
256 // a = [2,3]; a([1,1])
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
257 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
258 // return [2 3] instead of [2 2].
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
259
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
260 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
261 prefer_zero_one_indexing (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
262 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
263 user_pref.prefer_zero_one_indexing =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
264 check_str_pref ("prefer_zero_one_indexing");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
265
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
266 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
267 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
268
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
269
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
270 // Should we print things like
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
271 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
272 // octave> a = [1,2;3,4]
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
273 // a =
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
274 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
275 // 1 2
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
276 // 3 4
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
277
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
278 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
279 print_answer_id_name (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
280 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
281 user_pref.print_answer_id_name =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
282 check_str_pref ("print_answer_id_name");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
283
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
284 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
285 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
286
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
287
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
288 // Should we also print the dimensions of empty matrices?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
289
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
290 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
291 print_empty_dimensions (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
292 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
293 user_pref.print_empty_dimensions =
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
294 check_str_pref ("print_empty_dimensions");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
295
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
296 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
297 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
298
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
299
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
300 // Should operations on empty matrices return empty matrices or an
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
301 // error?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
302
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
303 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
304 propagate_empty_matrices (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
305 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
306 user_pref.propagate_empty_matrices =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
307 check_str_pref ("propagate_empty_matrices");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
308
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
309 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
310 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
311
1045
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
312 // Should built-in constants always be read only?
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
313
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
314 int
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
315 read_only_constants (void)
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
316 {
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
317 user_pref.read_only_constants = check_str_pref ("read_only_constants");
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
318
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
319 return 0;
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
320 }
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
321
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
322 // When doing assignments, should we resize matrices if the indices
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
323 // are outside the current bounds?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
324
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
325 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
326 resize_on_range_error (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
327 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
328 user_pref.resize_on_range_error =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
329 check_str_pref ("resize_on_range_error");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
330
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
331 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
332 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
333
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
334
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
335 // If a function does not return any values explicitly, return the
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
336 // last computed value.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
337
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
338 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
339 return_last_computed_value (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
340 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
341 user_pref.return_last_computed_value =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
342 check_str_pref ("return_last_computed_value");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
343
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
344 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
345 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
346
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
347
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
348 // Suppress printing results in called functions.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
349
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
350 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
351 silent_functions (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
352 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
353 user_pref.silent_functions =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
354 check_str_pref ("silent_functions");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
355
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
356 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
357 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
358
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
359
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
360 // Should should big matrices be split into smaller slices for output?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
361
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
362 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
363 split_long_rows (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
364 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
365 user_pref.split_long_rows = check_str_pref ("split_long_rows");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
366
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
367 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
368 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
369
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
370
1198
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
371 // How many levels of structure elements should we print?
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
372
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
373 int
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
374 struct_levels_to_print (void)
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
375 {
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
376 int status = 0;
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
377
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
378 static int kludge = 0;
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
379
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
380 double val;
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
381 if (builtin_real_scalar_variable ("struct_levels_to_print", val) == 0
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
382 && ! xisnan (val))
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
383 {
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
384 int ival = NINT (val);
1201
97c541091d3b [project @ 1995-03-31 23:16:28 by jwe]
jwe
parents: 1198
diff changeset
385 if (ival >= 0 && (double) ival == val)
1198
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
386 {
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
387 user_pref.struct_levels_to_print = ival;
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
388 return status;
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
389 }
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
390 }
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
391
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
392 if (kludge == 0)
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
393 kludge++;
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
394 else
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
395 {
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
396 warning ("invalid value specified for struct_levels_to_print");
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
397 status = -1;
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
398 }
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
399
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
400 return status;
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
401 }
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
402
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
403
1116
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
404 // Suppress printing of additional help message in help and usage
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
405 // functions?
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
406
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
407 int
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
408 suppress_verbose_help_message (void)
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
409 {
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
410 user_pref.suppress_verbose_help_message =
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
411 check_str_pref ("suppress_verbose_help_message");
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
412
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
413 return 0;
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
414 }
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
415
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
416
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
417 // Should things like:
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
418 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
419 // octave> ones (-1, 5)
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
420 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
421 // result in an empty matrix or an error?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
422
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
423 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
424 treat_neg_dim_as_zero (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
425 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
426 user_pref.treat_neg_dim_as_zero =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
427 check_str_pref ("treat_neg_dim_as_zero");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
428
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
429 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
430 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
431
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
432
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
433 // Generate a warning for the assignment in things like
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
434 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
435 // octave> if (a = 2 < n)
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
436 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
437 // but not
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
438 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
439 // octave> if ((a = 2) < n)
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
440
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
441 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
442 warn_assign_as_truth_value (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
443 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
444 user_pref.warn_assign_as_truth_value =
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
445 check_str_pref ("warn_assign_as_truth_value");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
446
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
447 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
448 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
449
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
450
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
451 // Generate a warning for the comma in things like
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
452 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
453 // octave> global a, b = 2
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
454
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
455 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
456 warn_comma_in_global_decl (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
457 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
458 user_pref.warn_comma_in_global_decl =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
459 check_str_pref ("warn_comma_in_global_decl");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
460
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
461 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
462 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
463
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
464
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
465 // On IEEE machines, allow divide by zero errors to be suppressed.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
466
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
467 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
468 warn_divide_by_zero (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
469 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
470 user_pref.warn_divide_by_zero = check_str_pref ("warn_divide_by_zero");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
471
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
472 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
473 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
474
1037
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
475 // Generate warning if declared function name disagrees with the name
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
476 // of the file in which it is defined.
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
477
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
478 int
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
479 warn_function_name_clash (void)
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
480 {
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
481 user_pref.warn_function_name_clash =
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
482 check_str_pref ("warn_function_name_clash");
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
483
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
484 return 0;
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
485 }
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
486
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
487
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
488 // Should whitespace in a literal matrix list be automatically
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
489 // converted to commas and semicolons?
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
490 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
491 // user specifies value of pref
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
492 // -------------- -------------
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
493 // "ignore" 2
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
494 // "traditional" 1
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
495 // anything else 0
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
496 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
497 // Octave will never insert a comma in a literal matrix list if the
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
498 // user specifies "ignore". For example, the statement [1 2] will
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
499 // result in an error instead of being treated the same as [1, 2], and
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
500 // the statement
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
501 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
502 // [ 1, 2,
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
503 // 3, 4 ]
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
504 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
505 // will result in the vector [1 2 3 4] instead of a matrix.
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
506 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
507 // Traditional behavior makes Octave convert spaces to a comma between
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
508 // identifiers and `('. For example, the statement
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
509 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
510 // [eye (2)]
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
511 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
512 // will be parsed as
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
513 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
514 // [eye, (2)]
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
515 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
516 // and will result in an error since the `eye' function will be
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
517 // called with no arguments. To get around this, you would have to
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
518 // omit the space between `eye' and the `('.
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
519 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
520 // The default value is 0, which results in behavior that is the same
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
521 // as traditional, except that Octave does not convert spaces to a
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
522 // comma between identifiers and `('. For example, the statement
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
523 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
524 // [eye (2)]
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
525 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
526 // will result in a call to `eye' with the argument `2'.
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
527
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
528 int
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
529 whitespace_in_literal_matrix (void)
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
530 {
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
531 int pref = 0;
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
532 char *val = builtin_string_variable ("whitespace_in_literal_matrix");
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
533 if (val)
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
534 {
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
535 if (strncmp (val, "ignore", 6) == 0)
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
536 pref = 2;
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
537 else if (strncmp (val, "traditional", 11) == 0)
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
538 pref = 1;
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
539 }
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
540 user_pref.whitespace_in_literal_matrix = pref;
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
541 return 0;
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
542 }
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
543
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
544
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
545 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
546 set_output_max_field_width (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
547 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
548 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
549
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
550 static int kludge = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
551
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
552 double val;
1086
75fc98220389 [project @ 1995-01-31 04:17:15 by jwe]
jwe
parents: 1045
diff changeset
553 if (builtin_real_scalar_variable ("output_max_field_width", val) == 0
75fc98220389 [project @ 1995-01-31 04:17:15 by jwe]
jwe
parents: 1045
diff changeset
554 && ! xisnan (val))
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
555 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
556 int ival = NINT (val);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
557 if (ival > 0 && (double) ival == val)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
558 {
1198
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
559 user_pref.output_max_field_width = ival;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
560 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
561 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
562 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
563
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
564 if (kludge == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
565 kludge++;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
566 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
567 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
568 warning ("invalid value specified for output_max_field_width");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
569 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
570 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
571
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
572 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
573 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
574
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
575 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
576 set_output_precision (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
577 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
578 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
579
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
580 static int kludge = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
581
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
582 double val;
1086
75fc98220389 [project @ 1995-01-31 04:17:15 by jwe]
jwe
parents: 1045
diff changeset
583 if (builtin_real_scalar_variable ("output_precision", val) == 0
75fc98220389 [project @ 1995-01-31 04:17:15 by jwe]
jwe
parents: 1045
diff changeset
584 && ! xisnan (val))
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
585 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
586 int ival = NINT (val);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
587 if (ival >= 0 && (double) ival == val)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
588 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
589 user_pref.output_precision = ival;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
590 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
591 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
592 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
593
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
594 if (kludge == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
595 kludge++;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
596 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
597 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
598 warning ("invalid value specified for output_precision");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
599 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
600 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
601
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
602 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
603 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
604
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
605 int
275
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
606 set_save_precision (void)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
607 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
608 int status = 0;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
609
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
610 static int kludge = 0;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
611
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
612 double val;
1086
75fc98220389 [project @ 1995-01-31 04:17:15 by jwe]
jwe
parents: 1045
diff changeset
613 if (builtin_real_scalar_variable ("save_precision", val) == 0
75fc98220389 [project @ 1995-01-31 04:17:15 by jwe]
jwe
parents: 1045
diff changeset
614 && ! xisnan (val))
275
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
615 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
616 int ival = NINT (val);
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
617 if (ival >= 0 && (double) ival == val)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
618 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
619 user_pref.save_precision = ival;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
620 return status;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
621 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
622 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
623
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
624 if (kludge == 0)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
625 kludge++;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
626 else
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
627 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
628 warning ("invalid value specified for save_precision");
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
629 status = -1;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
630 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
631
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
632 return status;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
633 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
634
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
635 int
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
636 sv_editor (void)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
637 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
638 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
639
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
640 char *s = builtin_string_variable ("EDITOR");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
641 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
642 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
643 delete [] user_pref.editor;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
644 user_pref.editor = s;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
645 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
646 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
647 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
648 warning ("invalid value specified for EDITOR");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
649 status = -1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
650 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
651
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
652 return status;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
653 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
654
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
655 int
605
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
656 sv_default_save_format (void)
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
657 {
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
658 int status = 0;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
659
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
660 char *s = builtin_string_variable ("default_save_format");
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
661 if (s)
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
662 {
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
663 delete [] user_pref.default_save_format;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
664 user_pref.default_save_format = s;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
665 }
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
666 else
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
667 {
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
668 warning ("invalid value specified for default_save_format");
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
669 status = -1;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
670 }
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
671
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
672 return status;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
673 }
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
674
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
675 int
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
676 sv_gnuplot_binary (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
677 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
678 int status = 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
679
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
680 char *s = builtin_string_variable ("gnuplot_binary");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
681 if (s)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
682 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
683 delete [] user_pref.gnuplot_binary;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
684 user_pref.gnuplot_binary = s;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
685 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
686 else
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
687 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
688 warning ("invalid value specified for gnuplot_binary");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
689 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
690 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
691
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
692 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
693 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
694
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
695 int
686
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
696 sv_imagepath (void)
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
697 {
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
698 int status = 0;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
699
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
700 char *s = builtin_string_variable ("IMAGEPATH");
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
701 if (s)
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
702 {
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
703 delete [] user_pref.imagepath;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
704 user_pref.imagepath = s;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
705 }
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
706 else
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
707 {
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
708 warning ("invalid value specified for IMAGEPATH");
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
709 status = -1;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
710 }
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
711
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
712 return status;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
713 }
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
714
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
715 int
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
716 sv_info_file (void)
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
717 {
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
718 int status = 0;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
719
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
720 char *s = builtin_string_variable ("INFO_FILE");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
721 if (s)
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
722 {
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
723 delete [] user_pref.info_file;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
724 user_pref.info_file = s;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
725 }
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
726 else
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
727 {
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
728 warning ("invalid value specified for INFO_FILE");
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
729 status = -1;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
730 }
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
731
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
732 return status;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
733 }
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
734
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
735 int
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
736 sv_loadpath (void)
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
737 {
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
738 int status = 0;
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
739
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
740 char *s = builtin_string_variable ("LOADPATH");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
741 if (s)
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
742 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
743 delete [] user_pref.loadpath;
1121
46619c5ca048 [project @ 1995-02-17 15:45:07 by jwe]
jwe
parents: 1116
diff changeset
744 user_pref.loadpath = maybe_add_default_load_path (s);
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
745 }
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
746 else
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
747 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
748 warning ("invalid value specified for LOADPATH");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
749 status = -1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
750 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
751
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
752 return status;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
753 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
754
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
755 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
756 sv_pager_binary (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
757 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
758 int status = 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
759
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
760 char *s = builtin_string_variable ("PAGER");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
761 if (s)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
762 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
763 delete [] user_pref.pager_binary;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
764 user_pref.pager_binary = s;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
765 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
766 else
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
767 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
768 warning ("invalid value specified for PAGER");
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
769 status = -1;
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
770 }
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
771
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
772 return status;
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
773 }
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
774
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
775 int
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
776 sv_ps1 (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
777 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
778 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
779
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
780 char *s = builtin_string_variable ("PS1");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
781 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
782 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
783 delete [] user_pref.ps1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
784 user_pref.ps1 = s;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
785 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
786 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
787 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
788 warning ("invalid value specified for PS1");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
789 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
790 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
791
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
792 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
793 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
794
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
795 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
796 sv_ps2 (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
797 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
798 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
799
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
800 char *s = builtin_string_variable ("PS2");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
801 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
802 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
803 delete [] user_pref.ps2;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
804 user_pref.ps2 = s;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
805 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
806 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
807 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
808 warning ("invalid value specified for PS2");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
809 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
810 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
811
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
812 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
813 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
814
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
815 int
1044
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
816 sv_ps4 (void)
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
817 {
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
818 int status = 0;
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
819
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
820 char *s = builtin_string_variable ("PS4");
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
821 if (s)
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
822 {
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
823 delete [] user_pref.ps4;
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
824 user_pref.ps4 = s;
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
825 }
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
826 else
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
827 {
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
828 warning ("invalid value specified for PS4");
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
829 status = -1;
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
830 }
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
831
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
832 return status;
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
833 }
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
834
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
835 int
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
836 sv_pwd (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
837 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
838 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
839
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
840 char *s = builtin_string_variable ("PWD");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
841 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
842 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
843 delete [] user_pref.pwd;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
844 user_pref.pwd = s;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
845 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
846 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
847 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
848 warning ("invalid value specified for PWD");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
849 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
850 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
851
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
852 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
853 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
854
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
855 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
856 ;;; Local Variables: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
857 ;;; mode: C++ ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
858 ;;; page-delimiter: "^/\\*" ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
859 ;;; End: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
860 */