break
self.consume()
name = line.strip()
+ if name.startswith('EGL_'):
+ self.prefix = ''
print ' # %s' % name
def skip_c_comments(self):
if not line.strip():
self.consume()
continue
- if not line.startswith(' '):
+ if not line[0].isspace():
break
self.consume()
lines.append(line.strip())
def parse_arg(self):
type = self.parse_type()
+ if self.tokens[0] == ')':
+ assert type == 'Void'
+ return ''
name = self.tokens.pop(0)
+ if self.tokens[0] == '[':
+ self.tokens.pop(0)
+ n = int(self.tokens.pop(0))
+ assert self.tokens.pop(0) == ']'
+ type = 'Array(%s, %d)' % (type, n)
return '(%s, "%s")' % (type, name)
def parse_type(self):
def main():
optparser = optparse.OptionParser(
- usage="\n\t%prog [options] [SPEC] ")
+ usage="\n\t%prog [options] [URL|TXT] ...")
optparser.add_option(
'-p', '--prefix', metavar='STRING',
type="string", dest="prefix", default='gl',