/***************************************************
 ** @author   STF 487
 ** @version  0.0.1
 ** @purpose  1:6.2.4, expression as user-assigned enumerated value
 ** @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_003 {

    type enumerated MyFirstEnumType {
        Monday, Tuesday(2+3), Thursday, Friday
    };
}
