/***************************************************
 ** @author   STF 487, updated by 572
 ** @version  0.0.2
 ** @purpose  1:6.2.4, constant as user-assigned enumerated values
 ** @verdict  pass accept, noexecution
 ***************************************************/

// The following requirement is tested:
// Each enumerated value may optionally have a user-assigned integer expression or
// non-empty list of integer literal values or ranges of integer literal values,
// which is defined after the name of the enumerated value in parenthesis.

module Syn_060204_enumerated_type_and_values_003 {

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