/*
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 inferred_configuration {
	Import all from data ;
	Gate Type inferred_gate_type accepts position ;
	Component Type inferred_component_type having {
		gate inferred_gate of type inferred_gate_type ;
	}
	Test Configuration inferred_move_object {
		create Tester Controller of type inferred_component_type ;
		create SUT Object of type inferred_component_type ;
		connect Controller.inferred_gate to Object.inferred_gate ;
	}
}