/***************************************************
 ** @author   STF 487
 ** @version  0.0.1
 ** @purpose  1:6.2.4, constant as user-assigned enumerated values
 ** @verdict  pass reject
 ***************************************************/

// The following requirement is tested:
// Each enumerated value may optionally have a user-assigned integer value, which
// is defined after the name of the enumerated value in parenthesis.

module NegSyn_060204_enumerated_type_and_values_002 {

    const integer c_int := 5;
    type enumerated MyFirstEnumType {
        Monday, Tuesday(c_int), Wednesday, Thursday, Friday
    };
}
