annotate src/user-prefs.cc @ 1037:d383ec996ee1

[project @ 1995-01-17 03:20:16 by jwe]
author jwe
date Tue, 17 Jan 1995 03:20:23 +0000
parents dfe01093f657
children 1aa6f2edd975
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
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
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
40 // Initialize global user_pref structure.
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
41
831
23de7aa68e3a [project @ 1994-10-17 22:03:20 by jwe]
jwe
parents: 720
diff changeset
42 void
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
43 init_user_prefs (void)
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
44 {
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
45 user_pref.automatic_replot = 0;
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
46 user_pref.whitespace_in_literal_matrix = 0;
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
47 user_pref.do_fortran_indexing = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
48 user_pref.empty_list_elements_ok = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
49 user_pref.ignore_function_time_stamp = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
50 user_pref.implicit_str_to_num_ok = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
51 user_pref.ok_to_lose_imaginary_part = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
52 user_pref.output_max_field_width = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
53 user_pref.output_precision = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
54 user_pref.page_screen_output = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
55 user_pref.prefer_column_vectors = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
56 user_pref.prefer_zero_one_indexing = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
57 user_pref.print_answer_id_name = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
58 user_pref.print_empty_dimensions = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
59 user_pref.propagate_empty_matrices = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
60 user_pref.resize_on_range_error = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
61 user_pref.return_last_computed_value = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
62 user_pref.save_precision = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
63 user_pref.silent_functions = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
64 user_pref.split_long_rows = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
65 user_pref.treat_neg_dim_as_zero = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
66 user_pref.warn_assign_as_truth_value = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
67 user_pref.warn_comma_in_global_decl = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
68 user_pref.warn_divide_by_zero = 0;
1037
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
69 user_pref.warn_function_name_clash = 0;
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
70
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
71 user_pref.default_save_format = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
72 user_pref.editor = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
73 user_pref.gnuplot_binary = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
74 user_pref.imagepath = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
75 user_pref.info_file = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
76 user_pref.loadpath = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
77 user_pref.pager_binary = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
78 user_pref.ps1 = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
79 user_pref.ps2 = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
80 user_pref.pwd = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
81 }
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
82
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
83 // 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
84 // something.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
85 //
673
8af8709c349e [project @ 1994-09-07 22:58:35 by jwe]
jwe
parents: 661
diff changeset
86 // return of 1 => always ok.
8af8709c349e [project @ 1994-09-07 22:58:35 by jwe]
jwe
parents: 661
diff changeset
87 // return of 0 => never ok.
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
88 // return of -1 => ok, but give me warning (default).
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
89
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
90 static int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
91 check_str_pref (char *var)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
92 {
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
93 char *val = builtin_string_variable (var);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
94 int pref = -1;
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
95 if (val)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
96 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
97 if (strncmp (val, "yes", 3) == 0
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
98 || strncmp (val, "true", 4) == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
99 pref = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
100 else if (strncmp (val, "never", 5) == 0
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
101 || strncmp (val, "no", 2) == 0
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
102 || strncmp (val, "false", 5) == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
103 pref = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
104 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
105 return pref;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
106 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
107
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
108 // 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
109 // changes in some way?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
110
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
111 int
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
112 automatic_replot (void)
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
113 {
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
114 user_pref.automatic_replot = check_str_pref ("automatic_replot");
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
115
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
116 return 0;
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
117 }
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
118
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
119
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
120 // Should whitespace in a literal matrix list be automatically
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
121 // converted to commas and semicolons?
661
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 specifies value of pref
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
124 // -------------- -------------
987
0c95f3b2d3ec [project @ 1994-12-15 01:18:38 by jwe]
jwe
parents: 984
diff changeset
125 // "ignore" 2
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
126 // "traditional" 1
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
127 // anything else 0
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
128 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
129 // Octave will never insert a comma in a literal matrix list if the
987
0c95f3b2d3ec [project @ 1994-12-15 01:18:38 by jwe]
jwe
parents: 984
diff changeset
130 // user specifies "ignore". For example, the statement [1 2] will
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
131 // result in an error instead of being treated the same as [1, 2], and
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
132 // the statement
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
133 //
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
134 // [ 1, 2,
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
135 // 3, 4 ]
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
136 //
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
137 // will result in the vector [1 2 3 4] instead of a matrix.
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
138 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
139 // Traditional behavior makes Octave convert spaces to a comma between
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
140 // identifiers and `('. For example, the statement
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 // [eye (2)]
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 // will be parsed as
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 // [eye, (2)]
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
147 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
148 // and will result in an error since the `eye' function will be
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
149 // called with no arguments. To get around this, you would have to
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
150 // omit the space between `eye' and the `('.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
151 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
152 // The default value is 0, which results in behavior that is the same
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
153 // as traditional, except that Octave does not convert spaces to a
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
154 // comma between identifiers and `('. For example, the statement
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
155 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
156 // [eye (2)]
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 // will result in a call to `eye' with the argument `2'.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
159
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
160 int
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
161 whitespace_in_literal_matrix (void)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
162 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
163 int pref = 0;
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
164 char *val = builtin_string_variable ("whitespace_in_literal_matrix");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
165 if (val)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
166 {
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
167 if (strncmp (val, "ignore", 6) == 0)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
168 pref = 2;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
169 else if (strncmp (val, "traditional", 11) == 0)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
170 pref = 1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
171 }
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
172 user_pref.whitespace_in_literal_matrix = pref;
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
173 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
174 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
175
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
176
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
177 // Should we allow assignments like:
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
178 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
179 // octave> A(1) = 3; A(2) = 5
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
180 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
181 // for A already defined and a matrix type?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
182
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
183 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
184 do_fortran_indexing (void)
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 user_pref.do_fortran_indexing =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
187 check_str_pref ("do_fortran_indexing");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
188
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
189 return 0;
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
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
192
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
193 // 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
194 // expression like `[[], 1]' ok?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
195
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
196 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
197 empty_list_elements_ok (void)
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 user_pref.empty_list_elements_ok =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
200 check_str_pref ("empty_list_elements_ok");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
201
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
202 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
203 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
204
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
205
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
206 // 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
207 // since they were last compiled?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
208
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
209 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
210 ignore_function_time_stamp (void)
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 int pref = 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
213
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
214 char *val = builtin_string_variable ("ignore_function_time_stamp");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
215
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
216 if (val)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
217 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
218 if (strncmp (val, "all", 3) == 0)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
219 pref = 2;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
220 if (strncmp (val, "system", 6) == 0)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
221 pref = 1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
222 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
223
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
224 user_pref.ignore_function_time_stamp = pref;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
225
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
226 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
227 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
228
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
229
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
230 // Should we allow things like:
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
231 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
232 // octave> 'abc' + 0
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
233 // 97 98 99
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
234 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
235 // to happen?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
236
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
237 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
238 implicit_str_to_num_ok (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
239 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
240 user_pref.implicit_str_to_num_ok =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
241 check_str_pref ("implicit_str_to_num_ok");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
242
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
243 return 0;
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
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
246
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
247 // 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
248 // type is what we\'re really looking for?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
249
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
250 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
251 ok_to_lose_imaginary_part (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
252 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
253 user_pref.ok_to_lose_imaginary_part =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
254 check_str_pref ("ok_to_lose_imaginary_part");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
255
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
256 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
257 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
258
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
259
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
260 // 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
261 // pager.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
262
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
263 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
264 page_screen_output (void)
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 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
267
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
268 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
269 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
270
661
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 // When doing assignments like:
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
273 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
274 // octave> A(1) = 3; A(2) = 5
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
275 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
276 // (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
277 // 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
278
1
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 prefer_column_vectors (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.prefer_column_vectors =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
283 check_str_pref ("prefer_column_vectors");
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
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
288
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
289 // For things like
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
290 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
291 // a = [2,3]; a([1,1])
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
292 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
293 // return [2 3] instead of [2 2].
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
294
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
295 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
296 prefer_zero_one_indexing (void)
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 user_pref.prefer_zero_one_indexing =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
299 check_str_pref ("prefer_zero_one_indexing");
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 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
302 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
303
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
304
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
305 // Should we print things like
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
306 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
307 // octave> a = [1,2;3,4]
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
308 // a =
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
309 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
310 // 1 2
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
311 // 3 4
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
312
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
313 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
314 print_answer_id_name (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
315 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
316 user_pref.print_answer_id_name =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
317 check_str_pref ("print_answer_id_name");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
318
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
319 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
320 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
321
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
322
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
323 // Should we also print the dimensions of empty matrices?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
324
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
325 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
326 print_empty_dimensions (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
327 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
328 user_pref.print_empty_dimensions =
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
329 check_str_pref ("print_empty_dimensions");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
330
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
331 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
332 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
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 // 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
336 // error?
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 propagate_empty_matrices (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.propagate_empty_matrices =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
342 check_str_pref ("propagate_empty_matrices");
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 // 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
349 // are outside the current bounds?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
350
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
351 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
352 resize_on_range_error (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
353 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
354 user_pref.resize_on_range_error =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
355 check_str_pref ("resize_on_range_error");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
356
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
357 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
358 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
359
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
360
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
361 // 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
362 // last computed value.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
363
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
364 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
365 return_last_computed_value (void)
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 user_pref.return_last_computed_value =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
368 check_str_pref ("return_last_computed_value");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
369
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
370 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
371 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
372
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
373
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
374 // Suppress printing results in called functions.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
375
1
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 silent_functions (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.silent_functions =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
380 check_str_pref ("silent_functions");
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
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
385
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
386 // 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
387
1
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 split_long_rows (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.split_long_rows = check_str_pref ("split_long_rows");
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
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
396
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
397 // Should things like:
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
398 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
399 // octave> ones (-1, 5)
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
400 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
401 // result in an empty matrix or an error?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
402
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
403 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
404 treat_neg_dim_as_zero (void)
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 user_pref.treat_neg_dim_as_zero =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
407 check_str_pref ("treat_neg_dim_as_zero");
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 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
410 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
411
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
412
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
413 // Generate a warning for the assignment in things like
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
414 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
415 // octave> if (a = 2 < n)
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
416 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
417 // but not
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> if ((a = 2) < n)
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
420
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
421 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
422 warn_assign_as_truth_value (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
423 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
424 user_pref.warn_assign_as_truth_value =
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
425 check_str_pref ("warn_assign_as_truth_value");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
426
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
427 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
428 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
429
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
430
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
431 // Generate a warning for the comma in things like
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 // octave> global a, b = 2
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
434
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
435 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
436 warn_comma_in_global_decl (void)
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.warn_comma_in_global_decl =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
439 check_str_pref ("warn_comma_in_global_decl");
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 return 0;
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
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
444
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
445 // 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
446
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
447 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
448 warn_divide_by_zero (void)
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 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
451
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
452 return 0;
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
1037
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
455 // 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
456 // of the file in which it is defined.
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
457
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
458 int
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
459 warn_function_name_clash (void)
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
460 {
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
461 user_pref.warn_function_name_clash =
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
462 check_str_pref ("warn_function_name_clash");
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
463
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
464 return 0;
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
465 }
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
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 set_output_max_field_width (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 int status = 0;
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 static int kludge = 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 double val;
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
475 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
476 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
477 int ival = NINT (val);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
478 if (ival > 0 && (double) ival == val)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
479 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
480 user_pref.output_max_field_width= ival;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
481 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
482 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
483 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
484
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
485 if (kludge == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
486 kludge++;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
487 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
488 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
489 warning ("invalid value specified for output_max_field_width");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
490 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
491 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
492
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
493 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
494 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
495
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
496 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
497 set_output_precision (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
498 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
499 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
500
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
501 static int kludge = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
502
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
503 double val;
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
504 if (builtin_real_scalar_variable ("output_precision", val) == 0)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
505 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
506 int ival = NINT (val);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
507 if (ival >= 0 && (double) ival == val)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
508 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
509 user_pref.output_precision = ival;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
510 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
511 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
512 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
513
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
514 if (kludge == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
515 kludge++;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
516 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
517 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
518 warning ("invalid value specified for output_precision");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
519 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
520 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
521
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
522 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
523 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
524
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
525 int
275
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
526 set_save_precision (void)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
527 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
528 int status = 0;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
529
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
530 static int kludge = 0;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
531
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
532 double val;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
533 if (builtin_real_scalar_variable ("save_precision", val) == 0)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
534 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
535 int ival = NINT (val);
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
536 if (ival >= 0 && (double) ival == val)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
537 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
538 user_pref.save_precision = ival;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
539 return status;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
540 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
541 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
542
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
543 if (kludge == 0)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
544 kludge++;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
545 else
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
546 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
547 warning ("invalid value specified for save_precision");
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
548 status = -1;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
549 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
550
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
551 return status;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
552 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
553
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
554 int
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
555 sv_editor (void)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
556 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
557 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
558
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
559 char *s = builtin_string_variable ("EDITOR");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
560 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
561 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
562 delete [] user_pref.editor;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
563 user_pref.editor = s;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
564 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
565 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
566 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
567 warning ("invalid value specified for EDITOR");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
568 status = -1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
569 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
570
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
571 return status;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
572 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
573
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
574 int
605
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
575 sv_default_save_format (void)
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
576 {
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
577 int status = 0;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
578
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
579 char *s = builtin_string_variable ("default_save_format");
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
580 if (s)
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
581 {
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
582 delete [] user_pref.default_save_format;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
583 user_pref.default_save_format = s;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
584 }
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
585 else
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
586 {
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
587 warning ("invalid value specified for default_save_format");
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
588 status = -1;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
589 }
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
590
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
591 return status;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
592 }
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
593
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
594 int
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
595 sv_gnuplot_binary (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
596 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
597 int status = 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
598
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
599 char *s = builtin_string_variable ("gnuplot_binary");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
600 if (s)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
601 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
602 delete [] user_pref.gnuplot_binary;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
603 user_pref.gnuplot_binary = s;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
604 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
605 else
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
606 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
607 warning ("invalid value specified for gnuplot_binary");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
608 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
609 }
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 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
612 }
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 int
686
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
615 sv_imagepath (void)
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
616 {
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
617 int status = 0;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
618
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
619 char *s = builtin_string_variable ("IMAGEPATH");
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
620 if (s)
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
621 {
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
622 delete [] user_pref.imagepath;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
623 user_pref.imagepath = s;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
624 }
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
625 else
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
626 {
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
627 warning ("invalid value specified for IMAGEPATH");
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
628 status = -1;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
629 }
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
630
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
631 return status;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
632 }
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
633
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
634 int
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
635 sv_info_file (void)
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
636 {
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
637 int status = 0;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
638
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
639 char *s = builtin_string_variable ("INFO_FILE");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
640 if (s)
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
641 {
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
642 delete [] user_pref.info_file;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
643 user_pref.info_file = s;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
644 }
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
645 else
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
646 {
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
647 warning ("invalid value specified for INFO_FILE");
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
648 status = -1;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
649 }
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
650
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
651 return status;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
652 }
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
653
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
654 int
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
655 sv_loadpath (void)
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
656 {
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
657 int status = 0;
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
658
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
659 char *s = builtin_string_variable ("LOADPATH");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
660 if (s)
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
661 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
662 delete [] user_pref.loadpath;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
663 user_pref.loadpath = s;
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
664 }
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
665 else
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
666 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
667 warning ("invalid value specified for LOADPATH");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
668 status = -1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
669 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
670
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
671 return status;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
672 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
673
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
674 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
675 sv_pager_binary (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
676 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
677 int status = 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
678
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
679 char *s = builtin_string_variable ("PAGER");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
680 if (s)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
681 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
682 delete [] user_pref.pager_binary;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
683 user_pref.pager_binary = s;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
684 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
685 else
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
686 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
687 warning ("invalid value specified for PAGER");
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
688 status = -1;
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
689 }
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
690
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
691 return status;
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
692 }
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
693
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
694 int
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
695 sv_ps1 (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
696 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
697 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
698
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
699 char *s = builtin_string_variable ("PS1");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
700 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
701 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
702 delete [] user_pref.ps1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
703 user_pref.ps1 = s;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
704 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
705 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
706 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
707 warning ("invalid value specified for PS1");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
708 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
709 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
710
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
711 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
712 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
713
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
714 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
715 sv_ps2 (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
716 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
717 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
718
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
719 char *s = builtin_string_variable ("PS2");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
720 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
721 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
722 delete [] user_pref.ps2;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
723 user_pref.ps2 = s;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
724 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
725 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
726 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
727 warning ("invalid value specified for PS2");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
728 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
729 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
730
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
731 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
732 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
733
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
734 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
735 sv_pwd (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
736 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
737 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
738
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
739 char *s = builtin_string_variable ("PWD");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
740 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
741 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
742 delete [] user_pref.pwd;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
743 user_pref.pwd = s;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
744 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
745 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
746 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
747 warning ("invalid value specified for PWD");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
748 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
749 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
750
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
751 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
752 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
753
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
754 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
755 ;;; Local Variables: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
756 ;;; mode: C++ ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
757 ;;; page-delimiter: "^/\\*" ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
758 ;;; End: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
759 */