Loading 06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020602_using_length_restriction_with_other_constraints/NegSem_0601020602_StringMixing_004.ttcn +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 409 ** @version $Rev: $ ** @purpose 1:6.1.2.6.2, Assign invalid values to mixed restricted character strings. ** @purpose 1:6.1.2.6.2, Assign invalid values to mixed restricted bit strings. ** @verdict pass reject ***************************************************/ module NegSem_0601020602_StringMixing_004 { Loading 06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020602_using_length_restriction_with_other_constraints/NegSem_0601020602_StringMixing_005.ttcn +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 409 ** @version $Rev: $ ** @purpose 1:6.1.2.6.2, Assign invalid values to mixed restricted character strings. ** @purpose 1:6.1.2.6.2, Assign invalid values to mixed restricted hex strings. ** @verdict pass reject ***************************************************/ module NegSem_0601020602_StringMixing_005 { Loading 06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020602_using_length_restriction_with_other_constraints/NegSem_0601020602_StringMixing_006.ttcn +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 409 ** @version $Rev: $ ** @purpose 1:6.1.2.6.2, Assign invalid values to mixed restricted character strings. ** @purpose 1:6.1.2.6.2, Assign invalid values to mixed restricted octet strings. ** @verdict pass reject ***************************************************/ module NegSem_0601020602_StringMixing_006 { Loading 06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020602_using_length_restriction_with_other_constraints/Sem_0601020602_StringMixing_004.ttcn +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 409 ** @version $Rev: $ ** @purpose 1:6.1.2.6.2, Assign values to mixed restricted character strings. ** @purpose 1:6.1.2.6.2, Assign values to mixed restricted bit strings. ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ module Sem_0601020602_StringMixing_004 { Loading 06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020602_using_length_restriction_with_other_constraints/Sem_0601020602_StringMixing_005.ttcn +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 409 ** @version $Rev: $ ** @purpose 1:6.1.2.6.2, Assign values to mixed restricted character strings. ** @purpose 1:6.1.2.6.2, Assign values to mixed restricted hex strings. ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ module Sem_0601020602_StringMixing_005 { Loading Loading
06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020602_using_length_restriction_with_other_constraints/NegSem_0601020602_StringMixing_004.ttcn +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 409 ** @version $Rev: $ ** @purpose 1:6.1.2.6.2, Assign invalid values to mixed restricted character strings. ** @purpose 1:6.1.2.6.2, Assign invalid values to mixed restricted bit strings. ** @verdict pass reject ***************************************************/ module NegSem_0601020602_StringMixing_004 { Loading
06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020602_using_length_restriction_with_other_constraints/NegSem_0601020602_StringMixing_005.ttcn +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 409 ** @version $Rev: $ ** @purpose 1:6.1.2.6.2, Assign invalid values to mixed restricted character strings. ** @purpose 1:6.1.2.6.2, Assign invalid values to mixed restricted hex strings. ** @verdict pass reject ***************************************************/ module NegSem_0601020602_StringMixing_005 { Loading
06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020602_using_length_restriction_with_other_constraints/NegSem_0601020602_StringMixing_006.ttcn +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 409 ** @version $Rev: $ ** @purpose 1:6.1.2.6.2, Assign invalid values to mixed restricted character strings. ** @purpose 1:6.1.2.6.2, Assign invalid values to mixed restricted octet strings. ** @verdict pass reject ***************************************************/ module NegSem_0601020602_StringMixing_006 { Loading
06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020602_using_length_restriction_with_other_constraints/Sem_0601020602_StringMixing_004.ttcn +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 409 ** @version $Rev: $ ** @purpose 1:6.1.2.6.2, Assign values to mixed restricted character strings. ** @purpose 1:6.1.2.6.2, Assign values to mixed restricted bit strings. ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ module Sem_0601020602_StringMixing_004 { Loading
06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020602_using_length_restriction_with_other_constraints/Sem_0601020602_StringMixing_005.ttcn +1 −1 Original line number Diff line number Diff line /*************************************************** ** @author STF 409 ** @version $Rev: $ ** @purpose 1:6.1.2.6.2, Assign values to mixed restricted character strings. ** @purpose 1:6.1.2.6.2, Assign values to mixed restricted hex strings. ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ module Sem_0601020602_StringMixing_005 { Loading