Commit 8d3d0511 authored by stancakapost's avatar stancakapost
Browse files

No commit message 

No commit message
parent b5972981

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_001.ttcn

0 → 100644
+20 −0
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.

 ** @verdict  pass reject

 ***************************************************/

module NegSem_0601020602_StringMixing_001 {

    type charstring MyString (pattern "?bc*xyz") length (5 .. 8);

    

    type component GeneralComp {}

    

    testcase TC_NegSem_0601020602_StringMixing_001() runs on GeneralComp {

        var MyString v_c := "abcyz"; // value missing x

		setverdict(pass);

    }

    

    control{

        execute(TC_NegSem_0601020602_StringMixing_001());

    }

}
 
 No newline at end of file

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_002.ttcn

0 → 100644
+20 −0
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.

 ** @verdict  pass reject

 ***************************************************/

module NegSem_0601020602_StringMixing_002 {

    type charstring MyString (pattern "?bc*xyz") length (5 .. 8);

    

    type component GeneralComp {}

    

    testcase TC_NegSem_0601020602_StringMixing_002() runs on GeneralComp {

        var MyString v_c := "abc123xyz"; // value length 9 exceeds 8

		setverdict(pass);

    }

    

    control{

        execute(TC_NegSem_0601020602_StringMixing_002());

    }

}
 
 No newline at end of file

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_003.ttcn

0 → 100644
+20 −0
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.

 ** @verdict  pass reject

 ***************************************************/

module NegSem_0601020602_StringMixing_003 {

    type charstring MyString ("a".."z") length (3 .. 8);

    

    type component GeneralComp {}

    

    testcase TC_NegSem_0601020602_StringMixing_003() runs on GeneralComp {

        var MyString v_c := "abc1xyz"; // char 1 not allowed

		setverdict(pass);

    }

    

    control{

        execute(TC_NegSem_0601020602_StringMixing_003());

    }

}
 
 No newline at end of file

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

0 → 100644
+20 −0
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.

 ** @verdict  pass reject

 ***************************************************/

module NegSem_0601020602_StringMixing_004 {

    type bitstring MyString ('111'B, '101010'B, '111111'B) length (4 .. 8);

    

    type component GeneralComp {}

    

    testcase TC_NegSem_0601020602_StringMixing_004() runs on GeneralComp {

        var MyString v_c := '111'B; // value lenght 3 not allowed

		setverdict(pass);

    }

    

    control{

        execute(TC_NegSem_0601020602_StringMixing_004());

    }

}
 
 No newline at end of file

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

0 → 100644
+20 −0
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.

 ** @verdict  pass reject

 ***************************************************/

module NegSem_0601020602_StringMixing_005 {

    type hexstring MyString ('1F1'H, '103A10'H, '111111'H) length (4 .. 8);

    

    type component GeneralComp {}

    

    testcase TC_NegSem_0601020602_StringMixing_005() runs on GeneralComp {

        var MyString v_c := '1F1'H; // value lenght 3 not allowed

		setverdict(pass);

    }

    

    control{

        execute(TC_NegSem_0601020602_StringMixing_005());

    }

}
 
 No newline at end of file