private boolean isCircularInclude(String a_href) { if (getShortFileName().equals(a_href)) { return true; } // if ModuleManager manager = ModuleManager.getSingletonInstance(); XInclude[] includes = m_glyph.getBody().getInclude(); int i; for (i = 0; i < includes.length; i++) { XInclude include = includes[i]; GlyphFile child = manager.getGlyphFile(include.getHref()); if (child.isCircularInclude(a_href)) { return true; } // if } // for i return false; }