10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
+
+
+
|
# Copyright (C) 2000 by Peter J. Gawthrop
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.1 2000/10/14 09:26:48 peterg
## Initial revision
##
## Revision 1.1 2000/10/11 09:08:20 peterg
## Initial revision
##
###############################################################
sys=$1
|
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
-
+
+
+
|
;;
*)
echo Language $language not supported - sorry; exit 1
esac
case $what in
struc)
strip_comments < $sys"_"$what".txt" | awk '{print $4}' >mtt_names
strip_comments < $sys"_"$what".txt" | awk '{if (($1=="state")||($1=="input"))
print $4;
}' >mtt_names
;;
sympar)
strip_comments < $sys"_"$what".txt" | awk '{print $1}' >mtt_names
;;
*)
echo Argument 2 must be struc or sympar
esac
|