Commit b0edaa1f authored by urbant's avatar urbant
Browse files

Correction in names of select-union test cases (wrong chapter number)

parent b27fa3cd
Loading
Loading
Loading
Loading
+3 −3
Original line number Diff line number Diff line
@@ -9,7 +9,7 @@
// In the header part of the select union statement a template instance of union 
// type shall be given.

module NegSem_190301_select_union_statement_001 { 
module NegSem_190302_select_union_statement_001 { 

    type component GeneralComp {
	}	
@@ -20,7 +20,7 @@ module NegSem_190301_select_union_statement_001 {
        boolean boolOption optional
    }

    testcase TC_NegSem_190301_select_union_statement_001() runs on GeneralComp {
    testcase TC_NegSem_190302_select_union_statement_001() runs on GeneralComp {
        var R v_rec := { intOption := omit, strOption := "abc", boolOption := omit }
        select union (v_rec) {
            case (intOption) {
@@ -34,6 +34,6 @@ module NegSem_190301_select_union_statement_001 {
	}

	control {
		execute(TC_NegSem_190301_select_union_statement_001());
		execute(TC_NegSem_190302_select_union_statement_001());
	}
}
+3 −3
Original line number Diff line number Diff line
@@ -9,7 +9,7 @@
// [The TemplateInstance in the header of the select union statement] shall be 
// at least partially initialized.

module NegSem_190301_select_union_statement_002 { 
module NegSem_190302_select_union_statement_002 { 

    type component GeneralComp {
	}	
@@ -28,7 +28,7 @@ module NegSem_190301_select_union_statement_002 {
        integer field2
    }

    testcase TC_NegSem_190301_select_union_statement_002() runs on GeneralComp {
    testcase TC_NegSem_190302_select_union_statement_002() runs on GeneralComp {
        var R v_rec;
        v_rec.field2 := 3;
        select union (v_rec.field1) {
@@ -43,6 +43,6 @@ module NegSem_190301_select_union_statement_002 {
	}

	control {
		execute(TC_NegSem_190301_select_union_statement_002());
		execute(TC_NegSem_190302_select_union_statement_002());
	}
}
+3 −3
Original line number Diff line number Diff line
@@ -10,7 +10,7 @@
// of an alternative of the union type of the template instance given to the 
// statement's header.

module NegSem_190301_select_union_statement_003 { 
module NegSem_190302_select_union_statement_003 { 

    type component GeneralComp {
	}	
@@ -24,7 +24,7 @@ module NegSem_190301_select_union_statement_003 {
        } recOption
    }

    testcase TC_NegSem_190301_select_union_statement_003() runs on GeneralComp {
    testcase TC_NegSem_190302_select_union_statement_003() runs on GeneralComp {
        var U v_un := { intOption := 5 }
        select union (v_un) {
            case (intOption) {
@@ -40,6 +40,6 @@ module NegSem_190301_select_union_statement_003 {
	}

	control {
		execute(TC_NegSem_190301_select_union_statement_003());
		execute(TC_NegSem_190302_select_union_statement_003());
	}
}
+3 −3
Original line number Diff line number Diff line
@@ -8,7 +8,7 @@
// The following requirement is tested:
// No two cases in a select union statement shall have the same case Identifier.

module NegSem_190301_select_union_statement_004 { 
module NegSem_190302_select_union_statement_004 { 

    type component GeneralComp {
	}	
@@ -22,7 +22,7 @@ module NegSem_190301_select_union_statement_004 {
        } recOption
    }

    testcase TC_NegSem_190301_select_union_statement_004() runs on GeneralComp {
    testcase TC_NegSem_190302_select_union_statement_004() runs on GeneralComp {
        var U v_un := { recOption := { field1 := 1, field2 := 2 } }
        select union (v_un) {
            case (intOption) {
@@ -38,6 +38,6 @@ module NegSem_190301_select_union_statement_004 {
	}

	control {
		execute(TC_NegSem_190301_select_union_statement_004());
		execute(TC_NegSem_190302_select_union_statement_004());
	}
}
+3 −3
Original line number Diff line number Diff line
@@ -8,7 +8,7 @@
// The following requirement is tested:
// No two cases in a select union statement shall have the same case Identifier.

module NegSem_190301_select_union_statement_005 { 
module NegSem_190302_select_union_statement_005 { 

    type component GeneralComp {
	}	
@@ -22,7 +22,7 @@ module NegSem_190301_select_union_statement_005 {
        } recOption
    }

    testcase TC_NegSem_190301_select_union_statement_005() runs on GeneralComp {
    testcase TC_NegSem_190302_select_union_statement_005() runs on GeneralComp {
        var U v_un := { intOption := 10 }
        select union (v_un) {
            case (intOption, strOption) {
@@ -34,6 +34,6 @@ module NegSem_190301_select_union_statement_005 {
	}

	control {
		execute(TC_NegSem_190301_select_union_statement_005());
		execute(TC_NegSem_190302_select_union_statement_005());
	}
}
Loading