src/Tools/8bit/perl/codetable.pl
author wenzelm
Fri, 10 Sep 1999 17:28:51 +0200
changeset 7535 599d3414b51d
parent 2795 d136fff43370
permissions -rwxr-xr-x
The Hahn-Banach theorem for real vectorspaces (Isabelle/Isar) (by Gertrud Bauer, TU Munich);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2795
d136fff43370 fixed perl path;
wenzelm
parents: 1826
diff changeset
     1
#!/usr/local/dist/bin/perl
1826
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     2
#
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     3
# codetable.pl
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     4
# Franz Regensburger <regensbu@informatik.tu-muenchen.de>
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     5
# 21.3.95
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     6
#
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     7
# last changed: 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     8
#
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     9
# print the extended ascii-code table
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    10
# leave out unprintable characters.
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    11
#
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    12
# needs an 8bit terminal for output
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    13
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    14
$index = 0;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    15
while ($index <= 255) {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    16
     if ( $index < 32 || (126 < $index && $index < 161)){# unprintable
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    17
#    if ( $index < 32){# unprintable
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    18
	$ascii_code = 32;}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    19
	else { 	$ascii_code = $index;} 	
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    20
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    21
    printf( "%-3o  %-3d  %-2x  %c \n", 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    22
                 $index,
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    23
                 $index,
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    24
                 $index,
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    25
		 $ascii_code);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    26
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    27
    $index += 1;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    28
}