private static void ParseGOMelementAndAttributes(Specification S, XmlElement E) { bool specialized = false; GOM gom = ParseOMelementAndAttributes(S, E, specialized) as GOM; if (S.IsTypeName(gom.Name)) throw new G25.UserException("In general outermorphism definition: a type '" + gom.Name + "' already exists."); S.SetGeneralOM(gom); }