public static VizInfo newVizInfo() {
{
VizInfo self = null;
self = new VizInfo();
self.fontSize = OntosaurusUtil.$VIZ_FONT_SIZE$;
self.relationStyle = OntosaurusUtil.$VIZ_RELATION_STYLE$;
self.relationColor = OntosaurusUtil.$VIZ_RELATION_COLOR$;
self.nodeColor = OntosaurusUtil.$VIZ_NODE_COLOR$;
self.addTopP = OntosaurusUtil.$VIZ_ADD_TOPp$;
self.showRulesP = OntosaurusUtil.$VIZ_SHOW_RULESp$;
self.showAttributesP = OntosaurusUtil.$VIZ_SHOW_ATTRIBUTESp$;
self.showRelationsP = OntosaurusUtil.$VIZ_SHOW_RELATIONSp$;
self.allowedObjects = null;
self.stream = null;
return (self);
}
}
public static Stella_Object accessVizInfoSlotValue(
VizInfo self, Symbol slotname, Stella_Object value, boolean setvalueP) {
if (slotname == OntosaurusUtil.SYM_STELLA_STREAM) {
if (setvalueP) {
self.stream = ((OutputStream) (value));
} else {
value = self.stream;
}
} else if (slotname == OntosaurusUtil.SYM_ONTOSAURUS_ALLOWED_OBJECTS) {
if (setvalueP) {
self.allowedObjects = ((HashSet) (value));
} else {
value = self.allowedObjects;
}
} else if (slotname == OntosaurusUtil.SYM_ONTOSAURUS_SHOW_RELATIONSp) {
if (setvalueP) {
self.showRelationsP =
BooleanWrapper.coerceWrappedBooleanToBoolean(((BooleanWrapper) (value)));
} else {
value = (self.showRelationsP ? Stella.TRUE_WRAPPER : Stella.FALSE_WRAPPER);
}
} else if (slotname == OntosaurusUtil.SYM_ONTOSAURUS_SHOW_ATTRIBUTESp) {
if (setvalueP) {
self.showAttributesP =
BooleanWrapper.coerceWrappedBooleanToBoolean(((BooleanWrapper) (value)));
} else {
value = (self.showAttributesP ? Stella.TRUE_WRAPPER : Stella.FALSE_WRAPPER);
}
} else if (slotname == OntosaurusUtil.SYM_ONTOSAURUS_SHOW_RULESp) {
if (setvalueP) {
self.showRulesP = BooleanWrapper.coerceWrappedBooleanToBoolean(((BooleanWrapper) (value)));
} else {
value = (self.showRulesP ? Stella.TRUE_WRAPPER : Stella.FALSE_WRAPPER);
}
} else if (slotname == OntosaurusUtil.SYM_ONTOSAURUS_ADD_TOPp) {
if (setvalueP) {
self.addTopP = BooleanWrapper.coerceWrappedBooleanToBoolean(((BooleanWrapper) (value)));
} else {
value = (self.addTopP ? Stella.TRUE_WRAPPER : Stella.FALSE_WRAPPER);
}
} else if (slotname == OntosaurusUtil.SYM_ONTOSAURUS_NODE_COLOR) {
if (setvalueP) {
self.nodeColor = ((StringWrapper) (value)).wrapperValue;
} else {
value = StringWrapper.wrapString(self.nodeColor);
}
} else if (slotname == OntosaurusUtil.SYM_ONTOSAURUS_RELATION_COLOR) {
if (setvalueP) {
self.relationColor = ((StringWrapper) (value)).wrapperValue;
} else {
value = StringWrapper.wrapString(self.relationColor);
}
} else if (slotname == OntosaurusUtil.SYM_ONTOSAURUS_RELATION_STYLE) {
if (setvalueP) {
self.relationStyle = ((StringWrapper) (value)).wrapperValue;
} else {
value = StringWrapper.wrapString(self.relationStyle);
}
} else if (slotname == OntosaurusUtil.SYM_ONTOSAURUS_FONT_SIZE) {
if (setvalueP) {
self.fontSize = ((IntegerWrapper) (value)).wrapperValue;
} else {
value = IntegerWrapper.wrapInteger(self.fontSize);
}
} else {
{
OutputStringStream stream000 = OutputStringStream.newOutputStringStream();
stream000.nativeStream.print("`" + slotname + "' is not a valid case option");
throw ((StellaException)
(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
}
}
return (value);
}
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()));
}
}
}
}
}
}
