data_tables.tdlan2 891 Bytes
Newer Older
Package data_tables {
	Import all from inferred_data;
	Import all from inferred_configuration;

	inferred_position start_position();
	inferred_position open_position();
	inferred_position closed_position();
	inferred_position end_position();

	Action move_to (position of type inferred_position);
	
	Test Description TC_MOVE_TO (
		target_position of type inferred_position
	) uses configuration inferred_move_object {
		Controller.inferred_gate sends parameter target_position to Object.inferred_gate;
		perform action move_to (position = parameter target_position) on Object;
	}	
		
	Test Description TC_MOVE_AROUND uses configuration inferred_move_object {
		execute TC_MOVE_TO (target_position = start_position);
		execute TC_MOVE_TO (target_position = open_position);
		execute TC_MOVE_TO (target_position = closed_position);
		execute TC_MOVE_TO (target_position = end_position);
	}	
}