[Python-Dev] Re: [Patches] Translating doc strings

Ka-Ping Yee pingster@ilm.com
Fri, 2 Jun 2000 12:07:22 -0700 (PDT)


On Fri, 2 Jun 2000, Peter Funk wrote:
> 
> I agree: this is really ugly.  Since doc-strings are something special,
> I don't think, we should travel further down this road.  I believe,
> we should use a special doc-string extration-tool (possibly build
> on top of ping's 'inspect.py'?), which will then create a .pot-file
> solely out of __doc__-strings.

Getting __doc__ strings is pretty easy (inspect.py is one possibility).
But presumably we want to get all the strings, don't we?

That should be trivial with tokenize, right?

    ---- getstrings.py -----

    import sys, tokenize
    strings = []
    def tokeneater(type, token, start, end, line):
        if type == tokenize.STRING: strings.append(eval(token))
            
    file = open(sys.argv[1])
    tokenize.tokenize(file.readline, tokeneater)
    print strings

    ------------------------

    % ./getstrings.py /usr/local/lib/python1.5/calendar.py 
    ['calendar.error', 'Monday', 'Tuesday', 'Wednesday', 'Thursday', 'Friday', 'Saturday', 'Sunday', 'Mon', 'Tue', 'Wed', 'Thu', 'Fri', 'Sat', 'Sun', '', 'January', 'February', 'March', 'April', 'May', 'June', 'July', 'August', 'September', 'October', 'No
vember', 'December', '   ', 'Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec', 'bad month number', ' ', ' ', '', '', ' ', ' ', '\012', '\012', '\012', ' ', '', '', ' ']

Am i missing something?


-- ?!ng