pyx/dvi/encfile.py

   1 # -*- encoding: utf-8 -*-
   2 #
   3 #
   4 # Copyright (C) 2007-2011 Jörg Lehmann <joergl@users.sourceforge.net>
   5 # Copyright (C) 2007-2011 André Wobst <wobsta@users.sourceforge.net>
   6 #
   7 # This file is part of PyX (http://pyx.sourceforge.net/).
   8 #
   9 # PyX is free software; you can redistribute it and/or modify
  10 # it under the terms of the GNU General Public License as published by
  11 # the Free Software Foundation; either version 2 of the License, or
  12 # (at your option) any later version.
  13 #
  14 # PyX is distributed in the hope that it will be useful,
  15 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  16 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  17 # GNU General Public License for more details.
  18 #
  19 # You should have received a copy of the GNU General Public License
  20 # along with PyX; if not, write to the Free Software
  21 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA
  22
  23
  24 from pyx import reader
  25
  26 class ENFfileError(Exception):
  27     pass
  28
  29 class ENCfile:
  30
  31     def __init__(self, bytes):
  32         c = reader.PStokenizer(bytes, "")
  33
  34         # name of encoding
  35         self.name = c.gettoken()
  36         token = c.gettoken()
  37         if token != "[":
  38             raise ENCfileError("cannot parse encoding file '%s', expecting '[' got '%s'" % (filename, token))
  39         self.vector = []
  40         for i in range(256):
  41             token = c.gettoken()
  42             if token == "]":
  43                 raise ENCfileError("not enough charcodes in encoding file '%s'" % filename)
  44             if not token[0] == "/":
  45                 raise ENCfileError("token does not start with / in encoding file '%s'" % filename)
  46             self.vector.append(token[1:])
  47         if c.gettoken() != "]":
  48             raise ENCfileError("too many charcodes in encoding file '%s'" % filename)
  49         token = c.gettoken()
  50         if token != "def":
  51             raise ENCfileError("cannot parse encoding file '%s', expecting 'def' got '%s'" % (filename, token))
  52