annotate src/user-prefs.cc @ 1093:51fd9e40a7f7

[project @ 1995-02-03 21:57:34 by jwe]
author jwe
date Fri, 03 Feb 1995 21:57:34 +0000
parents 75fc98220389
children 0e2974c1cc37
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"
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;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
67 user_pref.treat_neg_dim_as_zero = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
68 user_pref.warn_assign_as_truth_value = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
69 user_pref.warn_comma_in_global_decl = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
70 user_pref.warn_divide_by_zero = 0;
1037
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
71 user_pref.warn_function_name_clash = 0;
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
72 user_pref.whitespace_in_literal_matrix = 0;
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
73
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
74 user_pref.default_save_format = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
75 user_pref.editor = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
76 user_pref.gnuplot_binary = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
77 user_pref.imagepath = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
78 user_pref.info_file = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
79 user_pref.loadpath = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
80 user_pref.pager_binary = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
81 user_pref.ps1 = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
82 user_pref.ps2 = 0;
1044
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
83 user_pref.ps4 = 0;
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
84 user_pref.pwd = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
85 }
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
86
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
87 // 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
88 // something.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
89 //
673
8af8709c349e [project @ 1994-09-07 22:58:35 by jwe]
jwe
parents: 661
diff changeset
90 // return of 1 => always ok.
8af8709c349e [project @ 1994-09-07 22:58:35 by jwe]
jwe
parents: 661
diff changeset
91 // return of 0 => never ok.
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
92 // return of -1 => ok, but give me warning (default).
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
93
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
94 static int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
95 check_str_pref (char *var)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
96 {
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
97 char *val = builtin_string_variable (var);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
98 int pref = -1;
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
99 if (val)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
100 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
101 if (strncmp (val, "yes", 3) == 0
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
102 || strncmp (val, "true", 4) == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
103 pref = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
104 else if (strncmp (val, "never", 5) == 0
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
105 || strncmp (val, "no", 2) == 0
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
106 || strncmp (val, "false", 5) == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
107 pref = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
108 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
109 return pref;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
110 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
111
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
112 // 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
113 // changes in some way?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
114
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
115 int
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
116 automatic_replot (void)
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 user_pref.automatic_replot = check_str_pref ("automatic_replot");
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
119
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
120 return 0;
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
121 }
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
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
124 // Should variables returned from functions have default values if
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
125 // they are otherwise uninitialized?
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
126
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
127 int
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
128 define_all_return_values (void)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
129 {
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
130 user_pref.define_all_return_values =
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
131 check_str_pref ("define_all_return_values");
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
132
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
133 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
134 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
135
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
136
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
137 // Should we allow assignments like:
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 // octave> A(1) = 3; A(2) = 5
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
140 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
141 // for A already defined and a matrix type?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
142
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
143 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
144 do_fortran_indexing (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
145 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
146 user_pref.do_fortran_indexing =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
147 check_str_pref ("do_fortran_indexing");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
148
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
149 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
150 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
151
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
152
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
153 // 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
154 // expression like `[[], 1]' ok?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
155
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
156 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
157 empty_list_elements_ok (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
158 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
159 user_pref.empty_list_elements_ok =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
160 check_str_pref ("empty_list_elements_ok");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
161
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
162 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
163 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
164
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
165
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
166 // 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
167 // since they were last compiled?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
168
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
169 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
170 ignore_function_time_stamp (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
171 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
172 int pref = 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
173
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
174 char *val = builtin_string_variable ("ignore_function_time_stamp");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
175
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
176 if (val)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
177 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
178 if (strncmp (val, "all", 3) == 0)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
179 pref = 2;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
180 if (strncmp (val, "system", 6) == 0)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
181 pref = 1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
182 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
183
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
184 user_pref.ignore_function_time_stamp = pref;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
185
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
186 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
187 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
188
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
189
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
190 // Should we allow things like:
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
191 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
192 // octave> 'abc' + 0
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
193 // 97 98 99
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
194 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
195 // to happen?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
196
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
197 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
198 implicit_str_to_num_ok (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
199 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
200 user_pref.implicit_str_to_num_ok =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
201 check_str_pref ("implicit_str_to_num_ok");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
202
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
203 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
204 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
205
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
206
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
207 // 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
208 // type is what we\'re really looking for?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
209
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
210 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
211 ok_to_lose_imaginary_part (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
212 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
213 user_pref.ok_to_lose_imaginary_part =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
214 check_str_pref ("ok_to_lose_imaginary_part");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
215
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
216 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
217 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
218
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
219
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
220 // 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
221 // pager.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
222
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
223 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
224 page_screen_output (void)
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 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
227
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
228 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
229 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
230
661
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 // When doing assignments like:
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
233 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
234 // octave> A(1) = 3; A(2) = 5
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
235 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
236 // (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
237 // 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
238
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
239 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
240 prefer_column_vectors (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
241 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
242 user_pref.prefer_column_vectors =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
243 check_str_pref ("prefer_column_vectors");
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 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
246 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
247
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
248
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
249 // For things like
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
250 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
251 // a = [2,3]; a([1,1])
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
252 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
253 // return [2 3] instead of [2 2].
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
254
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
255 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
256 prefer_zero_one_indexing (void)
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 user_pref.prefer_zero_one_indexing =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
259 check_str_pref ("prefer_zero_one_indexing");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
260
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
261 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
262 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
263
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
264
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
265 // Should we print things like
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
266 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
267 // octave> a = [1,2;3,4]
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
268 // a =
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
269 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
270 // 1 2
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
271 // 3 4
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
272
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
273 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
274 print_answer_id_name (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
275 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
276 user_pref.print_answer_id_name =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
277 check_str_pref ("print_answer_id_name");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
278
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
279 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
280 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
281
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
282
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
283 // Should we also print the dimensions of empty matrices?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
284
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
285 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
286 print_empty_dimensions (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
287 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
288 user_pref.print_empty_dimensions =
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
289 check_str_pref ("print_empty_dimensions");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
290
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
291 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
292 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
293
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
294
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
295 // 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
296 // error?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
297
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
298 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
299 propagate_empty_matrices (void)
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 user_pref.propagate_empty_matrices =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
302 check_str_pref ("propagate_empty_matrices");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
303
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
304 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
305 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
306
1045
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
307 // Should built-in constants always be read only?
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
308
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
309 int
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
310 read_only_constants (void)
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
311 {
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
312 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
313
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
314 return 0;
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
315 }
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
316
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
317 // 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
318 // are outside the current bounds?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
319
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
320 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
321 resize_on_range_error (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
322 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
323 user_pref.resize_on_range_error =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
324 check_str_pref ("resize_on_range_error");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
325
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
326 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
327 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
328
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
329
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
330 // 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
331 // last computed value.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
332
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
333 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
334 return_last_computed_value (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
335 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
336 user_pref.return_last_computed_value =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
337 check_str_pref ("return_last_computed_value");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
338
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
339 return 0;
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
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
342
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
343 // Suppress printing results in called functions.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
344
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
345 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
346 silent_functions (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
347 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
348 user_pref.silent_functions =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
349 check_str_pref ("silent_functions");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
350
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
351 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
352 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
353
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
354
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
355 // 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
356
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
357 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
358 split_long_rows (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
359 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
360 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
361
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
362 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
363 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
364
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
365
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
366 // Should things like:
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
367 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
368 // octave> ones (-1, 5)
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
369 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
370 // result in an empty matrix or an error?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
371
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
372 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
373 treat_neg_dim_as_zero (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
374 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
375 user_pref.treat_neg_dim_as_zero =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
376 check_str_pref ("treat_neg_dim_as_zero");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
377
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
378 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
379 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
380
661
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 // Generate a warning for the assignment in things like
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 // octave> if (a = 2 < n)
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 // but not
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
387 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
388 // octave> if ((a = 2) < n)
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
389
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
390 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
391 warn_assign_as_truth_value (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
392 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
393 user_pref.warn_assign_as_truth_value =
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
394 check_str_pref ("warn_assign_as_truth_value");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
395
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
396 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
397 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
398
661
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 // Generate a warning for the comma in things like
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> global a, b = 2
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
403
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
404 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
405 warn_comma_in_global_decl (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
406 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
407 user_pref.warn_comma_in_global_decl =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
408 check_str_pref ("warn_comma_in_global_decl");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
409
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
410 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
411 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
412
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 // 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
415
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
416 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
417 warn_divide_by_zero (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
418 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
419 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
420
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
421 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
422 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
423
1037
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
424 // 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
425 // of the file in which it is defined.
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
426
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
427 int
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
428 warn_function_name_clash (void)
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
429 {
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
430 user_pref.warn_function_name_clash =
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
431 check_str_pref ("warn_function_name_clash");
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
432
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
433 return 0;
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
434 }
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
435
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
436
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
437 // Should whitespace in a literal matrix list be automatically
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
438 // converted to commas and semicolons?
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
439 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
440 // user specifies value of pref
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
441 // -------------- -------------
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
442 // "ignore" 2
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
443 // "traditional" 1
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
444 // anything else 0
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
445 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
446 // 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
447 // 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
448 // 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
449 // the statement
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 // [ 1, 2,
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
452 // 3, 4 ]
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 // 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
455 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
456 // 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
457 // identifiers and `('. For example, the statement
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
458 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
459 // [eye (2)]
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
460 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
461 // will be parsed as
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
462 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
463 // [eye, (2)]
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 // 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
466 // 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
467 // omit the space between `eye' and the `('.
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
468 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
469 // 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
470 // 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
471 // comma between 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 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
476
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
477 int
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
478 whitespace_in_literal_matrix (void)
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
479 {
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
480 int pref = 0;
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
481 char *val = builtin_string_variable ("whitespace_in_literal_matrix");
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
482 if (val)
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
483 {
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
484 if (strncmp (val, "ignore", 6) == 0)
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
485 pref = 2;
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
486 else if (strncmp (val, "traditional", 11) == 0)
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
487 pref = 1;
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 user_pref.whitespace_in_literal_matrix = pref;
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
490 return 0;
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
491 }
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
492
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
493
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
494 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
495 set_output_max_field_width (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
496 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
497 int status = 0;
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 static int kludge = 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 double val;
1086
75fc98220389 [project @ 1995-01-31 04:17:15 by jwe]
jwe
parents: 1045
diff changeset
502 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
503 && ! xisnan (val))
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
504 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
505 int ival = NINT (val);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
506 if (ival > 0 && (double) ival == val)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
507 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
508 user_pref.output_max_field_width= ival;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
509 return status;
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 }
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 if (kludge == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
514 kludge++;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
515 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
516 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
517 warning ("invalid value specified for output_max_field_width");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
518 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
519 }
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 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
522 }
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 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
525 set_output_precision (void)
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 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
528
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
529 static int kludge = 0;
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 double val;
1086
75fc98220389 [project @ 1995-01-31 04:17:15 by jwe]
jwe
parents: 1045
diff changeset
532 if (builtin_real_scalar_variable ("output_precision", val) == 0
75fc98220389 [project @ 1995-01-31 04:17:15 by jwe]
jwe
parents: 1045
diff changeset
533 && ! xisnan (val))
1
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 int ival = NINT (val);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
536 if (ival >= 0 && (double) ival == val)
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 user_pref.output_precision = ival;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
539 return status;
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 }
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 if (kludge == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
544 kludge++;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
545 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
546 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
547 warning ("invalid value specified for output_precision");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
548 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
549 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
550
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
551 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
552 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
553
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
554 int
275
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
555 set_save_precision (void)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
556 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
557 int status = 0;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
558
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
559 static int kludge = 0;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
560
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
561 double val;
1086
75fc98220389 [project @ 1995-01-31 04:17:15 by jwe]
jwe
parents: 1045
diff changeset
562 if (builtin_real_scalar_variable ("save_precision", val) == 0
75fc98220389 [project @ 1995-01-31 04:17:15 by jwe]
jwe
parents: 1045
diff changeset
563 && ! xisnan (val))
275
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
564 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
565 int ival = NINT (val);
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
566 if (ival >= 0 && (double) ival == val)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
567 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
568 user_pref.save_precision = ival;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
569 return status;
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 }
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 if (kludge == 0)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
574 kludge++;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
575 else
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
576 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
577 warning ("invalid value specified for save_precision");
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
578 status = -1;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
579 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
580
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
581 return status;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
582 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
583
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
584 int
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
585 sv_editor (void)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
586 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
587 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
588
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
589 char *s = builtin_string_variable ("EDITOR");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
590 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
591 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
592 delete [] user_pref.editor;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
593 user_pref.editor = s;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
594 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
595 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
596 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
597 warning ("invalid value specified for EDITOR");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
598 status = -1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
599 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
600
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
601 return status;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
602 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
603
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
604 int
605
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
605 sv_default_save_format (void)
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
606 {
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
607 int status = 0;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
608
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
609 char *s = builtin_string_variable ("default_save_format");
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
610 if (s)
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
611 {
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
612 delete [] user_pref.default_save_format;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
613 user_pref.default_save_format = s;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
614 }
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
615 else
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
616 {
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
617 warning ("invalid value specified for default_save_format");
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
618 status = -1;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
619 }
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 return status;
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
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
624 int
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
625 sv_gnuplot_binary (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
626 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
627 int status = 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
628
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
629 char *s = builtin_string_variable ("gnuplot_binary");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
630 if (s)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
631 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
632 delete [] user_pref.gnuplot_binary;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
633 user_pref.gnuplot_binary = s;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
634 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
635 else
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
636 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
637 warning ("invalid value specified for gnuplot_binary");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
638 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
639 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
640
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
641 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
642 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
643
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
644 int
686
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
645 sv_imagepath (void)
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
646 {
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
647 int status = 0;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
648
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
649 char *s = builtin_string_variable ("IMAGEPATH");
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
650 if (s)
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
651 {
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
652 delete [] user_pref.imagepath;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
653 user_pref.imagepath = s;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
654 }
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
655 else
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
656 {
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
657 warning ("invalid value specified for IMAGEPATH");
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
658 status = -1;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
659 }
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 return status;
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
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
664 int
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
665 sv_info_file (void)
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
666 {
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
667 int status = 0;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
668
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
669 char *s = builtin_string_variable ("INFO_FILE");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
670 if (s)
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
671 {
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
672 delete [] user_pref.info_file;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
673 user_pref.info_file = s;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
674 }
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
675 else
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
676 {
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
677 warning ("invalid value specified for INFO_FILE");
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
678 status = -1;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
679 }
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 return status;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
682 }
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
683
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
684 int
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
685 sv_loadpath (void)
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
686 {
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
687 int status = 0;
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
688
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
689 char *s = builtin_string_variable ("LOADPATH");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
690 if (s)
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
691 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
692 delete [] user_pref.loadpath;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
693 user_pref.loadpath = s;
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
694 }
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
695 else
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
696 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
697 warning ("invalid value specified for LOADPATH");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
698 status = -1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
699 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
700
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
701 return status;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
702 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
703
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
704 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
705 sv_pager_binary (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
706 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
707 int status = 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
708
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
709 char *s = builtin_string_variable ("PAGER");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
710 if (s)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
711 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
712 delete [] user_pref.pager_binary;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
713 user_pref.pager_binary = s;
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 else
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 warning ("invalid value specified for PAGER");
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
718 status = -1;
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
719 }
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
720
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
721 return status;
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
722 }
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
723
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
724 int
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
725 sv_ps1 (void)
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 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
728
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
729 char *s = builtin_string_variable ("PS1");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
730 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
731 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
732 delete [] user_pref.ps1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
733 user_pref.ps1 = s;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
734 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
735 else
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 warning ("invalid value specified for PS1");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
738 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
739 }
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 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
742 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
743
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
744 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
745 sv_ps2 (void)
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 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
748
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
749 char *s = builtin_string_variable ("PS2");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
750 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
751 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
752 delete [] user_pref.ps2;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
753 user_pref.ps2 = s;
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 else
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 warning ("invalid value specified for PS2");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
758 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
759 }
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 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
762 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
763
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
764 int
1044
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
765 sv_ps4 (void)
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
766 {
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
767 int status = 0;
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
768
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
769 char *s = builtin_string_variable ("PS4");
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
770 if (s)
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
771 {
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
772 delete [] user_pref.ps4;
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
773 user_pref.ps4 = s;
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
774 }
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
775 else
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
776 {
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
777 warning ("invalid value specified for PS4");
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
778 status = -1;
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
779 }
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 return status;
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
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
784 int
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
785 sv_pwd (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
786 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
787 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
788
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
789 char *s = builtin_string_variable ("PWD");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
790 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
791 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
792 delete [] user_pref.pwd;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
793 user_pref.pwd = s;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
794 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
795 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
796 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
797 warning ("invalid value specified for PWD");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
798 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
799 }
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 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
802 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
803
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
804 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
805 ;;; Local Variables: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
806 ;;; mode: C++ ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
807 ;;; page-delimiter: "^/\\*" ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
808 ;;; End: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
809 */