File tree Expand file tree Collapse file tree 1 file changed +5
-0
lines changed Expand file tree Collapse file tree 1 file changed +5
-0
lines changed 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