19631964196519661967196819691970197119721973
if (!atLF) out.println(); printer.printRoleHierarchy(m_dataRoleHierarchy,false); atLF=false; } printer.endPrinting(); } // Various utility methods protected void checkPreConditions(OWLObject... objects) {