31   def get_name(self):  argument
43   def get_file_name(self):  argument
48   def get_file_extension(self):  argument
64     def get_file_name(self):  argument
65       return self.get_name() + ext
67     def get_file_extension(self):  argument
94   def __lt__(self, other):  argument
95     return self.get_name() < other.get_name()
97   def __gt__(self, other):  argument
98     return self.get_name() > other.get_name()
100   def __eq__(self, other):  argument
101     return self.get_name() == other.get_name()
103   def __le__(self, other):  argument
104     return self.get_name() <= other.get_name()
106   def __ge__(self, other):  argument
107     return self.get_name() >= other.get_name()
109   def __ne__(self, other):  argument
110     return self.get_name() != other.get_name()
112   def __hash__(self):  argument
113     return hash(self.get_name())
125   def __str__(self):  argument
131   def dump(self, directory):  argument
135     out_file = directory / self.get_file_name()
139       print(str(self), file=out)