Mercurial > fem-fenics-eugenio
annotate inst/ufl.m @ 232:f1c717e8a971
Delete UFL file after ufl.m closes and imports it
author | Eugenio Gianniti <eugenio.gianniti@mail.polimi.it> |
---|---|
date | Sun, 15 Jun 2014 14:49:46 +0200 |
parents | c74309df3489 |
children | 072aee55bb75 |
rev | line source |
---|---|
220 | 1 ## Copyright (C) 2014 Eugenio Gianniti <eugenio.gianniti@mail.polimi.it> |
2 ## | |
3 ## This program is free software; you can redistribute it and/or modify it under | |
4 ## the terms of the GNU General Public License as published by the Free Software | |
5 ## Foundation; either version 3 of the License, or (at your option) any later | |
6 ## version. | |
7 ## | |
8 ## This program is distributed in the hope that it will be useful, but WITHOUT | |
9 ## ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
10 ## FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more | |
11 ## details. | |
12 ## | |
13 ## You should have received a copy of the GNU General Public License along with | |
14 ## this program; if not, see <http://www.gnu.org/licenses/>. | |
15 | |
16 ## -*- texinfo -*- | |
17 ## @deftypefn {Function File} ufl [command] line | |
18 ## | |
19 ## Writes the given line to a ufl file. Optional commands are: | |
20 ## @itemize @bullet | |
21 ## @item start: opens an ufl file. It is possible to specify a name for it, | |
22 ## otherwise 'default.ufl' will be used. | |
225
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
23 ## @item end: closes the ufl file and compiles it. It is possible to |
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
24 ## specify its @var{content}, otherwise a complete problem is assumed. |
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
25 ## Possible options are: BilinearForm, Functional, FunctionSpace, LinearForm |
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
26 ## and Problem. |
220 | 27 ## @end itemize |
28 ## | |
225
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
29 ## @example |
226
043120f071de
Correct help message for ufl
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
225
diff
changeset
|
30 ## @code{ufl start linform} |
043120f071de
Correct help message for ufl
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
225
diff
changeset
|
31 ## @code{ufl element = FiniteElement ("Lagrange", triangle, 1)} |
043120f071de
Correct help message for ufl
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
225
diff
changeset
|
32 ## @code{ufl v = TestFunction (element)} |
043120f071de
Correct help message for ufl
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
225
diff
changeset
|
33 ## @code{ufl f = Coefficient (element)} |
043120f071de
Correct help message for ufl
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
225
diff
changeset
|
34 ## @code{ufl L = f*v*dx} |
043120f071de
Correct help message for ufl
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
225
diff
changeset
|
35 ## @code{ufl end LinearForm} |
225
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
36 ## @end example |
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
37 ## |
226
043120f071de
Correct help message for ufl
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
225
diff
changeset
|
38 ## This way you can write a ufl file and compile it obtaining a LinearForm. |
043120f071de
Correct help message for ufl
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
225
diff
changeset
|
39 ## |
228
c74309df3489
State in the ufl.m help message that leading brackets cause an error
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
227
diff
changeset
|
40 ## Be aware that a ufl line starting with brackets will result in a syntax |
c74309df3489
State in the ufl.m help message that leading brackets cause an error
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
227
diff
changeset
|
41 ## error. To avoid this, it is necessary to enclose them and their content |
c74309df3489
State in the ufl.m help message that leading brackets cause an error
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
227
diff
changeset
|
42 ## in quotes or apices: |
c74309df3489
State in the ufl.m help message that leading brackets cause an error
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
227
diff
changeset
|
43 ## @example |
c74309df3489
State in the ufl.m help message that leading brackets cause an error
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
227
diff
changeset
|
44 ## @code{ufl "(sigma, u)" = TrialFunctions(W)} |
c74309df3489
State in the ufl.m help message that leading brackets cause an error
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
227
diff
changeset
|
45 ## @end example |
c74309df3489
State in the ufl.m help message that leading brackets cause an error
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
227
diff
changeset
|
46 ## |
225
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
47 ## @seealso{import_ufl_Problem, import_ufl_BilinearForm, import_ufl_Functional, |
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
48 ## import_ufl_FunctionSpace, import_ufl_LinearForm} |
220 | 49 ## @end deftypefn |
50 | |
51 function ufl (varargin) | |
52 | |
53 persistent fid = -1; | |
225
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
54 persistent filename = "default.ufl"; |
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
55 persistent opts = {"BilinearForm", |
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
56 "Functional", |
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
57 "FunctionSpace", |
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
58 "LinearForm", |
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
59 "Problem"}; |
220 | 60 |
61 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
|
62 if (! is_valid_file_id (fid)) |
220 | 63 print_usage (); |
64 endif | |
65 elseif (! all (cellfun ("ischar", varargin))) | |
66 error ("ufl: all arguments should be strings"); | |
67 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
|
68 if (is_valid_file_id (fid)) |
220 | 69 error ("ufl: a file is already open"); |
70 else | |
71 if (numel (varargin) > 1) | |
72 filename = varargin{2}; | |
73 if (isempty (regexpi (filename, ".ufl$", "match"))) | |
74 filename = [filename, ".ufl"]; | |
224
a108a0bfe201
Ensure that ufl opens a file with .ufl extension
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
223
diff
changeset
|
75 else |
a108a0bfe201
Ensure that ufl opens a file with .ufl extension
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
223
diff
changeset
|
76 filename = [filename(1:end-4), ".ufl"]; |
220 | 77 endif |
78 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
|
79 [~, 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
|
80 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
|
81 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
|
82 else |
8b159045242f
ufl errors out if filename exists when start command is issued
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
222
diff
changeset
|
83 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
|
84 endif |
220 | 85 endif |
222
6671cb83a2dd
Make use of is_valid_file_id for fid checks
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
220
diff
changeset
|
86 if (! is_valid_file_id (fid)) |
220 | 87 error (["ufl: could not open file ", filename]); |
88 endif | |
89 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
|
90 if (! is_valid_file_id (fid)) |
220 | 91 error ("ufl: no open file"); |
92 else | |
93 fclose (fid); | |
94 fid = -1; | |
95 endif | |
225
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
96 compile = "Problem"; |
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
97 if (numel (varargin) > 1) |
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
98 compile = validatestring (varargin{2}, opts, "ufl", "content"); |
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
99 endif |
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
100 eval (["import_ufl_", compile, "(\"", filename(1:end-4), "\");"]); |
232
f1c717e8a971
Delete UFL file after ufl.m closes and imports it
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
228
diff
changeset
|
101 delete (filename); |
225
72af6354bf02
Compile right away after ufl end
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
224
diff
changeset
|
102 filename = "default.ufl"; |
222
6671cb83a2dd
Make use of is_valid_file_id for fid checks
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
220
diff
changeset
|
103 elseif (! is_valid_file_id (fid)) |
220 | 104 error ("ufl: no open file"); |
105 else | |
222
6671cb83a2dd
Make use of is_valid_file_id for fid checks
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
220
diff
changeset
|
106 if (is_valid_file_id (fid)) |
227
8db0b8583615
Do not print trailing whitespaces with ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
226
diff
changeset
|
107 output = strtrim (sprintf ("%s ", varargin{:})); |
8db0b8583615
Do not print trailing whitespaces with ufl.m
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
226
diff
changeset
|
108 fputs (fid, output); |
222
6671cb83a2dd
Make use of is_valid_file_id for fid checks
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
220
diff
changeset
|
109 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
|
110 else |
6671cb83a2dd
Make use of is_valid_file_id for fid checks
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents:
220
diff
changeset
|
111 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
|
112 endif |
220 | 113 endif |
114 | |
115 endfunction |