def location (self, pos):
    """Formats the location of the given SeqPos as:

        filename:line:col:
    """
    result = ''
    if self.filename:
      result += self.filename + ':'
    if pos:
      result += str(pos)
    return result