/*      */     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();
/*      */     }