12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.5 1998/07/26 11:00:18 peterg
## Put in exits-- this all needs a good clean
##
## Revision 1.4 1998/07/26 10:50:30 peterg
## Corrected bug.
##
## Revision 1.3 1998/07/26 10:48:18 peterg
|
>
>
>
|
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.6 1998/11/18 11:55:51 peterg
## Now uses sympar2global_txt2m for the m bit
##
## Revision 1.5 1998/07/26 11:00:18 peterg
## Put in exits-- this all needs a good clean
##
## Revision 1.4 1998/07/26 10:50:30 peterg
## Corrected bug.
##
## Revision 1.3 1998/07/26 10:48:18 peterg
|
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
if [ "$language" = "m" ]; then
sympar2global_txt2m $1
exit
fi
if [ "$language" = "c" ]; then
strip_comments <$1_sympars.txt |\
awk '{
i++; print "extern double", tolower($1) ";";
}'
exit
fi
if [ "$language" = "java" ]; then
cat <<EOF
$1_numpar p;
private p = new $1_numpar();
EOF
strip_comments <$1_sympars.txt |\
awk '{
i++; print " float " tolower($1) " = p." tolower($1) ";";
}'
fi
echo
# Now invoke the standard error handling.
# mtt_error mtt_error.txt
|
|
|
|
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
if [ "$language" = "m" ]; then
sympar2global_txt2m $1
exit
fi
if [ "$language" = "c" ]; then
strip_comments <$1_sympars.txt |\
gawk '{
i++; print "extern double", tolower($1) ";";
}'
exit
fi
if [ "$language" = "java" ]; then
cat <<EOF
$1_numpar p;
private p = new $1_numpar();
EOF
strip_comments <$1_sympars.txt |\
gawk '{
i++; print " float " tolower($1) " = p." tolower($1) ";";
}'
fi
echo
# Now invoke the standard error handling.
# mtt_error mtt_error.txt
|