code: def setExtension(self, ext):
          
          if ext[0] != ".":
              ext = "." + ext
          self._ext = utils.asString(ext)
docs: Set a new file extension for the sequence.
  
          Note:
              A leading period will be added if none is provided.
  
          Args:
              ext (str): the new file extension