annotate src/user-prefs.cc @ 1192:b6360f2d4fa6

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