/* CTF 1.8 */

/*
 * The MIT License (MIT)
 *
 * Copyright (c) 2015-2020 Philippe Proulx <pproulx@efficios.com>
 *
 * Permission is hereby granted, free of charge, to any person obtaining
 * a copy of this software and associated documentation files (the
 * "Software"), to deal in the Software without restriction, including
 * without limitation the rights to use, copy, modify, merge, publish,
 * distribute, sublicense, and/or sell copies of the Software, and to
 * permit persons to whom the Software is furnished to do so, subject to
 * the following conditions:
 *
 * The above copyright notice and this permission notice shall be
 * included in all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
 * BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
 * ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
 * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 * SOFTWARE.
 *
 * - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
 *
 * The following code was generated by barectf v3.0.1
 * on 2021-11-26T15:34:36.165563.
 *
 * For more details, see <https://barectf.org/>.
 */

trace {
	major = 1;
	minor = 8;
	byte_order = le;
	packet.header := struct {
		integer {
			signed = false;
			size = 32;
			align = 8;
			byte_order = native;
			base = 10;
		} magic;
		integer {
			signed = false;
			size = 64;
			align = 8;
			byte_order = native;
			base = 10;
		} stream_id;
	} align(8);
};

env {
	domain = "bare";
	tracer_name = "barectf";
	tracer_major = 3;
	tracer_minor = 0;
	tracer_patch = 1;
	tracer_pre = "";
	barectf_gen_date = "2021-11-26T15:34:36.165563";
};

clock {
	name = default;
	freq = 1000000000;
	precision = 0;
	offset_s = 0;
	offset = 0;
	absolute = false;
};

/* Data stream type `default` */
stream {
	id = 0;
	packet.context := struct {
		integer {
			signed = false;
			size = 64;
			align = 8;
			byte_order = native;
			base = 10;
		} packet_size;
		integer {
			signed = false;
			size = 64;
			align = 8;
			byte_order = native;
			base = 10;
		} content_size;
		integer {
			signed = false;
			size = 64;
			align = 8;
			byte_order = native;
			base = 10;
			map = clock.default.value;
		} timestamp_begin;
		integer {
			signed = false;
			size = 64;
			align = 8;
			byte_order = native;
			base = 10;
			map = clock.default.value;
		} timestamp_end;
		integer {
			signed = false;
			size = 64;
			align = 8;
			byte_order = native;
			base = 10;
		} events_discarded;
	} align(8);
	event.header := struct {
		integer {
			signed = false;
			size = 64;
			align = 8;
			byte_order = native;
			base = 10;
		} id;
		integer {
			signed = false;
			size = 64;
			align = 8;
			byte_order = native;
			base = 10;
			map = clock.default.value;
		} timestamp;
	} align(8);
};

event {
	stream_id = 0;
	id = 0;
	name = "enter_state_Speed_ManagementBB_Active_00007";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_uq389o7eEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
	} align(1);
};

event {
	stream_id = 0;
	id = 1;
	name = "exit_state_Speed_ManagementBB_Active_00007";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_uq389o7eEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
	} align(1);
};

event {
	stream_id = 0;
	id = 2;
	name = "op_starts_CustomerFeedback_inform_the_driver_of_the_car_speed_00021";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_de1c0I7gEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} value;
	} align(1);
};

event {
	stream_id = 0;
	id = 3;
	name = "op_starts_CustomerRequest_the_driver_requests_to_accelerate_00019";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_IQlL0I7fEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} coef;
	} align(1);
};

event {
	stream_id = 0;
	id = 4;
	name = "op_starts_CustomerRequest_the_driver_requests_to_brake_00020";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_0nHKgI7hEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} coef;
	} align(1);
};

event {
	stream_id = 0;
	id = 5;
	name = "op_starts_EnvironmentFromEnv_the_car_speed_is_received_00023";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_7z0TsI7fEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} value;
	} align(1);
};

event {
	stream_id = 0;
	id = 6;
	name = "op_starts_EnvironmentToEnv_send_car_acceleration_00022";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_bpv_8I7fEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} value;
	} align(1);
};

event {
	stream_id = 0;
	id = 7;
	name = "op_starts_Environment_send_car_acceleration_00001";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_bp3UsI7fEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} value;
	} align(1);
};

event {
	stream_id = 0;
	id = 8;
	name = "op_starts_ProductInputCustomer_the_driver_requests_to_accelerate_00014";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_IQzOQY7fEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} coef;
	} align(1);
};

event {
	stream_id = 0;
	id = 9;
	name = "op_starts_ProductInputCustomer_the_driver_requests_to_brake_00015";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_0nQ7gI7hEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} coef;
	} align(1);
};

event {
	stream_id = 0;
	id = 10;
	name = "op_starts_ProductInputEnvironment_the_car_speed_is_received_00017";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_7z9doY7fEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} value;
	} align(1);
};

event {
	stream_id = 0;
	id = 11;
	name = "op_starts_ProductOutputCustomer_inform_the_driver_of_the_car_speed_00016";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_dfAb8Y7gEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} value;
	} align(1);
};

event {
	stream_id = 0;
	id = 12;
	name = "op_starts_ProductOutputEnvironment_send_car_acceleration_00018";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_bqBswY7fEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} value;
	} align(1);
};

event {
	stream_id = 0;
	id = 13;
	name = "op_starts_ServiceBroadcast_inform_the_driver_of_the_car_speed_00028";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_de35EI7gEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} value;
	} align(1);
};

event {
	stream_id = 0;
	id = 14;
	name = "op_starts_ServiceBroadcast_send_car_acceleration_00027";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_bpzqUI7fEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} value;
	} align(1);
};

event {
	stream_id = 0;
	id = 15;
	name = "op_starts_ServiceListening_the_car_speed_is_received_00025";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_7zx3cI7fEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} value;
	} align(1);
};

event {
	stream_id = 0;
	id = 16;
	name = "op_starts_ServiceListening_the_driver_requests_to_accelerate_00024";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_IQhhcI7fEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} coef;
	} align(1);
};

event {
	stream_id = 0;
	id = 17;
	name = "op_starts_ServiceListening_the_driver_requests_to_brake_00026";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_0nEuQI7hEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} coef;
	} align(1);
};

event {
	stream_id = 0;
	id = 18;
	name = "op_starts_Speed_ManagementBB_accelerate_00008";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_WIxqsI7fEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
	} align(1);
};

event {
	stream_id = 0;
	id = 19;
	name = "op_starts_Speed_ManagementBB_brake_00012";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_KIK4MI7iEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
	} align(1);
};

event {
	stream_id = 0;
	id = 20;
	name = "op_starts_Speed_ManagementBB_set_null_acceleration_00013";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#__0ldoI7jEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
	} align(1);
};

event {
	stream_id = 0;
	id = 21;
	name = "op_starts_Speed_ManagementBB_the_car_speed_is_received_00010";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_7z2I4Y7fEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} value;
	} align(1);
};

event {
	stream_id = 0;
	id = 22;
	name = "op_starts_Speed_ManagementBB_the_driver_requests_to_accelerate_00009";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_IQo2MI7fEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} coef;
	} align(1);
};

event {
	stream_id = 0;
	id = 23;
	name = "op_starts_Speed_ManagementBB_the_driver_requests_to_brake_00011";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_0nJmwI7hEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} coef;
	} align(1);
};

event {
	stream_id = 0;
	id = 24;
	name = "op_starts_User_inform_the_driver_of_the_car_speed_00000";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_de6VUI7gEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
		floating_point {
			mant_dig = 53;
			exp_dig = 11;
			align = 64;
			byte_order = native;
		} value;
	} align(1);
};

event {
	stream_id = 0;
	id = 25;
	name = "transition_Speed_ManagementBB_T0_00002";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_uq389Y7eEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
	} align(1);
};

event {
	stream_id = 0;
	id = 26;
	name = "transition_Speed_ManagementBB_T4_00003";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_k8L0oI7fEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
	} align(1);
};

event {
	stream_id = 0;
	id = 27;
	name = "transition_Speed_ManagementBB_T5_00004";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_kdXYYI7kEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
	} align(1);
};

event {
	stream_id = 0;
	id = 28;
	name = "transition_Speed_ManagementBB_T6_00005";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_zypq4I7lEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
	} align(1);
};

event {
	stream_id = 0;
	id = 29;
	name = "transition_Speed_ManagementBB_T7_00006";
	model.emf.uri = "platform:/resource/Tutorial1/Tutorial1.uml#_z3aPEI7lEeqvV45jbTT2rA";
	fields := struct {
		string {
			encoding = UTF8;
		} instanceId;
	} align(1);
};
