/* */ private void writeEnum(EnumLeafInfo<T, C> e, SimpleTypeHost th)
/* */ {
/* 778 */ SimpleType st = th.simpleType();
/* 779 */ writeName(e, st);
/* */
/* 781 */ SimpleRestrictionModel base = st.restriction();
/* 782 */ writeTypeRef(base, e.getBaseType(), "base");
/* */
/* 784 */ for (EnumConstant c : e.getConstants()) {
/* 785 */ base.enumeration().value(c.getLexicalValue());
/* */ }
/* 787 */ st.commit();
/* */ }