Loading ttcn/DCC/LibItsDcc_Functions.ttcn +22 −0 Original line number Original line Diff line number Diff line Loading @@ -697,6 +697,28 @@ module LibItsDcc_Functions { return p_tOff * int2float(PIXIT_NUMBER_OF_FRAMES + 1); return p_tOff * int2float(PIXIT_NUMBER_OF_FRAMES + 1); } } /** * @desc Retrieves the string representation of a ChannelState. * @param The channel state enumerated. * @return The string representation. */ function f_enum2str(ChannelState p_state) return charstring { select(p_state) { case (relaxed) { return "relaxed"; } case (active) { return "active"; } case (restrictive) { return "restrictive"; } case else { return "unknown channel state"; } } } } } group externalFunction { group externalFunction { Loading ttcn/DCC/LibItsDcc_Pixits.ttcn +27 −1 Original line number Original line Diff line number Diff line Loading @@ -7,7 +7,7 @@ */ */ module LibItsDcc_Pixits { module LibItsDcc_Pixits { import from LibItsDcc_TypesAndValues {type ProfileTimeAspects;} import from LibItsDcc_TypesAndValues {group moduleParTables;} group acceptableTransmissionPower { group acceptableTransmissionPower { /** /** Loading Loading @@ -282,6 +282,32 @@ module LibItsDcc_Pixits { { 2, 4.0, 0.250 }, { 2, 4.0, 0.250 }, { 3, 1.0, 1.000 } { 3, 1.0, 1.000 } } } /** * @desc Give the content of Table 10. * @see ETSI TS 102 917-2 Table 10 */ modulepar ProfileChannelTimeAspects PIXIT_TABLE_10_TC_MTS_CCH_01 := { { 1, { { active, 5.0, 0.190, { relaxed, active, restrictive } }, { restrictive, 4.0, 0.250, { relaxed, active, restrictive } } } }, { 2, { { active, 5.0, 0.190, { active, restrictive } }, { restrictive, 4.0, 0.250, { active, restrictive } } } }, { 3, { { active, 5.0, 0.190, { restrictive } }, { restrictive, 4.0, 0.250, { restrictive } } } } } } } } // End of module LibItsDcc_Pixits } // End of module LibItsDcc_Pixits No newline at end of file ttcn/DCC/LibItsDcc_TypesAndValues.ttcn +16 −2 Original line number Original line Diff line number Diff line Loading @@ -101,12 +101,26 @@ module LibItsDcc_TypesAndValues { ChannelState cchState, ChannelState cchState, float messageInterval, //in Hz float messageInterval, //in Hz float tOff, //in ms float tOff, //in ms record of ChannelState sch1State record of ChannelState sch1States } type record of ChannelTimeAspect ChannelTimeAspects; type record SingleChannelTimeAspect { ChannelState cchState, float messageInterval, //in Hz float tOff, //in ms ChannelState sch1State } } type record ProfileChannelTimeAspect { type record ProfileChannelTimeAspect { ProfileType profile, ProfileType profile, ChannelTimeAspect aspects ChannelTimeAspects aspects } type record ProfileSingleChannelTimeAspect { ProfileType profile, SingleChannelTimeAspect aspects } } type record of ProfileChannelTimeAspect ProfileChannelTimeAspects; type record of ProfileChannelTimeAspect ProfileChannelTimeAspects; Loading Loading
ttcn/DCC/LibItsDcc_Functions.ttcn +22 −0 Original line number Original line Diff line number Diff line Loading @@ -697,6 +697,28 @@ module LibItsDcc_Functions { return p_tOff * int2float(PIXIT_NUMBER_OF_FRAMES + 1); return p_tOff * int2float(PIXIT_NUMBER_OF_FRAMES + 1); } } /** * @desc Retrieves the string representation of a ChannelState. * @param The channel state enumerated. * @return The string representation. */ function f_enum2str(ChannelState p_state) return charstring { select(p_state) { case (relaxed) { return "relaxed"; } case (active) { return "active"; } case (restrictive) { return "restrictive"; } case else { return "unknown channel state"; } } } } } group externalFunction { group externalFunction { Loading
ttcn/DCC/LibItsDcc_Pixits.ttcn +27 −1 Original line number Original line Diff line number Diff line Loading @@ -7,7 +7,7 @@ */ */ module LibItsDcc_Pixits { module LibItsDcc_Pixits { import from LibItsDcc_TypesAndValues {type ProfileTimeAspects;} import from LibItsDcc_TypesAndValues {group moduleParTables;} group acceptableTransmissionPower { group acceptableTransmissionPower { /** /** Loading Loading @@ -282,6 +282,32 @@ module LibItsDcc_Pixits { { 2, 4.0, 0.250 }, { 2, 4.0, 0.250 }, { 3, 1.0, 1.000 } { 3, 1.0, 1.000 } } } /** * @desc Give the content of Table 10. * @see ETSI TS 102 917-2 Table 10 */ modulepar ProfileChannelTimeAspects PIXIT_TABLE_10_TC_MTS_CCH_01 := { { 1, { { active, 5.0, 0.190, { relaxed, active, restrictive } }, { restrictive, 4.0, 0.250, { relaxed, active, restrictive } } } }, { 2, { { active, 5.0, 0.190, { active, restrictive } }, { restrictive, 4.0, 0.250, { active, restrictive } } } }, { 3, { { active, 5.0, 0.190, { restrictive } }, { restrictive, 4.0, 0.250, { restrictive } } } } } } } } // End of module LibItsDcc_Pixits } // End of module LibItsDcc_Pixits No newline at end of file
ttcn/DCC/LibItsDcc_TypesAndValues.ttcn +16 −2 Original line number Original line Diff line number Diff line Loading @@ -101,12 +101,26 @@ module LibItsDcc_TypesAndValues { ChannelState cchState, ChannelState cchState, float messageInterval, //in Hz float messageInterval, //in Hz float tOff, //in ms float tOff, //in ms record of ChannelState sch1State record of ChannelState sch1States } type record of ChannelTimeAspect ChannelTimeAspects; type record SingleChannelTimeAspect { ChannelState cchState, float messageInterval, //in Hz float tOff, //in ms ChannelState sch1State } } type record ProfileChannelTimeAspect { type record ProfileChannelTimeAspect { ProfileType profile, ProfileType profile, ChannelTimeAspect aspects ChannelTimeAspects aspects } type record ProfileSingleChannelTimeAspect { ProfileType profile, SingleChannelTimeAspect aspects } } type record of ProfileChannelTimeAspect ProfileChannelTimeAspects; type record of ProfileChannelTimeAspect ProfileChannelTimeAspects; Loading