descriptions.tdlan2

Package descriptions {
	Import all from inferred_configuration;
	Import all from inferred_data;
	
	Action move_to (position of type inferred_position);
	
	Test Description TD_MOVE_OBJECT_LITERAL uses configuration inferred_move_object {
		Controller.inferred_gate sends inferred_start_position to Object.inferred_gate;
		perform action move_to (position = inferred_start_position) on Object;
	} 
	
	Test Description TD_MOVE_OBJECT_LITERAL_INLINE uses configuration inferred_move_object {
		Controller.inferred_gate sends new inferred_position (x = 22, y = 21) to Object.inferred_gate;
		perform action move_to (position = new inferred_position (x = 22, y = 21)) on Object;
	} 

}