Класс tests.test_e2e.TestControlFlowE2E

Открытые члены
	test_program_structure (self)
	test_case_generates_switch (self)
	test_for_generates_for_loop (self)
	test_while_generates_while_loop (self)
	test_repeat_generates_do_while (self)
	test_local_variable_declarations (self)
	test_all_control_flow_types_present (self)

Защищенные члены
str	_run_control_flow_pipeline (self)

Подробное описание

E2E tests for control flow constructs (CASE, FOR, WHILE, REPEAT).

Методы

_run_control_flow_pipeline()

str tests.test_e2e.TestControlFlowE2E._run_control_flow_pipeline ( self )

protected

Run the pipeline on control_flow.st (no mapping needed for locals-only program).

test_all_control_flow_types_present()

tests.test_e2e.TestControlFlowE2E.test_all_control_flow_types_present

(

self

)

Verify all 4 control flow types appear in the generated output.