annotate src/user-prefs.cc @ 605:4f65175911a6

[project @ 1994-08-13 20:10:39 by jwe]
author jwe
date Sat, 13 Aug 1994 20:10:39 +0000
parents 7ea224e713cd
children 9ccf86647203
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
275
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
4 Copyright (C) 1992, 1993, 1994 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
a99f28f5e351 [project @ 1993-11-30 20:24:36 by jwe]
jwe
parents: 195
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"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
31 #include "error.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
32 #include "variables.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
33 #include "utils.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
34
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
35 // The list of user preferences. Values change when global variables
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
36 // 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
37 // need to check a preference.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
38 user_preferences user_pref;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
39
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
40 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
41 * Check the value of a string variable to see if it it\'s ok to do
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
42 * something.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
43 *
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
44 * return of -1 => ok, but give me warning (default).
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
45 * return of 0 => always ok.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
46 * return of 1 => never ok.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
47 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
48 static int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
49 check_str_pref (char *var)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
50 {
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
51 char *val = builtin_string_variable (var);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
52 int pref = -1;
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
53 if (val)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
54 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
55 if (strncmp (val, "yes", 3) == 0
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
56 || strncmp (val, "true", 4) == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
57 pref = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
58 else if (strncmp (val, "never", 5) == 0
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
59 || strncmp (val, "no", 2) == 0
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
60 || strncmp (val, "false", 5) == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
61 pref = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
62 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
63 return pref;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
64 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
65
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
66 /*
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
67 * Should commas be required to separate elements in a literal matrix
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
68 * list?
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
69 *
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
70 * user specifies value of pref
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
71 * -------------- -------------
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
72 * "required" 2
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
73 * "traditional" 1
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
74 * anything else 0
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
75 *
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
76 * Octave will never insert a comma in a literal matrix list if the
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
77 * user specifies "required". For example, the statement [1 2] will
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
78 * result in an error instead of being treated the same as [1, 2].
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
79 *
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
80 * Traditional behavior makes Octave convert spaces to a comma between
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
81 * identifiers and `('. For example, the statement
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
82 *
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
83 * [eye (2)]
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
84 *
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
85 * will be parsed as
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
86 *
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
87 * [eye, (2)]
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
88 *
441
b7187b46004f [project @ 1994-05-31 20:50:35 by jwe]
jwe
parents: 430
diff changeset
89 * and will result in an error since the `eye' function will be
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
90 * called with no arguments. To get around this, you would have to
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
91 * omit the space between `eye' and the `('.
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
92 *
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
93 * The default value is 0, which results in behavior that is the same
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
94 * as traditional, except that Octave does not convert spaces to a
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
95 * comma between identifiers and `('. For example, the statement
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
96 *
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
97 * [eye (2)]
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
98 *
441
b7187b46004f [project @ 1994-05-31 20:50:35 by jwe]
jwe
parents: 430
diff changeset
99 * will result in a call to `eye' with the argument `2'.
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
100 */
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
101 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
102 commas_in_literal_matrix (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
103 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
104 int pref = 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
105 char *val = builtin_string_variable ("commas_in_literal_matrix");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
106 if (val)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
107 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
108 if (strncmp (val, "required", 8) == 0)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
109 pref = 2;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
110 else if (strncmp (val, "traditional", 11) == 0)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
111 pref = 1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
112 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
113 user_pref.commas_in_literal_matrix = pref;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
114 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
115 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
116
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
117 /*
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
118 * Should we allow assignments like:
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
119 *
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
120 * octave> A(1) = 3; A(2) = 5
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
121 *
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
122 * for A already defined and a matrix type?
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
123 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
124 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
125 do_fortran_indexing (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
126 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
127 user_pref.do_fortran_indexing =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
128 check_str_pref ("do_fortran_indexing");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
129
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
130 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
131 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
132
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
133 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
134 * Should ignore empty elements in a matrix list (i.e., is an
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
135 * expression like `[[], 1]' ok?
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
136 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
137 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
138 empty_list_elements_ok (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
139 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
140 user_pref.empty_list_elements_ok =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
141 check_str_pref ("empty_list_elements_ok");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
142
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
143 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
144 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
145
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
146 /*
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
147 * Should Octave always check to see if function files have changed
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
148 * since they were last compiled?
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
149 */
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
150 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
151 ignore_function_time_stamp (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
152 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
153 int pref = 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
154
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
155 char *val = builtin_string_variable ("ignore_function_time_stamp");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
156
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
157 if (val)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
158 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
159 if (strncmp (val, "all", 3) == 0)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
160 pref = 2;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
161 if (strncmp (val, "system", 6) == 0)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
162 pref = 1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
163 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
164
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
165 user_pref.ignore_function_time_stamp = pref;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
166
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
167 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
168 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
169
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
170 /*
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
171 * Should we allow things like:
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
172 *
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
173 * octave> 'abc' + 0
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
174 * 97 98 99
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
175 *
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
176 * to happen?
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
177 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
178 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
179 implicit_str_to_num_ok (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
180 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
181 user_pref.implicit_str_to_num_ok =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
182 check_str_pref ("implicit_str_to_num_ok");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
183
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
184 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
185 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
186
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
187 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
188 * Should we allow silent conversion of complex to real when a real
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
189 * type is what we\'re really looking for?
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
190 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
191 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
192 ok_to_lose_imaginary_part (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
193 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
194 user_pref.ok_to_lose_imaginary_part =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
195 check_str_pref ("ok_to_lose_imaginary_part");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
196
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
197 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
198 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
199
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
200 /*
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
201 * If possible, send all output intended for the screen through the
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
202 * pager.
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
203 */
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
204 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
205 page_screen_output (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
206 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
207 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
208
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
209 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
210 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
211
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
212 /*
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
213 * When doing assignments like:
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
214 *
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
215 * octave> A(1) = 3; A(2) = 5
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
216 *
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
217 * (for A undefined) should we build column vectors? Returning true
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
218 * only matters when resize_on_range_error is also true.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
219 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
220 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
221 prefer_column_vectors (void)
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 user_pref.prefer_column_vectors =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
224 check_str_pref ("prefer_column_vectors");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
225
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
226 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
227 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
228
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
229 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
230 * For things like
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
231 *
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
232 * a = [2,3]; a([1,1])
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
233 *
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
234 * return [2 3] instead of [2 2].
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
235 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
236 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
237 prefer_zero_one_indexing (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
238 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
239 user_pref.prefer_zero_one_indexing =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
240 check_str_pref ("prefer_zero_one_indexing");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
241
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
242 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
243 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
244
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
245 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
246 * Should we print things like
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
247 *
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
248 * octave> a = [1,2;3,4]
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
249 * a =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
250 *
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
251 * 1 2
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
252 * 3 4
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
253 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
254 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
255 print_answer_id_name (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
256 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
257 user_pref.print_answer_id_name =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
258 check_str_pref ("print_answer_id_name");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
259
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
260 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
261 }
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 /*
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
264 * Should we also print the dimensions of empty matrices?
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
265 */
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
266 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
267 print_empty_dimensions (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
268 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
269 user_pref.print_empty_dimensions =
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
270 check_str_pref ("print_empty_dimensions");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
271
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
272 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
273 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
274
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
275 /*
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
276 * Should operations on empty matrices return empty matrices or an
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
277 * error?
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
278 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
279 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
280 propagate_empty_matrices (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
281 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
282 user_pref.propagate_empty_matrices =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
283 check_str_pref ("propagate_empty_matrices");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
284
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
285 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
286 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
287
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
288 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
289 * When doing assignments, should we resize matrices if the indices
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
290 * are outside the current bounds?
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
291 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
292 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
293 resize_on_range_error (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
294 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
295 user_pref.resize_on_range_error =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
296 check_str_pref ("resize_on_range_error");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
297
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
298 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
299 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
300
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
301 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
302 * If a function does not return any values explicitly, return the
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
303 * last computed value.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
304 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
305 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
306 return_last_computed_value (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
307 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
308 user_pref.return_last_computed_value =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
309 check_str_pref ("return_last_computed_value");
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 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
312 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
313
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
314 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
315 * Suppress printing results in called functions.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
316 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
317 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
318 silent_functions (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
319 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
320 user_pref.silent_functions =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
321 check_str_pref ("silent_functions");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
322
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
323 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
324 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
325
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
326 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
327 * Should should big matrices be split into smaller slices for output?
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
328 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
329 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
330 split_long_rows (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
331 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
332 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
333
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
334 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
335 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
336
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
337 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
338 * Should things like:
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
339 *
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
340 * octave> ones (-1, 5)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
341 *
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
342 * result in an empty matrix or an error?
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 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
345 treat_neg_dim_as_zero (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
346 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
347 user_pref.treat_neg_dim_as_zero =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
348 check_str_pref ("treat_neg_dim_as_zero");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
349
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
350 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
351 }
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 /*
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
354 * Generate a warning for the assignment in things like
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
355 *
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
356 * octave> if (a = 2 < n)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
357 *
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
358 * but not
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
359 *
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
360 * octave> if ((a = 2) < n)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
361 */
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
362 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
363 warn_assign_as_truth_value (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
364 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
365 user_pref.warn_assign_as_truth_value =
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
366 check_str_pref ("warn_assign_as_truth_value");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
367
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
368 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
369 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
370
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
371 /*
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
372 * Generate a warning for the comma in things like
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
373 *
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
374 * octave> global a, b = 2
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
375 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
376 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
377 warn_comma_in_global_decl (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
378 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
379 user_pref.warn_comma_in_global_decl =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
380 check_str_pref ("warn_comma_in_global_decl");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
381
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
382 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
383 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
384
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
385 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
386 * On IEEE machines, allow divide by zero errors to be suppressed.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
387 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
388 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
389 warn_divide_by_zero (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
390 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
391 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
392
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
393 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
394 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
395
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
396 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
397 set_output_max_field_width (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
398 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
399 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
400
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
401 static int kludge = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
402
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
403 double val;
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
404 if (builtin_real_scalar_variable ("output_max_field_width", val) == 0)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
405 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
406 int ival = NINT (val);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
407 if (ival > 0 && (double) ival == val)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
408 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
409 user_pref.output_max_field_width= ival;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
410 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
411 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
412 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
413
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
414 if (kludge == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
415 kludge++;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
416 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
417 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
418 warning ("invalid value specified for output_max_field_width");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
419 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
420 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
421
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
422 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
423 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
424
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
425 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
426 set_output_precision (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
427 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
428 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
429
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
430 static int kludge = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
431
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
432 double val;
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
433 if (builtin_real_scalar_variable ("output_precision", val) == 0)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
434 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
435 int ival = NINT (val);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
436 if (ival >= 0 && (double) ival == val)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
437 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
438 user_pref.output_precision = ival;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
439 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
440 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
441 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
442
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
443 if (kludge == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
444 kludge++;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
445 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
446 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
447 warning ("invalid value specified for output_precision");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
448 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
449 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
450
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
451 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
452 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
453
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
454 int
275
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
455 set_save_precision (void)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
456 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
457 int status = 0;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
458
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
459 static int kludge = 0;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
460
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
461 double val;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
462 if (builtin_real_scalar_variable ("save_precision", val) == 0)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
463 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
464 int ival = NINT (val);
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
465 if (ival >= 0 && (double) ival == val)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
466 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
467 user_pref.save_precision = ival;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
468 return status;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
469 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
470 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
471
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
472 if (kludge == 0)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
473 kludge++;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
474 else
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
475 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
476 warning ("invalid value specified for save_precision");
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
477 status = -1;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
478 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
479
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
480 return status;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
481 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
482
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
483 int
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
484 sv_editor (void)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
485 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
486 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
487
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
488 char *s = builtin_string_variable ("EDITOR");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
489 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
490 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
491 delete [] user_pref.editor;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
492 user_pref.editor = s;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
493 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
494 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
495 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
496 warning ("invalid value specified for EDITOR");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
497 status = -1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
498 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
499
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
500 return status;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
501 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
502
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
503 int
605
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
504 sv_default_save_format (void)
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
505 {
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
506 int status = 0;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
507
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
508 char *s = builtin_string_variable ("default_save_format");
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
509 if (s)
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
510 {
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
511 delete [] user_pref.default_save_format;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
512 user_pref.default_save_format = s;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
513 }
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
514 else
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
515 {
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
516 warning ("invalid value specified for default_save_format");
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
517 status = -1;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
518 }
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
519
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
520 return status;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
521 }
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
522
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
523 int
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
524 sv_gnuplot_binary (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
525 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
526 int status = 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
527
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
528 char *s = builtin_string_variable ("gnuplot_binary");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
529 if (s)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
530 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
531 delete [] user_pref.gnuplot_binary;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
532 user_pref.gnuplot_binary = s;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
533 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
534 else
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
535 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
536 warning ("invalid value specified for gnuplot_binary");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
537 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
538 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
539
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
540 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
541 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
542
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
543 int
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
544 sv_info_file (void)
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
545 {
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
546 int status = 0;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
547
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
548 char *s = builtin_string_variable ("INFO_FILE");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
549 if (s)
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
550 {
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
551 delete [] user_pref.info_file;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
552 user_pref.info_file = s;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
553 }
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
554 else
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
555 {
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
556 warning ("invalid value specified for INFO_FILE");
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
557 status = -1;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
558 }
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
559
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
560 return status;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
561 }
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
562
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
563 int
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
564 sv_loadpath (void)
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
565 {
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
566 int status = 0;
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
567
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
568 char *s = builtin_string_variable ("LOADPATH");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
569 if (s)
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
570 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
571 delete [] user_pref.loadpath;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
572 user_pref.loadpath = s;
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
573 }
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
574 else
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
575 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
576 warning ("invalid value specified for LOADPATH");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
577 status = -1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
578 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
579
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
580 return status;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
581 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
582
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
583 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
584 sv_pager_binary (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
585 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
586 int status = 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
587
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
588 char *s = builtin_string_variable ("PAGER");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
589 if (s)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
590 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
591 delete [] user_pref.pager_binary;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
592 user_pref.pager_binary = s;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
593 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
594 else
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
595 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
596 warning ("invalid value specified for PAGER");
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
597 status = -1;
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
598 }
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
599
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
600 return status;
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
601 }
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
602
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
603 int
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
604 sv_ps1 (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
605 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
606 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
607
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
608 char *s = builtin_string_variable ("PS1");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
609 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
610 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
611 delete [] user_pref.ps1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
612 user_pref.ps1 = s;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
613 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
614 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
615 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
616 warning ("invalid value specified for PS1");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
617 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
618 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
619
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
620 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
621 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
622
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
623 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
624 sv_ps2 (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
625 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
626 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
627
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
628 char *s = builtin_string_variable ("PS2");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
629 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
630 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
631 delete [] user_pref.ps2;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
632 user_pref.ps2 = s;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
633 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
634 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
635 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
636 warning ("invalid value specified for PS2");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
637 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
638 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
639
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
640 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
641 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
642
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
643 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
644 sv_pwd (void)
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 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
647
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
648 char *s = builtin_string_variable ("PWD");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
649 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
650 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
651 delete [] user_pref.pwd;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
652 user_pref.pwd = s;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
653 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
654 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
655 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
656 warning ("invalid value specified for PWD");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
657 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
658 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
659
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
660 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
661 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
662
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
663 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
664 ;;; Local Variables: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
665 ;;; mode: C++ ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
666 ;;; page-delimiter: "^/\\*" ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
667 ;;; End: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
668 */