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 Cons vizGetBinaryRelationsOf(LogicObject concept) {
{
VizInfo self = this;
{
MemoizationTable memoTable000 = null;
Cons memoizedEntry000 = null;
Stella_Object memoizedValue000 = null;
if (Stella.$MEMOIZATION_ENABLEDp$) {
memoTable000 =
((MemoizationTable)
(OntosaurusUtil
.SGT_ONTOSAURUS_M_VIZ_INFOdVIZ_GET_BINARY_RELATIONS_OF_MEMO_TABLE_000
.surrogateValue));
if (memoTable000 == null) {
Surrogate.initializeMemoizationTable(
OntosaurusUtil.SGT_ONTOSAURUS_M_VIZ_INFOdVIZ_GET_BINARY_RELATIONS_OF_MEMO_TABLE_000,
"(:MAX-VALUES 1000 :TIMESTAMPS (:META-KB-UPDATE))");
memoTable000 =
((MemoizationTable)
(OntosaurusUtil
.SGT_ONTOSAURUS_M_VIZ_INFOdVIZ_GET_BINARY_RELATIONS_OF_MEMO_TABLE_000
.surrogateValue));
}
memoizedEntry000 =
MruMemoizationTable.lookupMruMemoizedValue(
((MruMemoizationTable) (memoTable000)),
concept,
((Context) (Stella.$CONTEXT$.get())),
Stella.MEMOIZED_NULL_VALUE,
null,
-1);
memoizedValue000 = memoizedEntry000.value;
}
if (memoizedValue000 != null) {
if (memoizedValue000 == Stella.MEMOIZED_NULL_VALUE) {
memoizedValue000 = null;
}
} else {
memoizedValue000 =
Logic.applyCachedRetrieve(
Cons.list$(
Cons.cons(
OntosaurusUtil.SYM_LOGIC_pRELATION,
Cons.cons(
OntosaurusUtil.SYM_ONTOSAURUS_pDOMAIN,
Cons.cons(Stella.NIL, Stella.NIL)))),
Cons.list$(
Cons.cons(
OntosaurusUtil.SYM_STELLA_AND,
Cons.cons(
Cons.list$(
Cons.cons(
OntosaurusUtil.SYM_PL_KERNEL_KB_NTH_DOMAIN,
Cons.cons(
OntosaurusUtil.SYM_LOGIC_pRELATION,
Cons.cons(
IntegerWrapper.wrapInteger(0),
Cons.cons(
OntosaurusUtil.SYM_ONTOSAURUS_pDOMAIN,
Cons.cons(Stella.NIL, Stella.NIL)))))),
Cons.cons(
Cons.list$(
Cons.cons(
OntosaurusUtil.SYM_ONTOSAURUS_BINARY_RELATION,
Cons.cons(
OntosaurusUtil.SYM_LOGIC_pRELATION,
Cons.cons(Stella.NIL, Stella.NIL)))),
Cons.cons(Stella.NIL, Stella.NIL))))),
Cons.consList(Cons.cons(null, Cons.cons(concept, Stella.NIL))),
Cons.consList(
Cons.cons(
OntosaurusUtil.KWD_SINGLETONSp,
Cons.cons(
Stella.TRUE_WRAPPER,
Cons.cons(
OntosaurusUtil.KWD_INFERENCE_LEVEL,
Cons.cons(OntosaurusUtil.KWD_SHALLOW, Stella.NIL))))),
OntosaurusUtil.SYM_ONTOSAURUS_M_VIZ_INFOdVIZ_GET_BINARY_RELATIONS_OF_QUERY_001,
new Object[2]);
if (Stella.$MEMOIZATION_ENABLEDp$) {
memoizedEntry000.value =
((memoizedValue000 == null) ? Stella.MEMOIZED_NULL_VALUE : memoizedValue000);
}
}
{
Cons value000 = ((Cons) (memoizedValue000));
return (value000);
}
}
}
}