408409410411412413414415416417418
&& type.getTargetNamespace().equals(baseType.getTargetNamespace()) && type.getName().equals(baseType.getName())) { indent++; println("<redefine>"); indent++; baseType.visit(this); indent--; println("</redefine>"); indent--; }
471472473474475476477478479480481
type.isLocal()?"":"/")); if(type.isLocal()) { indent++; if(type.isLocal()) type.visit(this); indent--; println("</element>"); } }