|
|
|
|
#! /usr/bin/env python
|
|
|
|
|
|
|
|
|
|
"""This file is part of the KDE project
|
|
|
|
|
Copyright (C) 2006 Alfredo Beaumont Sainz <alfredo.beaumont@gmail.com>
|
|
|
|
|
|
|
|
|
|
This library is free software; you can redistribute it and/or
|
|
|
|
|
modify it under the terms of the GNU Library General Public
|
|
|
|
|
License as published by the Free Software Foundation; either
|
|
|
|
|
version 2 of the License, or (at your option) any later version.
|
|
|
|
|
|
|
|
|
|
This library is distributed in the hope that it will be useful,
|
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
|
|
|
Library General Public License for more details.
|
|
|
|
|
|
|
|
|
|
You should have received a copy of the GNU Library General Public License
|
|
|
|
|
along with this library; see the file COPYING.LIB. If not, write to
|
|
|
|
|
the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
|
|
|
|
|
Boston, MA 02110-1301, USA.
|
|
|
|
|
"""
|
|
|
|
|
import sys
|
|
|
|
|
import string
|
|
|
|
|
import qt
|
|
|
|
|
|
|
|
|
|
def decode( fd, font, line ):
|
|
|
|
|
begin = string.find( line, '"' )
|
|
|
|
|
end = string.find( line, '"', begin + 1)
|
|
|
|
|
unicode = line[begin + 2:end] # Remove 'U' from string aswell
|
|
|
|
|
char_list = []
|
|
|
|
|
separation = string.find( unicode, '-' )
|
|
|
|
|
if separation != -1:
|
|
|
|
|
second = unicode
|
|
|
|
|
while separation != -1:
|
|
|
|
|
first = second[0:separation]
|
|
|
|
|
second = second[separation + 2:]
|
|
|
|
|
char_list.append( string.atoi( first, 16 ) )
|
|
|
|
|
separation = string.find( second, '-' )
|
|
|
|
|
if separation == -1:
|
|
|
|
|
char_list.append( string.atoi( second, 16 ) )
|
|
|
|
|
else:
|
|
|
|
|
char_list.append( string.atoi ( unicode, 16 ) )
|
|
|
|
|
fm = qt.QFontMetrics( qt.QFont( font ) )
|
|
|
|
|
in_font = True
|
|
|
|
|
for c in char_list:
|
|
|
|
|
if not fm.inFont( qt.QChar( c ) ):
|
|
|
|
|
in_font = False
|
|
|
|
|
fd.write( unicode + ' ' + str( in_font ) + '\n')
|
|
|
|
|
|
|
|
|
|
def parse( file, font ):
|
|
|
|
|
fd = open( file )
|
|
|
|
|
fd2 = open( 'mathml.list', 'w' )
|
|
|
|
|
line = fd.readline()
|
|
|
|
|
while line != "":
|
|
|
|
|
if string.find( line, 'name' ) != -1:
|
|
|
|
|
decode( fd2, font, line )
|
|
|
|
|
line = fd.readline()
|
|
|
|
|
|
|
|
|
|
if __name__ == '__main__':
|
|
|
|
|
a = qt.QApplication( sys.argv )
|
|
|
|
|
if len( sys.argv ) == 2:
|
|
|
|
|
sys.argv.append( 'Arev Sans' )
|
|
|
|
|
parse ( sys.argv[1], sys.argv[2] )
|
|
|
|
|
a.quit()
|
