/*
Copyright (c) ETSI 2020.

This software is subject to copyrights owned by ETSI. Non-exclusive permission
is hereby granted, free of charge, to copy, reproduce and amend this file
under the following conditions: It is provided "as is", without warranty of any
kind, expressed or implied.

ETSI shall never be liable for any claim, damages, or other liability arising
from its use or inability of use.This permission does not apply to any documentation
associated with this file for which ETSI keeps all rights reserved. The present
copyright notice shall be included in all copies of whole or part of this
file and shall not imply any sub-license right.
*/

//Inferred (manually) from objectives.tplan2
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;
	} 

}