annotate inst/ufl.m @ 223:8b159045242f

ufl errors out if filename exists when start command is issued
author Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
date Wed, 21 May 2014 18:16:05 +0200
parents 6671cb83a2dd
children a108a0bfe201
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
220
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
1 ## Copyright (C) 2014 Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
2 ##
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
3 ## This program is free software; you can redistribute it and/or modify it under
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
4 ## the terms of the GNU General Public License as published by the Free Software
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
5 ## Foundation; either version 3 of the License, or (at your option) any later
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
6 ## version.
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
7 ##
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
8 ## This program is distributed in the hope that it will be useful, but WITHOUT
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
9 ## ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
10 ## FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
11 ## details.
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
12 ##
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
13 ## You should have received a copy of the GNU General Public License along with
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
14 ## this program; if not, see <http://www.gnu.org/licenses/>.
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
15
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
16 ## -*- texinfo -*-
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
17 ## @deftypefn {Function File} ufl [command] line
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
18 ##
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
19 ## Writes the given line to a ufl file. Optional commands are:
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
20 ## @itemize @bullet
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
21 ## @item start: opens an ufl file. It is possible to specify a name for it,
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
22 ## otherwise 'default.ufl' will be used.
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
23 ## @item end: closes an ufl file.
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
24 ## @end itemize
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
25 ##
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
26 ## @end deftypefn
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
27
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
28 function ufl (varargin)
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
29
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
30 persistent fid = -1;
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
31 filename = "default.ufl";
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
32
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
33 if (numel (varargin) < 1)
222
6671cb83a2dd Make use of is_valid_file_id for fid checks
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 220
diff changeset
34 if (! is_valid_file_id (fid))
220
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
35 print_usage ();
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
36 endif
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
37 elseif (! all (cellfun ("ischar", varargin)))
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
38 error ("ufl: all arguments should be strings");
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
39 elseif (strcmpi (varargin{1}, "start"))
222
6671cb83a2dd Make use of is_valid_file_id for fid checks
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 220
diff changeset
40 if (is_valid_file_id (fid))
220
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
41 error ("ufl: a file is already open");
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
42 else
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
43 if (numel (varargin) > 1)
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
44 filename = varargin{2};
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
45 if (isempty (regexpi (filename, ".ufl$", "match")))
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
46 filename = [filename, ".ufl"];
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
47 endif
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
48 endif
223
8b159045242f ufl errors out if filename exists when start command is issued
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 222
diff changeset
49 [~, err, ~] = stat (filename);
8b159045242f ufl errors out if filename exists when start command is issued
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 222
diff changeset
50 if (err == 0)
8b159045242f ufl errors out if filename exists when start command is issued
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 222
diff changeset
51 error (["ufl: a file named ", filename, " already exists"]);
8b159045242f ufl errors out if filename exists when start command is issued
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 222
diff changeset
52 else
8b159045242f ufl errors out if filename exists when start command is issued
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 222
diff changeset
53 fid = fopen (filename, "w");
8b159045242f ufl errors out if filename exists when start command is issued
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 222
diff changeset
54 endif
220
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
55 endif
222
6671cb83a2dd Make use of is_valid_file_id for fid checks
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 220
diff changeset
56 if (! is_valid_file_id (fid))
220
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
57 error (["ufl: could not open file ", filename]);
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
58 endif
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
59 elseif (strcmpi (varargin{1}, "end"))
222
6671cb83a2dd Make use of is_valid_file_id for fid checks
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 220
diff changeset
60 if (! is_valid_file_id (fid))
220
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
61 error ("ufl: no open file");
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
62 else
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
63 fclose (fid);
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
64 fid = -1;
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
65 endif
222
6671cb83a2dd Make use of is_valid_file_id for fid checks
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 220
diff changeset
66 elseif (! is_valid_file_id (fid))
220
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
67 error ("ufl: no open file");
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
68 else
222
6671cb83a2dd Make use of is_valid_file_id for fid checks
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 220
diff changeset
69 if (is_valid_file_id (fid))
6671cb83a2dd Make use of is_valid_file_id for fid checks
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 220
diff changeset
70 fprintf (fid, "%s ", varargin{:});
6671cb83a2dd Make use of is_valid_file_id for fid checks
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 220
diff changeset
71 fprintf (fid, "\n");
6671cb83a2dd Make use of is_valid_file_id for fid checks
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 220
diff changeset
72 else
6671cb83a2dd Make use of is_valid_file_id for fid checks
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 220
diff changeset
73 error ("ufl: no open file");
6671cb83a2dd Make use of is_valid_file_id for fid checks
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 220
diff changeset
74 endif
220
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
75 endif
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
76
9adf76893ce4 Added ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
diff changeset
77 endfunction