public void setBasePartialMatchTruth(Proposition prop, Keyword truth) {
{
PartialMatchFrame self = this;
prop = prop;
if (truth == Logic.KWD_TRUE) {
KeyValueList.setDynamicSlotValue(
((QueryIterator) (Logic.$QUERYITERATOR$.get())).dynamicSlots,
Logic.SYM_LOGIC_LATEST_POSITIVE_SCORE,
FloatWrapper.wrapFloat(1.0),
Stella.NULL_FLOAT_WRAPPER);
} else if (truth == Logic.KWD_FAIL) {
KeyValueList.setDynamicSlotValue(
((QueryIterator) (Logic.$QUERYITERATOR$.get())).dynamicSlots,
Logic.SYM_LOGIC_LATEST_POSITIVE_SCORE,
FloatWrapper.wrapFloat(0.0),
Stella.NULL_FLOAT_WRAPPER);
} else {
{
OutputStringStream stream000 = OutputStringStream.newOutputStringStream();
stream000.nativeStream.print("`" + truth + "' is not a valid case option");
throw ((StellaException)
(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
}
}
}
}
public String vizGenerateOntosaurusHandle(StandardObject renamed_Object) {
{
VizInfo self = this;
{
OutputStringStream url = OutputStringStream.newOutputStringStream();
OntosaurusUtil.htmlWriteUrl(url.nativeStream, "show", renamed_Object);
return (url.theStringReader());
}
}
}
public void stopHttpServerImpl() {
{
HttpServer server = this;
{
OutputStringStream stream000 = OutputStringStream.newOutputStringStream();
stream000.nativeStream.print("stop-http-server-impl: not implemented on `" + server + "'");
throw ((StellaException)
(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
}
}
}
public String getRequestUriImpl(HttpExchange xchg) {
{
HttpServer server = this;
xchg = xchg;
{
OutputStringStream stream000 = OutputStringStream.newOutputStringStream();
stream000.nativeStream.print("get-request-uri-impl: not implemented on `" + server + "'");
throw ((StellaException)
(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
}
}
}
public double computePartialTruth(QueryIterator query) {
{
PartialMatchFrame self = this;
query = query;
{
OutputStringStream stream000 = OutputStringStream.newOutputStringStream();
stream000.nativeStream.print("Don't know how to compute partial truth for `" + self + "'");
throw ((StellaException)
(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
}
}
}
public PropertyList getHandlerOptionsImpl(HttpExchange xchg) {
{
HttpServer server = this;
xchg = xchg;
{
OutputStringStream stream000 = OutputStringStream.newOutputStringStream();
stream000.nativeStream.print(
"get-handler-options-impl: not implemented on `" + server + "'");
throw ((StellaException)
(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
}
}
}
public QueryIterator retrievePartialSolutions(QueryIterator query) {
{
PartialMatchFrame self = this;
query = query;
{
OutputStringStream stream000 = OutputStringStream.newOutputStringStream();
stream000.nativeStream.print(
"Don't know how to retrieve partial solutions for `" + self + "'");
throw ((StellaException)
(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
}
}
}
public String getHeaderValueImpl(HttpExchange xchg, Keyword key) {
{
HttpServer server = this;
{
xchg = xchg;
key = key;
}
{
OutputStringStream stream000 = OutputStringStream.newOutputStringStream();
stream000.nativeStream.print("get-header-value-impl: not implemented on `" + server + "'");
throw ((StellaException)
(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
}
}
}
public void setResponseCodeImpl(HttpExchange xchg, Keyword code) {
{
HttpServer server = this;
{
xchg = xchg;
code = code;
}
{
OutputStringStream stream000 = OutputStringStream.newOutputStringStream();
stream000.nativeStream.print("set-response-code-impl: not implemented on `" + server + "'");
throw ((StellaException)
(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
}
}
}
public void publishDirectoryImpl(String path, String directory, PropertyList options) {
{
HttpServer server = this;
{
path = path;
directory = directory;
options = options;
}
{
OutputStringStream stream000 = OutputStringStream.newOutputStringStream();
stream000.nativeStream.print("publish-directory-impl: not implemented on `" + server + "'");
throw ((StellaException)
(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
}
}
}
public void publishHandlerImpl(
String path, java.lang.reflect.Method handler, PropertyList options) {
{
HttpServer server = this;
{
path = path;
handler = handler;
options = options;
}
{
OutputStringStream stream000 = OutputStringStream.newOutputStringStream();
stream000.nativeStream.print("publish-handler-impl: not implemented on `" + server + "'");
throw ((StellaException)
(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
}
}
}
public PartialMatchFrame createPartialMatchFrame(ControlFrame frame, Keyword kind) {
{
PartialMatchFrame self = this;
{
frame = frame;
kind = kind;
}
{
OutputStringStream stream000 = OutputStringStream.newOutputStringStream();
{
stream000.nativeStream.println(
"Missing concrete method named 'create-partial-match-frame' on the");
stream000.nativeStream.print(" class `" + self.primaryType() + "'");
}
;
throw ((StellaException)
(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
}
}
}
public void vizExportConcepts(Module module) {
{
VizInfo self = this;
{
Stella_Object concept = null;
edu.isi.powerloom.PlIterator iter000 =
edu.isi.powerloom.PLI.getConceptInstances(
((LogicObject) (Logic.getInstance(OntosaurusUtil.SGT_PL_KERNEL_KB_CONCEPT))),
module,
null);
while (iter000.nextP()) {
concept = iter000.value;
if (Surrogate.subtypeOfP(
Stella_Object.safePrimaryType(concept), OntosaurusUtil.SGT_LOGIC_LOGIC_OBJECT)) {
{
LogicObject concept000 = ((LogicObject) (concept));
if ((concept000.homeModule() == module) && self.vizAllowedObjectP(concept000)) {
self.vizExportConcept(concept000, module);
}
}
} else {
{
OutputStringStream stream000 = OutputStringStream.newOutputStringStream();
stream000.nativeStream.print(
"viz-export-concepts: concept not handled: `" + concept + "'");
throw ((StellaException)
(StellaException.newStellaException(stream000.theStringReader())
.fillInStackTrace()));
}
}
}
}
}
}
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 vizConceptLinksToDotEdges(LogicObject concept, Module module) {
{
VizInfo self = this;
{
OutputStream stream = self.stream;
int count = 0;
{
LogicObject renamed_Super = null;
edu.isi.powerloom.PlIterator iter000 =
edu.isi.powerloom.PLI.getDirectSuperrelations(concept, module, null);
while (iter000.nextP()) {
renamed_Super = ((LogicObject) (iter000.value));
if (Surrogate.subtypeOfP(
Stella_Object.safePrimaryType(renamed_Super),
OntosaurusUtil.SGT_LOGIC_NAMED_DESCRIPTION)) {
{
NamedDescription super000 = ((NamedDescription) (renamed_Super));
if (self.vizAllowedObjectP(super000)) {
stream.nativeStream.println(
" \""
+ OntosaurusUtil.vizDotObjectName(super000)
+ "\" -> \""
+ OntosaurusUtil.vizDotObjectName(concept)
+ "\" [dir=back]");
count = count + 1;
} else {
stream.nativeStream.print(
" \""
+ OntosaurusUtil.vizDotObjectName(super000)
+ "\" [shape=box, style=filled, fillcolor=grey,URL=\""
+ self.vizGenerateOntosaurusHandle(super000)
+ "\"]");
stream.nativeStream.println(
" \""
+ OntosaurusUtil.vizDotObjectName(super000)
+ "\" -> \""
+ OntosaurusUtil.vizDotObjectName(concept)
+ "\" [dir=back]");
count = count + 1;
}
}
} else {
{
OutputStringStream stream000 = OutputStringStream.newOutputStringStream();
stream000.nativeStream.print(
"viz-concept-links-to-dot-edges: unhandled super concept: `"
+ renamed_Super
+ "'");
throw ((StellaException)
(StellaException.newStellaException(stream000.theStringReader())
.fillInStackTrace()));
}
}
}
}
if ((count == 0) && self.addTopP) {
stream.nativeStream.println(
" \""
+ OntosaurusUtil.VIZ_TOP
+ "\" -> \""
+ OntosaurusUtil.vizDotObjectName(concept)
+ "\" [dir=back]");
}
if (self.showRelationsP) {
{
LogicObject range = null;
String relcolor = self.relationColor;
String relstyle = self.relationStyle;
{
Object old$Module$000 = Stella.$MODULE$.get();
Object old$Context$000 = Stella.$CONTEXT$.get();
try {
Native.setSpecial(Stella.$MODULE$, module);
Native.setSpecial(Stella.$CONTEXT$, ((Module) (Stella.$MODULE$.get())));
{
LogicObject relation = null;
Cons iter001 = self.vizGetBinaryRelationsOf(concept);
for (; !(iter001 == Stella.NIL); iter001 = iter001.rest) {
relation = ((LogicObject) (iter001.value));
range = edu.isi.powerloom.PLI.getRange(relation);
if (self.vizAllowedObjectP(relation)) {
stream.nativeStream.println(
" \""
+ OntosaurusUtil.vizDotObjectName(concept)
+ "\" -> \""
+ OntosaurusUtil.vizDotObjectName(range)
+ "\" [label=\""
+ OntosaurusUtil.vizDotObjectName(relation)
+ "\", color="
+ relcolor
+ ", style="
+ relstyle
+ "]");
}
}
}
} finally {
Stella.$CONTEXT$.set(old$Context$000);
Stella.$MODULE$.set(old$Module$000);
}
}
}
}
}
}
}
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()));
}
}
}
}
}
}
public static Stella_Object accessPartialMatchFrameSlotValue(
PartialMatchFrame self, Symbol slotname, Stella_Object value, boolean setvalueP) {
if (slotname == Logic.SYM_LOGIC_KIND) {
if (setvalueP) {
self.kind = ((Keyword) (value));
} else {
value = self.kind;
}
} else if (slotname == Logic.SYM_LOGIC_CONTROL_FRAME) {
if (setvalueP) {
self.controlFrame = ((ControlFrame) (value));
} else {
value = self.controlFrame;
}
} else if (slotname == Logic.SYM_LOGIC_PARENT) {
if (setvalueP) {
self.parent = ((PartialMatchFrame) (value));
} else {
value = self.parent;
}
} else if (slotname == Logic.SYM_LOGIC_CHILD) {
if (setvalueP) {
self.child = ((PartialMatchFrame) (value));
} else {
value = self.child;
}
} else if (slotname == Logic.SYM_LOGIC_POSITIVE_SCORE) {
if (setvalueP) {
self.positiveScore = ((FloatWrapper) (value)).wrapperValue;
} else {
value = FloatWrapper.wrapFloat(self.positiveScore);
}
} else if (slotname == Logic.SYM_LOGIC_NEGATIVE_SCORE) {
if (setvalueP) {
self.negativeScore = ((FloatWrapper) (value)).wrapperValue;
} else {
value = FloatWrapper.wrapFloat(self.negativeScore);
}
} else if (slotname == Logic.SYM_LOGIC_DYNAMIC_CUTOFF) {
if (setvalueP) {
self.dynamicCutoff = ((FloatWrapper) (value)).wrapperValue;
} else {
value = FloatWrapper.wrapFloat(self.dynamicCutoff);
}
} else if (slotname == Logic.SYM_LOGIC_ARGUMENT_SCORES) {
if (setvalueP) {
self.argumentScores = ((Cons) (value));
} else {
value = self.argumentScores;
}
} else if (slotname == Logic.SYM_LOGIC_ARGUMENT_WEIGHTS) {
if (setvalueP) {
self.argumentWeights = ((Cons) (value));
} else {
value = self.argumentWeights;
}
} else if (slotname == Logic.SYM_LOGIC_UNBOUND_VARS) {
if (setvalueP) {
self.unboundVars = ((Cons) (value));
} else {
value = self.unboundVars;
}
} else if (slotname == Logic.SYM_LOGIC_SUCCESSp) {
if (setvalueP) {
self.successP = BooleanWrapper.coerceWrappedBooleanToBoolean(((BooleanWrapper) (value)));
} else {
value = (self.successP ? Stella.TRUE_WRAPPER : Stella.FALSE_WRAPPER);
}
} else {
{
OutputStringStream stream000 = OutputStringStream.newOutputStringStream();
stream000.nativeStream.print("`" + slotname + "' is not a valid case option");
throw ((StellaException)
(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
}
}
return (value);
}