Added TC_MTS_CCH_02. (26fb4295) · Commits · TTCN-3 Libraries / LibIts

ttcn/DCC/LibItsDcc_Pixits.ttcn

+95 −0

Original line number	Original line	Diff line number	Diff line
	@@ -308,6 +308,101 @@ module LibItsDcc_Pixits {
	}		}
	}		}

			/**
			* @desc Give the content of Table 11.
			* @see ETSI TS 102 917-2 Table 11
			*/
			modulepar ProfileChannelAspects PIXIT_TABLE_11_TC_MTS_CCH_02 := {
			{ 5,
			{
			{
			active,
			{
			{ active, active },
			{ restrictive, active },
			{ active, restrictive },
			{ restrictive, restrictive }
			}
			},
			{
			restrictive,
			{
			{ active, active },
			{ restrictive, active },
			{ active, restrictive },
			{ restrictive, restrictive }
			}
			}
			}
			},
			{ 6,
			{
			{
			active,
			{
			{ active, active },
			{ restrictive, active },
			{ active, restrictive },
			{ restrictive, restrictive }
			}
			},
			{
			restrictive,
			{
			{ active, active },
			{ restrictive, active },
			{ active, restrictive },
			{ restrictive, restrictive }
			}
			}
			}
			},
			{ 7,
			{
			{
			active,
			{
			{ active, active },
			{ restrictive, active },
			{ active, restrictive },
			{ restrictive, restrictive }
			}
			},
			{
			restrictive,
			{
			{ active, active },
			{ restrictive, active },
			{ active, restrictive },
			{ restrictive, restrictive }
			}
			}
			}
			},
			{ 8,
			{
			{
			active,
			{
			{ active, active },
			{ restrictive, active },
			{ active, restrictive },
			{ restrictive, restrictive }
			}
			},
			{
			restrictive,
			{
			{ active, active },
			{ restrictive, active },
			{ active, restrictive },
			{ restrictive, restrictive }
			}
			}
			}
			}
			}

	}		}

	} // End of module LibItsDcc_Pixits		} // End of module LibItsDcc_Pixits
			No newline at end of file

+13 −2

Original line number	Original line	Diff line number	Diff line
	@@ -120,18 +120,29 @@ module LibItsDcc_TypesAndValues {

	type record ProfileSingleChannelTimeAspect {		type record ProfileSingleChannelTimeAspect {
	ProfileType profile,		ProfileType profile,
	SingleChannelTimeAspect aspects		SingleChannelTimeAspect aspect
	}		}

	type record of ProfileChannelTimeAspect ProfileChannelTimeAspects;		type record of ProfileChannelTimeAspect ProfileChannelTimeAspects;

	type record ProfileTimeChannelAspect {		type record ProfileTimeChannelAspect {
	ProfileType profile,		ProfileType profile,
	ChannelTimeAspect aspects		ChannelTimeAspect aspect
	}		}

	type record of ProfileTimeChannelAspect ProfileTimeChannelAspects;		type record of ProfileTimeChannelAspect ProfileTimeChannelAspects;

			type record SingleChannelAspect {
			ChannelState cchState,
			ChannelState sch1State,
			ChannelState sch2State
			}

			type record ProfileSingleChannelAspect {
			ProfileType profile,
			SingleChannelAspect aspect
			}

	type record ProfileChannelAspect {		type record ProfileChannelAspect {
	ProfileType profile,		ProfileType profile,
	record of record {		record of record {