def InsertIntArg(self, string="", **_):
    """Inserts an Integer argument."""
    try:
      int_value = int(string)
      return self.InsertArg(int_value)
    except (TypeError, ValueError):
      raise ParseError("%s is not a valid integer." % string)
dataset/ETHPy150Open google/grr/grr/lib/objectfilter.py/Parser.InsertIntArg/original