1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
#! /bin/sh
# mtt2reps_txt: Gives a tabular listing of representations and languages
# P J Gawthrop July 1998, October 1998
# Copyright (c) P.J.Gawthrop, 1998
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.1 1998/10/20 08:15:08 peterg
## Initial revision
##
###############################################################
representations=`grep '#SUMMARY' $MTTPATH/mtt | awk '{print $2'} | sort -u | grep -v 'Representations'`
echo $representations
for rep in $representations ; do
language=`grep '#SUMMARY' $MTTPATH/mtt | grep "^#SUMMARY[ ]*$rep" |\
awk '{print $NF}'| grep -v 'Representations' |\
sort -u | sed 's/[()]//g'`
echo $rep $language |\
awk '{
printf( "%s", $1)
for (i=2;i<=NF;i++) printf("\t%s", $i);
printf("\n")
}'
|
>
>
>
|
|
|
>
>
>
|
>
>
>
>
<
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
#! /bin/sh
# mtt2reps_txt: Gives a tabular listing of representations and languages
# P J Gawthrop July 1998, October 1998
# Copyright (c) P.J.Gawthrop, 1998
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.2 1999/03/08 06:34:07 peterg
## Removed mtt help - replaced by grep #SUMMARY - quicker
##
## Revision 1.1 1998/10/20 08:15:08 peterg
## Initial revision
##
###############################################################
representations=`grep '#SUMMARY' $MTTPATH/mtt | awk '{print $2'} | sort -u `
for rep in $representations ; do
language=`grep '#SUMMARY' $MTTPATH/mtt |\
awk '
{
if (index(rep,"*")==length(rep)){
if ($2==rep) print $NF
}
else
if (($2==rep)||($2==sprintf("%s*",rep))) print $NF
}' rep=$rep |\
sort -u | sed 's/[()]//g'`
echo $rep $language |\
awk '{
printf( "%s", $1)
for (i=2;i<=NF;i++) printf("\t%s", $i);
printf("\n")
}'
done
|