Project

General

Profile

rename.sh

Florian Negele, 10 September 2019 18:51

 
1
#!/bin/sh
2

    
3
# rename platform-dependent types
4
sed -i "s/\bSHORTINT\b/SIGNED8/g" $(grep "\bSHORTINT\b" -Irl)
5
sed -i "s/\bINTEGER\b/SIGNED16/g" $(grep "\bINTEGER\b" -Irl)
6
sed -i "s/\bLONGINT\b/SIGNED32/g" $(grep "\bLONGINT\b" -Irl)
7
sed -i "s/\bHUGEINT\b/SIGNED64/g" $(grep "\bHUGEINT\b" -Irl)
8
sed -i "s/\bREAL\b/FLOAT32/g" $(grep "\bREAL\b" -Irl)
9
sed -i "s/\bLONGREAL\b/FLOAT64/g" $(grep "\bLONGREAL\b" -Irl)
10
sed -i "s/\bCOMPLEX\b/COMPLEX32/g" $(grep "\bCOMPLEX\b" -Irl)
11
sed -i "s/\bLONGCOMPLEX\b/COMPLEX64/g" $(grep "\bLONGCOMPLEX\b" -Irl)
12

    
13
# rename platform-independent types
14
sed -i "s/\bWORD\b/INTEGER/g" $(grep "\bWORD\b" -Irl)
15
sed -i "s/\bLONGWORD\b/LONGINTEGER/g" $(grep "\bLONGWORD\b" -Irl)
16
sed -i "s/\bWORDSET\b/INTEGERSET/g" $(grep "\bWORDSET\b" -Irl)