コード例 #1
0
    def validate_pre_sds(self,
                         environment: InstructionEnvironmentForPreSdsStep
                         ) -> svh.SuccessOrValidationErrorOrHardError:
        _, _, validator = self._ddvs(environment.symbols)

        err_msg = validator.validate_pre_sds_if_applicable(environment.hds)
        return svh.new_maybe_svh_validation_error(err_msg)
コード例 #2
0
 def validate_post_setup(
     self, environment: InstructionEnvironmentForPostSdsStep
 ) -> svh.SuccessOrValidationErrorOrHardError:
     validator = self._validator(environment)
     maybe_err_msg = validator.validate_post_sds_if_applicable(
         environment.tcds)
     return svh.new_maybe_svh_validation_error(maybe_err_msg)
コード例 #3
0
 def validate_pre_sds(
     self,
     environment: InstructionEnvironmentForPreSdsStep,
 ) -> svh.SuccessOrValidationErrorOrHardError:
     mb_failure_msg = self._validator.validate_pre_sds_if_applicable(
         environment.path_resolving_environment)
     return svh.new_maybe_svh_validation_error(mb_failure_msg)
コード例 #4
0
 def validate_pre_sds(
     self,
     environment: InstructionEnvironmentForPreSdsStep,
 ) -> svh.SuccessOrValidationErrorOrHardError:
     ddv = self._contents.resolve(environment.symbols)
     return svh.new_maybe_svh_validation_error(
         ddv.validator.validate_pre_sds_if_applicable(environment.hds))
コード例 #5
0
ファイル: path_check.py プロジェクト: emilkarlen/exactly
def pre_or_post_sds_validate(
    path_check: PathCheck, environment: PathResolvingEnvironmentPreOrPostSds
) -> svh.SuccessOrValidationErrorOrHardError:
    return svh.new_maybe_svh_validation_error(
        pre_or_post_sds_failure_message_or_none(path_check, environment))
コード例 #6
0
 def validate_post_setup(self, environment: InstructionEnvironmentForPostSdsStep
                         ) -> svh.SuccessOrValidationErrorOrHardError:
     validator = self._validator(environment)
     maybe_err_msg = validator.validate_post_sds_if_applicable(environment.home_and_sds)
     return svh.new_maybe_svh_validation_error(maybe_err_msg)