/*
 feature -- Initialization
 */
 public EIFFEL_CLASS_TYPE_MARK_ATTRIBUTE(CLASS_TYPE_MARK_ENUM value)
 {
     mark = value;
 }
Esempio n. 2
0
/*
 * feature -- Initialization
 */
        public EIFFEL_CLASS_TYPE_MARK_ATTRIBUTE(CLASS_TYPE_MARK_ENUM value)
        {
            mark = value;
        }