Blame googletest/scripts/pump.py

Packit bd1cd8
#!/usr/bin/env python
Packit bd1cd8
#
Packit bd1cd8
# Copyright 2008, Google Inc.
Packit bd1cd8
# All rights reserved.
Packit bd1cd8
#
Packit bd1cd8
# Redistribution and use in source and binary forms, with or without
Packit bd1cd8
# modification, are permitted provided that the following conditions are
Packit bd1cd8
# met:
Packit bd1cd8
#
Packit bd1cd8
#     * Redistributions of source code must retain the above copyright
Packit bd1cd8
# notice, this list of conditions and the following disclaimer.
Packit bd1cd8
#     * Redistributions in binary form must reproduce the above
Packit bd1cd8
# copyright notice, this list of conditions and the following disclaimer
Packit bd1cd8
# in the documentation and/or other materials provided with the
Packit bd1cd8
# distribution.
Packit bd1cd8
#     * Neither the name of Google Inc. nor the names of its
Packit bd1cd8
# contributors may be used to endorse or promote products derived from
Packit bd1cd8
# this software without specific prior written permission.
Packit bd1cd8
#
Packit bd1cd8
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
Packit bd1cd8
# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
Packit bd1cd8
# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
Packit bd1cd8
# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
Packit bd1cd8
# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
Packit bd1cd8
# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
Packit bd1cd8
# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
Packit bd1cd8
# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
Packit bd1cd8
# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
Packit bd1cd8
# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
Packit bd1cd8
# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
Packit bd1cd8
Packit bd1cd8
"""pump v0.2.0 - Pretty Useful for Meta Programming.
Packit bd1cd8
Packit bd1cd8
A tool for preprocessor meta programming.  Useful for generating
Packit bd1cd8
repetitive boilerplate code.  Especially useful for writing C++
Packit bd1cd8
classes, functions, macros, and templates that need to work with
Packit bd1cd8
various number of arguments.
Packit bd1cd8
Packit bd1cd8
USAGE:
Packit bd1cd8
       pump.py SOURCE_FILE
Packit bd1cd8
Packit bd1cd8
EXAMPLES:
Packit bd1cd8
       pump.py foo.cc.pump
Packit bd1cd8
         Converts foo.cc.pump to foo.cc.
Packit bd1cd8
Packit bd1cd8
GRAMMAR:
Packit bd1cd8
       CODE ::= ATOMIC_CODE*
Packit bd1cd8
       ATOMIC_CODE ::= $var ID = EXPRESSION
Packit bd1cd8
           | $var ID = [[ CODE ]]
Packit bd1cd8
           | $range ID EXPRESSION..EXPRESSION
Packit bd1cd8
           | $for ID SEPARATOR [[ CODE ]]
Packit bd1cd8
           | $($)
Packit bd1cd8
           | $ID
Packit bd1cd8
           | $(EXPRESSION)
Packit bd1cd8
           | $if EXPRESSION [[ CODE ]] ELSE_BRANCH
Packit bd1cd8
           | [[ CODE ]]
Packit bd1cd8
           | RAW_CODE
Packit bd1cd8
       SEPARATOR ::= RAW_CODE | EMPTY
Packit bd1cd8
       ELSE_BRANCH ::= $else [[ CODE ]]
Packit bd1cd8
           | $elif EXPRESSION [[ CODE ]] ELSE_BRANCH
Packit bd1cd8
           | EMPTY
Packit bd1cd8
       EXPRESSION has Python syntax.
Packit bd1cd8
"""
Packit bd1cd8
Packit bd1cd8
__author__ = 'wan@google.com (Zhanyong Wan)'
Packit bd1cd8
Packit bd1cd8
import os
Packit bd1cd8
import re
Packit bd1cd8
import sys
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
TOKEN_TABLE = [
Packit bd1cd8
    (re.compile(r'\$var\s+'), '$var'),
Packit bd1cd8
    (re.compile(r'\$elif\s+'), '$elif'),
Packit bd1cd8
    (re.compile(r'\$else\s+'), '$else'),
Packit bd1cd8
    (re.compile(r'\$for\s+'), '$for'),
Packit bd1cd8
    (re.compile(r'\$if\s+'), '$if'),
Packit bd1cd8
    (re.compile(r'\$range\s+'), '$range'),
Packit bd1cd8
    (re.compile(r'\$[_A-Za-z]\w*'), '$id'),
Packit bd1cd8
    (re.compile(r'\$\(\$\)'), '$($)'),
Packit bd1cd8
    (re.compile(r'\$'), '$'),
Packit bd1cd8
    (re.compile(r'\[\[\n?'), '[['),
Packit bd1cd8
    (re.compile(r'\]\]\n?'), ']]'),
Packit bd1cd8
    ]
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
class Cursor:
Packit bd1cd8
  """Represents a position (line and column) in a text file."""
Packit bd1cd8
Packit bd1cd8
  def __init__(self, line=-1, column=-1):
Packit bd1cd8
    self.line = line
Packit bd1cd8
    self.column = column
Packit bd1cd8
Packit bd1cd8
  def __eq__(self, rhs):
Packit bd1cd8
    return self.line == rhs.line and self.column == rhs.column
Packit bd1cd8
Packit bd1cd8
  def __ne__(self, rhs):
Packit bd1cd8
    return not self == rhs
Packit bd1cd8
Packit bd1cd8
  def __lt__(self, rhs):
Packit bd1cd8
    return self.line < rhs.line or (
Packit bd1cd8
        self.line == rhs.line and self.column < rhs.column)
Packit bd1cd8
Packit bd1cd8
  def __le__(self, rhs):
Packit bd1cd8
    return self < rhs or self == rhs
Packit bd1cd8
Packit bd1cd8
  def __gt__(self, rhs):
Packit bd1cd8
    return rhs < self
Packit bd1cd8
Packit bd1cd8
  def __ge__(self, rhs):
Packit bd1cd8
    return rhs <= self
Packit bd1cd8
Packit bd1cd8
  def __str__(self):
Packit bd1cd8
    if self == Eof():
Packit bd1cd8
      return 'EOF'
Packit bd1cd8
    else:
Packit bd1cd8
      return '%s(%s)' % (self.line + 1, self.column)
Packit bd1cd8
Packit bd1cd8
  def __add__(self, offset):
Packit bd1cd8
    return Cursor(self.line, self.column + offset)
Packit bd1cd8
Packit bd1cd8
  def __sub__(self, offset):
Packit bd1cd8
    return Cursor(self.line, self.column - offset)
Packit bd1cd8
Packit bd1cd8
  def Clone(self):
Packit bd1cd8
    """Returns a copy of self."""
Packit bd1cd8
Packit bd1cd8
    return Cursor(self.line, self.column)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
# Special cursor to indicate the end-of-file.
Packit bd1cd8
def Eof():
Packit bd1cd8
  """Returns the special cursor to denote the end-of-file."""
Packit bd1cd8
  return Cursor(-1, -1)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
class Token:
Packit bd1cd8
  """Represents a token in a Pump source file."""
Packit bd1cd8
Packit bd1cd8
  def __init__(self, start=None, end=None, value=None, token_type=None):
Packit bd1cd8
    if start is None:
Packit bd1cd8
      self.start = Eof()
Packit bd1cd8
    else:
Packit bd1cd8
      self.start = start
Packit bd1cd8
    if end is None:
Packit bd1cd8
      self.end = Eof()
Packit bd1cd8
    else:
Packit bd1cd8
      self.end = end
Packit bd1cd8
    self.value = value
Packit bd1cd8
    self.token_type = token_type
Packit bd1cd8
Packit bd1cd8
  def __str__(self):
Packit bd1cd8
    return 'Token @%s: \'%s\' type=%s' % (
Packit bd1cd8
        self.start, self.value, self.token_type)
Packit bd1cd8
Packit bd1cd8
  def Clone(self):
Packit bd1cd8
    """Returns a copy of self."""
Packit bd1cd8
Packit bd1cd8
    return Token(self.start.Clone(), self.end.Clone(), self.value,
Packit bd1cd8
                 self.token_type)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def StartsWith(lines, pos, string):
Packit bd1cd8
  """Returns True iff the given position in lines starts with 'string'."""
Packit bd1cd8
Packit bd1cd8
  return lines[pos.line][pos.column:].startswith(string)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def FindFirstInLine(line, token_table):
Packit bd1cd8
  best_match_start = -1
Packit bd1cd8
  for (regex, token_type) in token_table:
Packit bd1cd8
    m = regex.search(line)
Packit bd1cd8
    if m:
Packit bd1cd8
      # We found regex in lines
Packit bd1cd8
      if best_match_start < 0 or m.start() < best_match_start:
Packit bd1cd8
        best_match_start = m.start()
Packit bd1cd8
        best_match_length = m.end() - m.start()
Packit bd1cd8
        best_match_token_type = token_type
Packit bd1cd8
Packit bd1cd8
  if best_match_start < 0:
Packit bd1cd8
    return None
Packit bd1cd8
Packit bd1cd8
  return (best_match_start, best_match_length, best_match_token_type)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def FindFirst(lines, token_table, cursor):
Packit bd1cd8
  """Finds the first occurrence of any string in strings in lines."""
Packit bd1cd8
Packit bd1cd8
  start = cursor.Clone()
Packit bd1cd8
  cur_line_number = cursor.line
Packit bd1cd8
  for line in lines[start.line:]:
Packit bd1cd8
    if cur_line_number == start.line:
Packit bd1cd8
      line = line[start.column:]
Packit bd1cd8
    m = FindFirstInLine(line, token_table)
Packit bd1cd8
    if m:
Packit bd1cd8
      # We found a regex in line.
Packit bd1cd8
      (start_column, length, token_type) = m
Packit bd1cd8
      if cur_line_number == start.line:
Packit bd1cd8
        start_column += start.column
Packit bd1cd8
      found_start = Cursor(cur_line_number, start_column)
Packit bd1cd8
      found_end = found_start + length
Packit bd1cd8
      return MakeToken(lines, found_start, found_end, token_type)
Packit bd1cd8
    cur_line_number += 1
Packit bd1cd8
  # We failed to find str in lines
Packit bd1cd8
  return None
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def SubString(lines, start, end):
Packit bd1cd8
  """Returns a substring in lines."""
Packit bd1cd8
Packit bd1cd8
  if end == Eof():
Packit bd1cd8
    end = Cursor(len(lines) - 1, len(lines[-1]))
Packit bd1cd8
Packit bd1cd8
  if start >= end:
Packit bd1cd8
    return ''
Packit bd1cd8
Packit bd1cd8
  if start.line == end.line:
Packit bd1cd8
    return lines[start.line][start.column:end.column]
Packit bd1cd8
Packit bd1cd8
  result_lines = ([lines[start.line][start.column:]] +
Packit bd1cd8
                  lines[start.line + 1:end.line] +
Packit bd1cd8
                  [lines[end.line][:end.column]])
Packit bd1cd8
  return ''.join(result_lines)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def StripMetaComments(str):
Packit bd1cd8
  """Strip meta comments from each line in the given string."""
Packit bd1cd8
Packit bd1cd8
  # First, completely remove lines containing nothing but a meta
Packit bd1cd8
  # comment, including the trailing \n.
Packit bd1cd8
  str = re.sub(r'^\s*\$\$.*\n', '', str)
Packit bd1cd8
Packit bd1cd8
  # Then, remove meta comments from contentful lines.
Packit bd1cd8
  return re.sub(r'\s*\$\$.*', '', str)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def MakeToken(lines, start, end, token_type):
Packit bd1cd8
  """Creates a new instance of Token."""
Packit bd1cd8
Packit bd1cd8
  return Token(start, end, SubString(lines, start, end), token_type)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def ParseToken(lines, pos, regex, token_type):
Packit bd1cd8
  line = lines[pos.line][pos.column:]
Packit bd1cd8
  m = regex.search(line)
Packit bd1cd8
  if m and not m.start():
Packit bd1cd8
    return MakeToken(lines, pos, pos + m.end(), token_type)
Packit bd1cd8
  else:
Packit bd1cd8
    print 'ERROR: %s expected at %s.' % (token_type, pos)
Packit bd1cd8
    sys.exit(1)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
ID_REGEX = re.compile(r'[_A-Za-z]\w*')
Packit bd1cd8
EQ_REGEX = re.compile(r'=')
Packit bd1cd8
REST_OF_LINE_REGEX = re.compile(r'.*?(?=$|\$\$)')
Packit bd1cd8
OPTIONAL_WHITE_SPACES_REGEX = re.compile(r'\s*')
Packit bd1cd8
WHITE_SPACE_REGEX = re.compile(r'\s')
Packit bd1cd8
DOT_DOT_REGEX = re.compile(r'\.\.')
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def Skip(lines, pos, regex):
Packit bd1cd8
  line = lines[pos.line][pos.column:]
Packit bd1cd8
  m = re.search(regex, line)
Packit bd1cd8
  if m and not m.start():
Packit bd1cd8
    return pos + m.end()
Packit bd1cd8
  else:
Packit bd1cd8
    return pos
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def SkipUntil(lines, pos, regex, token_type):
Packit bd1cd8
  line = lines[pos.line][pos.column:]
Packit bd1cd8
  m = re.search(regex, line)
Packit bd1cd8
  if m:
Packit bd1cd8
    return pos + m.start()
Packit bd1cd8
  else:
Packit bd1cd8
    print ('ERROR: %s expected on line %s after column %s.' %
Packit bd1cd8
           (token_type, pos.line + 1, pos.column))
Packit bd1cd8
    sys.exit(1)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def ParseExpTokenInParens(lines, pos):
Packit bd1cd8
  def ParseInParens(pos):
Packit bd1cd8
    pos = Skip(lines, pos, OPTIONAL_WHITE_SPACES_REGEX)
Packit bd1cd8
    pos = Skip(lines, pos, r'\(')
Packit bd1cd8
    pos = Parse(pos)
Packit bd1cd8
    pos = Skip(lines, pos, r'\)')
Packit bd1cd8
    return pos
Packit bd1cd8
Packit bd1cd8
  def Parse(pos):
Packit bd1cd8
    pos = SkipUntil(lines, pos, r'\(|\)', ')')
Packit bd1cd8
    if SubString(lines, pos, pos + 1) == '(':
Packit bd1cd8
      pos = Parse(pos + 1)
Packit bd1cd8
      pos = Skip(lines, pos, r'\)')
Packit bd1cd8
      return Parse(pos)
Packit bd1cd8
    else:
Packit bd1cd8
      return pos
Packit bd1cd8
Packit bd1cd8
  start = pos.Clone()
Packit bd1cd8
  pos = ParseInParens(pos)
Packit bd1cd8
  return MakeToken(lines, start, pos, 'exp')
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def RStripNewLineFromToken(token):
Packit bd1cd8
  if token.value.endswith('\n'):
Packit bd1cd8
    return Token(token.start, token.end, token.value[:-1], token.token_type)
Packit bd1cd8
  else:
Packit bd1cd8
    return token
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def TokenizeLines(lines, pos):
Packit bd1cd8
  while True:
Packit bd1cd8
    found = FindFirst(lines, TOKEN_TABLE, pos)
Packit bd1cd8
    if not found:
Packit bd1cd8
      yield MakeToken(lines, pos, Eof(), 'code')
Packit bd1cd8
      return
Packit bd1cd8
Packit bd1cd8
    if found.start == pos:
Packit bd1cd8
      prev_token = None
Packit bd1cd8
      prev_token_rstripped = None
Packit bd1cd8
    else:
Packit bd1cd8
      prev_token = MakeToken(lines, pos, found.start, 'code')
Packit bd1cd8
      prev_token_rstripped = RStripNewLineFromToken(prev_token)
Packit bd1cd8
Packit bd1cd8
    if found.token_type == '$var':
Packit bd1cd8
      if prev_token_rstripped:
Packit bd1cd8
        yield prev_token_rstripped
Packit bd1cd8
      yield found
Packit bd1cd8
      id_token = ParseToken(lines, found.end, ID_REGEX, 'id')
Packit bd1cd8
      yield id_token
Packit bd1cd8
      pos = Skip(lines, id_token.end, OPTIONAL_WHITE_SPACES_REGEX)
Packit bd1cd8
Packit bd1cd8
      eq_token = ParseToken(lines, pos, EQ_REGEX, '=')
Packit bd1cd8
      yield eq_token
Packit bd1cd8
      pos = Skip(lines, eq_token.end, r'\s*')
Packit bd1cd8
Packit bd1cd8
      if SubString(lines, pos, pos + 2) != '[[':
Packit bd1cd8
        exp_token = ParseToken(lines, pos, REST_OF_LINE_REGEX, 'exp')
Packit bd1cd8
        yield exp_token
Packit bd1cd8
        pos = Cursor(exp_token.end.line + 1, 0)
Packit bd1cd8
    elif found.token_type == '$for':
Packit bd1cd8
      if prev_token_rstripped:
Packit bd1cd8
        yield prev_token_rstripped
Packit bd1cd8
      yield found
Packit bd1cd8
      id_token = ParseToken(lines, found.end, ID_REGEX, 'id')
Packit bd1cd8
      yield id_token
Packit bd1cd8
      pos = Skip(lines, id_token.end, WHITE_SPACE_REGEX)
Packit bd1cd8
    elif found.token_type == '$range':
Packit bd1cd8
      if prev_token_rstripped:
Packit bd1cd8
        yield prev_token_rstripped
Packit bd1cd8
      yield found
Packit bd1cd8
      id_token = ParseToken(lines, found.end, ID_REGEX, 'id')
Packit bd1cd8
      yield id_token
Packit bd1cd8
      pos = Skip(lines, id_token.end, OPTIONAL_WHITE_SPACES_REGEX)
Packit bd1cd8
Packit bd1cd8
      dots_pos = SkipUntil(lines, pos, DOT_DOT_REGEX, '..')
Packit bd1cd8
      yield MakeToken(lines, pos, dots_pos, 'exp')
Packit bd1cd8
      yield MakeToken(lines, dots_pos, dots_pos + 2, '..')
Packit bd1cd8
      pos = dots_pos + 2
Packit bd1cd8
      new_pos = Cursor(pos.line + 1, 0)
Packit bd1cd8
      yield MakeToken(lines, pos, new_pos, 'exp')
Packit bd1cd8
      pos = new_pos
Packit bd1cd8
    elif found.token_type == '$':
Packit bd1cd8
      if prev_token:
Packit bd1cd8
        yield prev_token
Packit bd1cd8
      yield found
Packit bd1cd8
      exp_token = ParseExpTokenInParens(lines, found.end)
Packit bd1cd8
      yield exp_token
Packit bd1cd8
      pos = exp_token.end
Packit bd1cd8
    elif (found.token_type == ']]' or found.token_type == '$if' or
Packit bd1cd8
          found.token_type == '$elif' or found.token_type == '$else'):
Packit bd1cd8
      if prev_token_rstripped:
Packit bd1cd8
        yield prev_token_rstripped
Packit bd1cd8
      yield found
Packit bd1cd8
      pos = found.end
Packit bd1cd8
    else:
Packit bd1cd8
      if prev_token:
Packit bd1cd8
        yield prev_token
Packit bd1cd8
      yield found
Packit bd1cd8
      pos = found.end
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def Tokenize(s):
Packit bd1cd8
  """A generator that yields the tokens in the given string."""
Packit bd1cd8
  if s != '':
Packit bd1cd8
    lines = s.splitlines(True)
Packit bd1cd8
    for token in TokenizeLines(lines, Cursor(0, 0)):
Packit bd1cd8
      yield token
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
class CodeNode:
Packit bd1cd8
  def __init__(self, atomic_code_list=None):
Packit bd1cd8
    self.atomic_code = atomic_code_list
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
class VarNode:
Packit bd1cd8
  def __init__(self, identifier=None, atomic_code=None):
Packit bd1cd8
    self.identifier = identifier
Packit bd1cd8
    self.atomic_code = atomic_code
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
class RangeNode:
Packit bd1cd8
  def __init__(self, identifier=None, exp1=None, exp2=None):
Packit bd1cd8
    self.identifier = identifier
Packit bd1cd8
    self.exp1 = exp1
Packit bd1cd8
    self.exp2 = exp2
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
class ForNode:
Packit bd1cd8
  def __init__(self, identifier=None, sep=None, code=None):
Packit bd1cd8
    self.identifier = identifier
Packit bd1cd8
    self.sep = sep
Packit bd1cd8
    self.code = code
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
class ElseNode:
Packit bd1cd8
  def __init__(self, else_branch=None):
Packit bd1cd8
    self.else_branch = else_branch
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
class IfNode:
Packit bd1cd8
  def __init__(self, exp=None, then_branch=None, else_branch=None):
Packit bd1cd8
    self.exp = exp
Packit bd1cd8
    self.then_branch = then_branch
Packit bd1cd8
    self.else_branch = else_branch
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
class RawCodeNode:
Packit bd1cd8
  def __init__(self, token=None):
Packit bd1cd8
    self.raw_code = token
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
class LiteralDollarNode:
Packit bd1cd8
  def __init__(self, token):
Packit bd1cd8
    self.token = token
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
class ExpNode:
Packit bd1cd8
  def __init__(self, token, python_exp):
Packit bd1cd8
    self.token = token
Packit bd1cd8
    self.python_exp = python_exp
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def PopFront(a_list):
Packit bd1cd8
  head = a_list[0]
Packit bd1cd8
  a_list[:1] = []
Packit bd1cd8
  return head
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def PushFront(a_list, elem):
Packit bd1cd8
  a_list[:0] = [elem]
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def PopToken(a_list, token_type=None):
Packit bd1cd8
  token = PopFront(a_list)
Packit bd1cd8
  if token_type is not None and token.token_type != token_type:
Packit bd1cd8
    print 'ERROR: %s expected at %s' % (token_type, token.start)
Packit bd1cd8
    print 'ERROR: %s found instead' % (token,)
Packit bd1cd8
    sys.exit(1)
Packit bd1cd8
Packit bd1cd8
  return token
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def PeekToken(a_list):
Packit bd1cd8
  if not a_list:
Packit bd1cd8
    return None
Packit bd1cd8
Packit bd1cd8
  return a_list[0]
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def ParseExpNode(token):
Packit bd1cd8
  python_exp = re.sub(r'([_A-Za-z]\w*)', r'self.GetValue("\1")', token.value)
Packit bd1cd8
  return ExpNode(token, python_exp)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def ParseElseNode(tokens):
Packit bd1cd8
  def Pop(token_type=None):
Packit bd1cd8
    return PopToken(tokens, token_type)
Packit bd1cd8
Packit bd1cd8
  next = PeekToken(tokens)
Packit bd1cd8
  if not next:
Packit bd1cd8
    return None
Packit bd1cd8
  if next.token_type == '$else':
Packit bd1cd8
    Pop('$else')
Packit bd1cd8
    Pop('[[')
Packit bd1cd8
    code_node = ParseCodeNode(tokens)
Packit bd1cd8
    Pop(']]')
Packit bd1cd8
    return code_node
Packit bd1cd8
  elif next.token_type == '$elif':
Packit bd1cd8
    Pop('$elif')
Packit bd1cd8
    exp = Pop('code')
Packit bd1cd8
    Pop('[[')
Packit bd1cd8
    code_node = ParseCodeNode(tokens)
Packit bd1cd8
    Pop(']]')
Packit bd1cd8
    inner_else_node = ParseElseNode(tokens)
Packit bd1cd8
    return CodeNode([IfNode(ParseExpNode(exp), code_node, inner_else_node)])
Packit bd1cd8
  elif not next.value.strip():
Packit bd1cd8
    Pop('code')
Packit bd1cd8
    return ParseElseNode(tokens)
Packit bd1cd8
  else:
Packit bd1cd8
    return None
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def ParseAtomicCodeNode(tokens):
Packit bd1cd8
  def Pop(token_type=None):
Packit bd1cd8
    return PopToken(tokens, token_type)
Packit bd1cd8
Packit bd1cd8
  head = PopFront(tokens)
Packit bd1cd8
  t = head.token_type
Packit bd1cd8
  if t == 'code':
Packit bd1cd8
    return RawCodeNode(head)
Packit bd1cd8
  elif t == '$var':
Packit bd1cd8
    id_token = Pop('id')
Packit bd1cd8
    Pop('=')
Packit bd1cd8
    next = PeekToken(tokens)
Packit bd1cd8
    if next.token_type == 'exp':
Packit bd1cd8
      exp_token = Pop()
Packit bd1cd8
      return VarNode(id_token, ParseExpNode(exp_token))
Packit bd1cd8
    Pop('[[')
Packit bd1cd8
    code_node = ParseCodeNode(tokens)
Packit bd1cd8
    Pop(']]')
Packit bd1cd8
    return VarNode(id_token, code_node)
Packit bd1cd8
  elif t == '$for':
Packit bd1cd8
    id_token = Pop('id')
Packit bd1cd8
    next_token = PeekToken(tokens)
Packit bd1cd8
    if next_token.token_type == 'code':
Packit bd1cd8
      sep_token = next_token
Packit bd1cd8
      Pop('code')
Packit bd1cd8
    else:
Packit bd1cd8
      sep_token = None
Packit bd1cd8
    Pop('[[')
Packit bd1cd8
    code_node = ParseCodeNode(tokens)
Packit bd1cd8
    Pop(']]')
Packit bd1cd8
    return ForNode(id_token, sep_token, code_node)
Packit bd1cd8
  elif t == '$if':
Packit bd1cd8
    exp_token = Pop('code')
Packit bd1cd8
    Pop('[[')
Packit bd1cd8
    code_node = ParseCodeNode(tokens)
Packit bd1cd8
    Pop(']]')
Packit bd1cd8
    else_node = ParseElseNode(tokens)
Packit bd1cd8
    return IfNode(ParseExpNode(exp_token), code_node, else_node)
Packit bd1cd8
  elif t == '$range':
Packit bd1cd8
    id_token = Pop('id')
Packit bd1cd8
    exp1_token = Pop('exp')
Packit bd1cd8
    Pop('..')
Packit bd1cd8
    exp2_token = Pop('exp')
Packit bd1cd8
    return RangeNode(id_token, ParseExpNode(exp1_token),
Packit bd1cd8
                     ParseExpNode(exp2_token))
Packit bd1cd8
  elif t == '$id':
Packit bd1cd8
    return ParseExpNode(Token(head.start + 1, head.end, head.value[1:], 'id'))
Packit bd1cd8
  elif t == '$($)':
Packit bd1cd8
    return LiteralDollarNode(head)
Packit bd1cd8
  elif t == '$':
Packit bd1cd8
    exp_token = Pop('exp')
Packit bd1cd8
    return ParseExpNode(exp_token)
Packit bd1cd8
  elif t == '[[':
Packit bd1cd8
    code_node = ParseCodeNode(tokens)
Packit bd1cd8
    Pop(']]')
Packit bd1cd8
    return code_node
Packit bd1cd8
  else:
Packit bd1cd8
    PushFront(tokens, head)
Packit bd1cd8
    return None
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def ParseCodeNode(tokens):
Packit bd1cd8
  atomic_code_list = []
Packit bd1cd8
  while True:
Packit bd1cd8
    if not tokens:
Packit bd1cd8
      break
Packit bd1cd8
    atomic_code_node = ParseAtomicCodeNode(tokens)
Packit bd1cd8
    if atomic_code_node:
Packit bd1cd8
      atomic_code_list.append(atomic_code_node)
Packit bd1cd8
    else:
Packit bd1cd8
      break
Packit bd1cd8
  return CodeNode(atomic_code_list)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def ParseToAST(pump_src_text):
Packit bd1cd8
  """Convert the given Pump source text into an AST."""
Packit bd1cd8
  tokens = list(Tokenize(pump_src_text))
Packit bd1cd8
  code_node = ParseCodeNode(tokens)
Packit bd1cd8
  return code_node
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
class Env:
Packit bd1cd8
  def __init__(self):
Packit bd1cd8
    self.variables = []
Packit bd1cd8
    self.ranges = []
Packit bd1cd8
Packit bd1cd8
  def Clone(self):
Packit bd1cd8
    clone = Env()
Packit bd1cd8
    clone.variables = self.variables[:]
Packit bd1cd8
    clone.ranges = self.ranges[:]
Packit bd1cd8
    return clone
Packit bd1cd8
Packit bd1cd8
  def PushVariable(self, var, value):
Packit bd1cd8
    # If value looks like an int, store it as an int.
Packit bd1cd8
    try:
Packit bd1cd8
      int_value = int(value)
Packit bd1cd8
      if ('%s' % int_value) == value:
Packit bd1cd8
        value = int_value
Packit bd1cd8
    except Exception:
Packit bd1cd8
      pass
Packit bd1cd8
    self.variables[:0] = [(var, value)]
Packit bd1cd8
Packit bd1cd8
  def PopVariable(self):
Packit bd1cd8
    self.variables[:1] = []
Packit bd1cd8
Packit bd1cd8
  def PushRange(self, var, lower, upper):
Packit bd1cd8
    self.ranges[:0] = [(var, lower, upper)]
Packit bd1cd8
Packit bd1cd8
  def PopRange(self):
Packit bd1cd8
    self.ranges[:1] = []
Packit bd1cd8
Packit bd1cd8
  def GetValue(self, identifier):
Packit bd1cd8
    for (var, value) in self.variables:
Packit bd1cd8
      if identifier == var:
Packit bd1cd8
        return value
Packit bd1cd8
Packit bd1cd8
    print 'ERROR: meta variable %s is undefined.' % (identifier,)
Packit bd1cd8
    sys.exit(1)
Packit bd1cd8
Packit bd1cd8
  def EvalExp(self, exp):
Packit bd1cd8
    try:
Packit bd1cd8
      result = eval(exp.python_exp)
Packit bd1cd8
    except Exception, e:
Packit bd1cd8
      print 'ERROR: caught exception %s: %s' % (e.__class__.__name__, e)
Packit bd1cd8
      print ('ERROR: failed to evaluate meta expression %s at %s' %
Packit bd1cd8
             (exp.python_exp, exp.token.start))
Packit bd1cd8
      sys.exit(1)
Packit bd1cd8
    return result
Packit bd1cd8
Packit bd1cd8
  def GetRange(self, identifier):
Packit bd1cd8
    for (var, lower, upper) in self.ranges:
Packit bd1cd8
      if identifier == var:
Packit bd1cd8
        return (lower, upper)
Packit bd1cd8
Packit bd1cd8
    print 'ERROR: range %s is undefined.' % (identifier,)
Packit bd1cd8
    sys.exit(1)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
class Output:
Packit bd1cd8
  def __init__(self):
Packit bd1cd8
    self.string = ''
Packit bd1cd8
Packit bd1cd8
  def GetLastLine(self):
Packit bd1cd8
    index = self.string.rfind('\n')
Packit bd1cd8
    if index < 0:
Packit bd1cd8
      return ''
Packit bd1cd8
Packit bd1cd8
    return self.string[index + 1:]
Packit bd1cd8
Packit bd1cd8
  def Append(self, s):
Packit bd1cd8
    self.string += s
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def RunAtomicCode(env, node, output):
Packit bd1cd8
  if isinstance(node, VarNode):
Packit bd1cd8
    identifier = node.identifier.value.strip()
Packit bd1cd8
    result = Output()
Packit bd1cd8
    RunAtomicCode(env.Clone(), node.atomic_code, result)
Packit bd1cd8
    value = result.string
Packit bd1cd8
    env.PushVariable(identifier, value)
Packit bd1cd8
  elif isinstance(node, RangeNode):
Packit bd1cd8
    identifier = node.identifier.value.strip()
Packit bd1cd8
    lower = int(env.EvalExp(node.exp1))
Packit bd1cd8
    upper = int(env.EvalExp(node.exp2))
Packit bd1cd8
    env.PushRange(identifier, lower, upper)
Packit bd1cd8
  elif isinstance(node, ForNode):
Packit bd1cd8
    identifier = node.identifier.value.strip()
Packit bd1cd8
    if node.sep is None:
Packit bd1cd8
      sep = ''
Packit bd1cd8
    else:
Packit bd1cd8
      sep = node.sep.value
Packit bd1cd8
    (lower, upper) = env.GetRange(identifier)
Packit bd1cd8
    for i in range(lower, upper + 1):
Packit bd1cd8
      new_env = env.Clone()
Packit bd1cd8
      new_env.PushVariable(identifier, i)
Packit bd1cd8
      RunCode(new_env, node.code, output)
Packit bd1cd8
      if i != upper:
Packit bd1cd8
        output.Append(sep)
Packit bd1cd8
  elif isinstance(node, RawCodeNode):
Packit bd1cd8
    output.Append(node.raw_code.value)
Packit bd1cd8
  elif isinstance(node, IfNode):
Packit bd1cd8
    cond = env.EvalExp(node.exp)
Packit bd1cd8
    if cond:
Packit bd1cd8
      RunCode(env.Clone(), node.then_branch, output)
Packit bd1cd8
    elif node.else_branch is not None:
Packit bd1cd8
      RunCode(env.Clone(), node.else_branch, output)
Packit bd1cd8
  elif isinstance(node, ExpNode):
Packit bd1cd8
    value = env.EvalExp(node)
Packit bd1cd8
    output.Append('%s' % (value,))
Packit bd1cd8
  elif isinstance(node, LiteralDollarNode):
Packit bd1cd8
    output.Append('$')
Packit bd1cd8
  elif isinstance(node, CodeNode):
Packit bd1cd8
    RunCode(env.Clone(), node, output)
Packit bd1cd8
  else:
Packit bd1cd8
    print 'BAD'
Packit bd1cd8
    print node
Packit bd1cd8
    sys.exit(1)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def RunCode(env, code_node, output):
Packit bd1cd8
  for atomic_code in code_node.atomic_code:
Packit bd1cd8
    RunAtomicCode(env, atomic_code, output)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def IsSingleLineComment(cur_line):
Packit bd1cd8
  return '//' in cur_line
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def IsInPreprocessorDirective(prev_lines, cur_line):
Packit bd1cd8
  if cur_line.lstrip().startswith('#'):
Packit bd1cd8
    return True
Packit bd1cd8
  return prev_lines and prev_lines[-1].endswith('\\')
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def WrapComment(line, output):
Packit bd1cd8
  loc = line.find('//')
Packit bd1cd8
  before_comment = line[:loc].rstrip()
Packit bd1cd8
  if before_comment == '':
Packit bd1cd8
    indent = loc
Packit bd1cd8
  else:
Packit bd1cd8
    output.append(before_comment)
Packit bd1cd8
    indent = len(before_comment) - len(before_comment.lstrip())
Packit bd1cd8
  prefix = indent*' ' + '// '
Packit bd1cd8
  max_len = 80 - len(prefix)
Packit bd1cd8
  comment = line[loc + 2:].strip()
Packit bd1cd8
  segs = [seg for seg in re.split(r'(\w+\W*)', comment) if seg != '']
Packit bd1cd8
  cur_line = ''
Packit bd1cd8
  for seg in segs:
Packit bd1cd8
    if len((cur_line + seg).rstrip()) < max_len:
Packit bd1cd8
      cur_line += seg
Packit bd1cd8
    else:
Packit bd1cd8
      if cur_line.strip() != '':
Packit bd1cd8
        output.append(prefix + cur_line.rstrip())
Packit bd1cd8
      cur_line = seg.lstrip()
Packit bd1cd8
  if cur_line.strip() != '':
Packit bd1cd8
    output.append(prefix + cur_line.strip())
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def WrapCode(line, line_concat, output):
Packit bd1cd8
  indent = len(line) - len(line.lstrip())
Packit bd1cd8
  prefix = indent*' '  # Prefix of the current line
Packit bd1cd8
  max_len = 80 - indent - len(line_concat)  # Maximum length of the current line
Packit bd1cd8
  new_prefix = prefix + 4*' '  # Prefix of a continuation line
Packit bd1cd8
  new_max_len = max_len - 4  # Maximum length of a continuation line
Packit bd1cd8
  # Prefers to wrap a line after a ',' or ';'.
Packit bd1cd8
  segs = [seg for seg in re.split(r'([^,;]+[,;]?)', line.strip()) if seg != '']
Packit bd1cd8
  cur_line = ''  # The current line without leading spaces.
Packit bd1cd8
  for seg in segs:
Packit bd1cd8
    # If the line is still too long, wrap at a space.
Packit bd1cd8
    while cur_line == '' and len(seg.strip()) > max_len:
Packit bd1cd8
      seg = seg.lstrip()
Packit bd1cd8
      split_at = seg.rfind(' ', 0, max_len)
Packit bd1cd8
      output.append(prefix + seg[:split_at].strip() + line_concat)
Packit bd1cd8
      seg = seg[split_at + 1:]
Packit bd1cd8
      prefix = new_prefix
Packit bd1cd8
      max_len = new_max_len
Packit bd1cd8
Packit bd1cd8
    if len((cur_line + seg).rstrip()) < max_len:
Packit bd1cd8
      cur_line = (cur_line + seg).lstrip()
Packit bd1cd8
    else:
Packit bd1cd8
      output.append(prefix + cur_line.rstrip() + line_concat)
Packit bd1cd8
      prefix = new_prefix
Packit bd1cd8
      max_len = new_max_len
Packit bd1cd8
      cur_line = seg.lstrip()
Packit bd1cd8
  if cur_line.strip() != '':
Packit bd1cd8
    output.append(prefix + cur_line.strip())
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def WrapPreprocessorDirective(line, output):
Packit bd1cd8
  WrapCode(line, ' \\', output)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def WrapPlainCode(line, output):
Packit bd1cd8
  WrapCode(line, '', output)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def IsMultiLineIWYUPragma(line):
Packit bd1cd8
  return re.search(r'/\* IWYU pragma: ', line)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def IsHeaderGuardIncludeOrOneLineIWYUPragma(line):
Packit bd1cd8
  return (re.match(r'^#(ifndef|define|endif\s*//)\s*[\w_]+\s*$', line) or
Packit bd1cd8
          re.match(r'^#include\s', line) or
Packit bd1cd8
          # Don't break IWYU pragmas, either; that causes iwyu.py problems.
Packit bd1cd8
          re.search(r'// IWYU pragma: ', line))
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def WrapLongLine(line, output):
Packit bd1cd8
  line = line.rstrip()
Packit bd1cd8
  if len(line) <= 80:
Packit bd1cd8
    output.append(line)
Packit bd1cd8
  elif IsSingleLineComment(line):
Packit bd1cd8
    if IsHeaderGuardIncludeOrOneLineIWYUPragma(line):
Packit bd1cd8
      # The style guide made an exception to allow long header guard lines,
Packit bd1cd8
      # includes and IWYU pragmas.
Packit bd1cd8
      output.append(line)
Packit bd1cd8
    else:
Packit bd1cd8
      WrapComment(line, output)
Packit bd1cd8
  elif IsInPreprocessorDirective(output, line):
Packit bd1cd8
    if IsHeaderGuardIncludeOrOneLineIWYUPragma(line):
Packit bd1cd8
      # The style guide made an exception to allow long header guard lines,
Packit bd1cd8
      # includes and IWYU pragmas.
Packit bd1cd8
      output.append(line)
Packit bd1cd8
    else:
Packit bd1cd8
      WrapPreprocessorDirective(line, output)
Packit bd1cd8
  elif IsMultiLineIWYUPragma(line):
Packit bd1cd8
    output.append(line)
Packit bd1cd8
  else:
Packit bd1cd8
    WrapPlainCode(line, output)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def BeautifyCode(string):
Packit bd1cd8
  lines = string.splitlines()
Packit bd1cd8
  output = []
Packit bd1cd8
  for line in lines:
Packit bd1cd8
    WrapLongLine(line, output)
Packit bd1cd8
  output2 = [line.rstrip() for line in output]
Packit bd1cd8
  return '\n'.join(output2) + '\n'
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def ConvertFromPumpSource(src_text):
Packit bd1cd8
  """Return the text generated from the given Pump source text."""
Packit bd1cd8
  ast = ParseToAST(StripMetaComments(src_text))
Packit bd1cd8
  output = Output()
Packit bd1cd8
  RunCode(Env(), ast, output)
Packit bd1cd8
  return BeautifyCode(output.string)
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
def main(argv):
Packit bd1cd8
  if len(argv) == 1:
Packit bd1cd8
    print __doc__
Packit bd1cd8
    sys.exit(1)
Packit bd1cd8
Packit bd1cd8
  file_path = argv[-1]
Packit bd1cd8
  output_str = ConvertFromPumpSource(file(file_path, 'r').read())
Packit bd1cd8
  if file_path.endswith('.pump'):
Packit bd1cd8
    output_file_path = file_path[:-5]
Packit bd1cd8
  else:
Packit bd1cd8
    output_file_path = '-'
Packit bd1cd8
  if output_file_path == '-':
Packit bd1cd8
    print output_str,
Packit bd1cd8
  else:
Packit bd1cd8
    output_file = file(output_file_path, 'w')
Packit bd1cd8
    output_file.write('// This file was GENERATED by command:\n')
Packit bd1cd8
    output_file.write('//     %s %s\n' %
Packit bd1cd8
                      (os.path.basename(__file__), os.path.basename(file_path)))
Packit bd1cd8
    output_file.write('// DO NOT EDIT BY HAND!!!\n\n')
Packit bd1cd8
    output_file.write(output_str)
Packit bd1cd8
    output_file.close()
Packit bd1cd8
Packit bd1cd8
Packit bd1cd8
if __name__ == '__main__':
Packit bd1cd8
  main(sys.argv)