def runTest(self): # ARRANGE # checked_dir = Dir.empty('the-checked-dir') fsm_1 = FilesMatcherSymbolContextOfPrimitiveConstant('fsm_1', True) fsm_2 = FilesMatcherSymbolContextOfPrimitiveConstant('fsm_2', False) symbols = [fsm_1, fsm_2] rel_conf = rel_opt_conf.conf_rel_any(RelOptionType.REL_ACT) arguments = args.recursive( rel_conf.path_argument_of_rel_name(checked_dir.name), fsm_args.disjunction([fsm_1.argument, fsm_2.argument]), ) is_pass = fsm_1.result_value or fsm_2.result_value # ACT # & ASSERT # INSTRUCTION_CHECKER.check_2( self, arguments.as_remaining_source, ArrangementPostAct2( symbols=SymbolContext.symbol_table_of_contexts(symbols), tcds=TcdsArrangementPostAct( tcds_contents=rel_conf. populator_for_relativity_option_root( DirContents([checked_dir])))), Expectation2( ParseExpectation( source=asrt_source.source_is_at_end, symbol_usages=SymbolContext.usages_assertion_of_contexts( symbols), ), ExecutionExpectation( main_result=asrt_pfh.is_non_hard_error(is_pass), ), ))
def runTest(self): helper = HardErrorDueToHardErrorFromFilesMatcherHelper() arguments = args.recursive( helper.path_argument(), helper.files_matcher_reference_argument(), ) INSTRUCTION_CHECKER.check( self, arguments.as_remaining_source, helper.arrangement(), helper.expectation(), )
def runTest(self): # ARRANGE # checked_dir_location = RelOptionType.REL_TMP checked_dir_name = 'the-model-dir' checked_dir_path = path_sdvs.of_rel_option_with_const_file_name( checked_dir_location, checked_dir_name) model_checker_symbol_name = 'symbol_that_checks_model' arguments = args.recursive( RelOptPathArgument(checked_dir_name, checked_dir_location), SymbolReferenceArgument(model_checker_symbol_name), ) contents_cases = test_data.strip_file_type_info_s([ test_data.identical_expected_and_actual(case.name, case.value) for case in test_data.cases() ])
def runTest(self): # ARRANGE # helper = ValidationHelper() arguments = args.recursive( helper.path_argument(), helper.files_matcher_reference_argument(), ) # ACT & ASSERT # INSTRUCTION_CHECKER.check_multi__with_source_variants( self, SourceArrangement.new_w_arbitrary_fs_location( arguments.as_arguments), symbol_usages=helper.expected_symbol_usages(), execution=helper.execution_cases(), )