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;
}
