def cleanup_phase_instruction_that(validate_pre_sds: Callable = do_return(svh.new_svh_success()),
validate_pre_sds_initial_action: Optional[Callable] = None,
main: Callable = do_return(sh.new_sh_success()),
main_initial_action: Optional[Callable] = None,
symbol_usages_initial_action: Optional[Callable] = None,
symbol_usages: Callable = do_return([])) -> CleanupPhaseInstruction:
return _CleanupPhaseInstructionThat(action_of(validate_pre_sds_initial_action, validate_pre_sds),
action_of(main_initial_action, main),
action_of(symbol_usages_initial_action, symbol_usages))
def assert_phase_instruction_that(validate_pre_sds: Callable = do_return(svh.new_svh_success()),
validate_pre_sds_initial_action: Optional[Callable] = None,
validate_post_setup: Callable = do_return(svh.new_svh_success()),
validate_post_setup_initial_action: Optional[Callable] = None,
main: Callable = do_return(pfh.new_pfh_pass()),
main_initial_action: Optional[Callable] = None,
symbol_usages_initial_action: Optional[Callable] = None,
symbol_usages: Callable = do_return([])) -> AssertPhaseInstruction:
return _AssertPhaseInstructionThat(action_of(validate_pre_sds_initial_action, validate_pre_sds),
action_of(validate_post_setup_initial_action, validate_post_setup),
action_of(main_initial_action, main),
action_of(symbol_usages_initial_action, symbol_usages))
def cleanup_phase_instruction_that(
validate_pre_sds: ValidatePreSdsAction = do_return(svh.new_svh_success()),
validate_pre_sds_initial_action: Optional[Callable] = None,
main: CleanupMainAction = do_return(sh.new_sh_success()),
main_initial_action: Optional[CleanupMainInitialAction] = None,
symbol_usages_initial_action: Optional[Callable] = None,
symbol_usages: Callable = do_return([])
) -> CleanupPhaseInstruction:
return _CleanupPhaseInstructionThat(
action_of(validate_pre_sds_initial_action, validate_pre_sds),
action_of(main_initial_action, main),
action_of(symbol_usages_initial_action, symbol_usages))
def instruction_embryo_that(validate_pre_sds_initial_action=do_nothing,
validate_pre_sds_return_value=None,
validate_post_sds_initial_action=do_nothing,
validate_post_sds_return_value=None,
main=do_return(None),
main_initial_action=None,
symbol_usages_initial_action=None,
symbol_usages=do_return([])) -> InstructionEmbryo:
return _InstructionEmbryoThat(ValidatorThat(pre_sds_action=validate_pre_sds_initial_action,
pre_sds_return_value=validate_pre_sds_return_value,
post_setup_action=validate_post_sds_initial_action,
post_setup_return_value=validate_post_sds_return_value),
action_of(main_initial_action, main),
action_of(symbol_usages_initial_action, symbol_usages))
def configuration_phase_instruction_that(
main: Callable = do_return(svh.new_svh_success()),
main_initial_action: Optional[Callable[[ConfigurationBuilder],
None]] = None,
) -> ConfigurationPhaseInstruction:
return _ConfigurationPhaseInstructionThat(
main=action_of(main_initial_action, main))
def assert_phase_instruction_that(
validate_pre_sds: ValidatePreSdsAction = do_return(svh.new_svh_success()),
validate_pre_sds_initial_action: Optional[Callable] = None,
validate_post_setup: ValidatePostSdsAction = do_return(
svh.new_svh_success()),
validate_post_setup_initial_action: Optional[Callable] = None,
main: AssertMainAction = do_return(pfh.new_pfh_pass()),
main_initial_action: Optional[AssertMainInitialAction] = None,
symbol_usages_initial_action: Optional[Callable] = None,
symbol_usages: Callable = do_return([])
) -> AssertPhaseInstruction:
return _AssertPhaseInstructionThat(
action_of(validate_pre_sds_initial_action, validate_pre_sds),
action_of(validate_post_setup_initial_action, validate_post_setup),
action_of(main_initial_action, main),
action_of(symbol_usages_initial_action, symbol_usages))
def operand_resolver_that(validate_pre_sds=actions.do_nothing__single_arg,
resolve_return_value_action=actions.do_nothing,
resolve_initial_action=None,
symbol_usages: Optional[Sequence[SymbolReference]] = None,
property_name: str = 'test property') -> OperandResolver:
return _OperandResolverThat(
validate_pre_sds,
actions.action_of(resolve_initial_action, resolve_return_value_action),
[] if symbol_usages is None else symbol_usages,
property_name
)
def instruction_embryo_that__phase_agnostic(
validate_pre_sds_initial_action=do_nothing,
validate_pre_sds_return_value: Optional[TextRenderer] = None,
validate_post_sds_initial_action=do_nothing,
validate_post_sds_return_value: Optional[TextRenderer] = None,
main: Callable[[
InstructionEnvironmentForPostSdsStep, InstructionSettings, OsServices
], T] = do_return(None),
main_initial_action: Optional[Callable[[
InstructionEnvironmentForPostSdsStep, InstructionSettings, OsServices
], None]] = None,
symbol_usages_initial_action=None,
symbol_usages=do_return([])
) -> InstructionEmbryo[T]:
return _PhaseAgnosticInstructionEmbryoThat(
SdvValidatorThat(
pre_sds_action=validate_pre_sds_initial_action,
pre_sds_return_value=validate_pre_sds_return_value,
post_setup_action=validate_post_sds_initial_action,
post_setup_return_value=validate_post_sds_return_value),
action_of(main_initial_action, main),
action_of(symbol_usages_initial_action, symbol_usages),
)
def configuration_phase_instruction_that(main: Callable = do_return(sh.new_sh_success()),
main_initial_action: Optional[
Callable] = None) -> ConfigurationPhaseInstruction:
return _ConfigurationPhaseInstructionThat(main=action_of(main_initial_action, main))