Method PushIndent

validator/validator_gen_js.py:64–66

Pushes a particular indent onto the stack.

(self, indent)

    self.indent_by_ = [0]

  def PushIndent(self, indent):
    """Pushes a particular indent onto the stack."""
    self.indent_by_.append(self.indent_by_[-1] + indent)

  def PopIndent(self):
    """Pops a particular indent from the stack, reverting to the previous."""