public void vizExportConceptTree(LogicObject concept, Module module) { { VizInfo self = this; self.nodeColor = "palegreen"; self.vizExportConcept(concept, module); self.nodeColor = "yellow"; self.vizAllowObject(concept); { LogicObject renamed_Super = null; edu.isi.powerloom.PlIterator iter000 = edu.isi.powerloom.PLI.getProperSuperrelations(concept, module, null); while (iter000.nextP()) { renamed_Super = ((LogicObject) (iter000.value)); self.vizAllowObject(renamed_Super); } } { LogicObject sub = null; edu.isi.powerloom.PlIterator iter001 = edu.isi.powerloom.PLI.getProperSubrelations(concept, module, null); while (iter001.nextP()) { sub = ((LogicObject) (iter001.value)); self.vizAllowObject(sub); } } { LogicObject renamed_Super = null; edu.isi.powerloom.PlIterator iter002 = edu.isi.powerloom.PLI.getProperSuperrelations(concept, module, null); while (iter002.nextP()) { renamed_Super = ((LogicObject) (iter002.value)); if (Surrogate.subtypeOfP( Stella_Object.safePrimaryType(renamed_Super), OntosaurusUtil.SGT_LOGIC_LOGIC_OBJECT)) { { LogicObject super000 = ((LogicObject) (renamed_Super)); self.vizExportConcept(super000, module); } } else { { OutputStringStream stream000 = OutputStringStream.newOutputStringStream(); stream000.nativeStream.print( "viz-export-concept-tree: concept not handled: `" + renamed_Super + "'"); throw ((StellaException) (StellaException.newStellaException(stream000.theStringReader()) .fillInStackTrace())); } } } } { LogicObject sub = null; edu.isi.powerloom.PlIterator iter003 = edu.isi.powerloom.PLI.getProperSubrelations(concept, module, null); while (iter003.nextP()) { sub = ((LogicObject) (iter003.value)); if (Surrogate.subtypeOfP( Stella_Object.safePrimaryType(sub), OntosaurusUtil.SGT_LOGIC_LOGIC_OBJECT)) { { LogicObject sub000 = ((LogicObject) (sub)); self.vizExportConcept(sub000, module); } } else { { OutputStringStream stream001 = OutputStringStream.newOutputStringStream(); stream001.nativeStream.print( "viz-export-concept-tree: concept not handled: `" + sub + "'"); throw ((StellaException) (StellaException.newStellaException(stream001.theStringReader()) .fillInStackTrace())); } } } } } }