/***************************************************
 ** @author   STF 521
 ** @version  0.0.1
 ** @purpose  1:6.2.4, using enumerated value number integer conversion
 ** @verdict  pass reject
 ***************************************************/

// The following requirement is tested:
// enumerated values with a specific integer value assigned shall not use the associated integer

module NegSem_060204_enumerated_type_and_values_013 {

    type component GeneralComp {
	}

    type enumerated EDays {
        Monday(-1), Tuesday(1), Wednesday(2), Thursday(3), Friday(5)
    };

    testcase TC_NegSem_060204_enumerated_type_and_values_013() runs on GeneralComp {
        var EDays v_enum := Friday(5);    // error: shall not use the associated integer

        if (match(enum2int(v_enum),5)) {
		    setverdict(pass);
        } else {
            setverdict(fail);
        }
	}

	control {
		execute(TC_NegSem_060204_enumerated_type_and_values_013());
	}
}