File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1010from typing import Optional
1111from typing import Union
1212
13+ from typing_extensions import override
14+
1315
1416class EndUseOption (Enum ):
1517 """
@@ -127,6 +129,7 @@ def __post_init__(self):
127129 if not isinstance (self .params , MappingProxyType ):
128130 object .__setattr__ (self , 'params' , MappingProxyType (self .params ))
129131
132+ @override
130133 def __hash__ (self ) -> int :
131134 """
132135 Computes a hash based on the content of the parameters.
@@ -181,6 +184,7 @@ def __setstate__(self, state: dict):
181184 # Restore the instance's dictionary
182185 self .__dict__ .update (state )
183186
187+ @override
184188 def as_file_path (self ) -> Path :
185189 """
186190 Creates a temporary file representation of the parameters on demand.
@@ -209,6 +213,7 @@ def as_file_path(self) -> Path:
209213 object .__setattr__ (self , '_cached_file_path' , file_path )
210214 return file_path
211215
216+ @override
212217 def get_output_file_path (self ) -> Path :
213218 """Returns a unique path for the GEOPHIRES output file."""
214219 return Path (tempfile .gettempdir (), f'geophires-result_{ self ._instance_id !s} .out' )
You can’t perform that action at this time.
0 commit comments