11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
+
+
+
|
# Copyright (c) P.J.Gawthrop 1998
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.1 1998/07/25 09:42:52 peterg
## Initial revision
##
###############################################################
# Set up variables
args=`echo $1 | sed 's/_/ /' | sed 's/\./ /'`
Sys=`echo $args | awk '{print $1}'`
|
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
-
+
+
|
echo " InputVector =ARRAY[1..$Nu] OF REAL;"
echo " OutputVector =ARRAY[1..$Ny] OF REAL;"
echo "VAR"
echo " t,LAST,DT : REAL;"
echo " mttx,mttdx : StateVector;"
echo " mttu : InputVector;"
echo " mtty : OutputVector;"
echo " i,j,k,it,iLast,STEPFACTOR,METHOD : INTEGER;"
echo " i,j,k,it,iLast,STEPFACTOR : INTEGER;"
echo " METHOD : STRING;"
;;
*) echo "PROCEDURE $Sys_rep;"
;;
esac) > $Filename
cat<<EOF >> $Filename
|
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
|
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
|
-
+
-
-
+
-
|
if (doing_header==1)
comment[++j] = $0
else
printf("%s\n", $0)
}
else {
if ($1=="if") {
print tolower($0)
print tolower($0) " begin"
print "begin"
printf("%s DO\n", $0)
printf("%s DO\n", $0) " begin"
print "begin"
|
182
183
184
185
186
187
188
189
190
191
192
|
184
185
186
187
188
189
190
191
192
193
194
195
196
|
+
-
-
+
+
+
|
else
print "END;"
}' sys=$sys rep=$rep Nx=$Nx Nu=$Nu |\
sed 's/(\([0-9]*\))/\[\1\]/' \
>> $Filename
# p2c doesn't like mixed case filenames!
if [ "$Filename" != "$filename" ]; then
echo Creating $filename
cp $Filename $filename
echo Creating $filename
cp -f $Filename $filename
fi
|