edu.isi.ontosaurus
Class OntosaurusUtil

java.lang.Object
  edu.isi.ontosaurus.OntosaurusUtil

public class OntosaurusUtil
extends java.lang.Object

Field Summary

static java.lang.String	$ANSWER_BACKGROUND_COLOR$
static StellaSpecialVariable	$BLOCK_SHELL_COMMANDp$ Allow disabling of shellCommand in remote execution contexts for security purposes.
static java.lang.String	$CONTROL_BACKGROUND_COLOR$
static LogicObject	$DOCUMENTATION_RELATION$
static boolean	$DOWNCASE_STANDARD_KIF_OPERATORSp$
static java.lang.String	$ERROR_BACKGROUND_COLOR$
static java.lang.String	$FORM_BACKGROUND_COLOR$
static java.lang.String	$GENERAL_QUERY_FORM_TEMPLATE$
static java.lang.String	$HREF_PREFIX_TAG$ Tag used for prefix part of HREF generation in htmlWrite3PartHrefInDetail.
static java.lang.String	$HREF_SUFFIX_TAG$ Tag used for suffix part of HREF generation in htmlWrite3PartHrefInDetail.
static LogicObject	$IMAGE_URL_RELATION$
static java.lang.String	$MODULE_BACKGROUND_COLOR$
static StellaSpecialVariable	$ONTOSAURUS_URL_ACTION$ The action parameter for URL printing
static java.lang.String	$POWERLOOM_COPYRIGHT_TRAILER$
static java.lang.String	$POWERLOOM_REFERENCE_MANUAL_URL$
static StellaSpecialVariable	$PPRINT_AFTER_DEFINITION_FUNCTION$ A function that takes two arguments, a Stella Definition and a NATIVE-(?) OUTPUT-STREAM, and writes something that precedes the normal printed representation of a definition.
static StellaSpecialVariable	$PPRINT_AFTER_PROPOSITION_FUNCTION$ A function that takes two arguments, a Stella Proposition and a NATIVE-(?) OUTPUT-STREAM, and writes something that precedes the normal printed representation of a proposition.
static StellaSpecialVariable	$PPRINT_ATOMIC_OBJECT_RENDERER$ A function that takes two arguments, a Stella Object and a NATIVE-(?) OUTPUT-STREAM, and writes a representation of that object on that stream.
static StellaSpecialVariable	$PPRINT_BEFORE_DEFINITION_FUNCTION$ A function that takes two arguments, a Stella Definition and a NATIVE-(?) OUTPUT-STREAM, and writes something that precedes the normal printed representation of a definition.
static StellaSpecialVariable	$PPRINT_BEFORE_PROPOSITION_FUNCTION$ A function that takes two arguments, a Stella Proposition and a NATIVE-(?) OUTPUT-STREAM, and writes something that precedes the normal printed representation of a proposition.
static StellaSpecialVariable	$PPRINT_INDENT$
static StellaSpecialVariable	$PRESET_QUERIES$ A list of preset queries to make entry easier.
static java.lang.String	$STANDARD_BACKGROUND_COLOR$
static boolean	$VIZ_ADD_TOPp$ If true, put everything under artificial TOP node.
static java.lang.String	$VIZ_DOT_PROGRAM$
static List	$VIZ_EXCLUDED_MODULES$ Set of PowerLoom logic modules that shouldn't be visualized.
static int	$VIZ_FONT_SIZE$
static java.lang.String	$VIZ_NODE_COLOR$
static java.lang.String	$VIZ_RELATION_COLOR$
static java.lang.String	$VIZ_RELATION_STYLE$
static boolean	$VIZ_SERVER_ENABLEDp$ If true, visualization requests are enabled.
static boolean	$VIZ_SERVER_IMAGE_MAPS_ENABLEDp$ If true, visualization images will be linked with a clickable image map.
static boolean	$VIZ_SHOW_ATTRIBUTESp$ If true, show binary relations as attributes (2nd box in a concept label).
static boolean	$VIZ_SHOW_RELATIONSp$ If true, show binary relations between domain and range concepts as edges.
static boolean	$VIZ_SHOW_RULESp$ If true, show defining rules (3rd box in a concept label).
static Keyword	KWD_AND
static Keyword	KWD_BAD_REQUEST
static Keyword	KWD_BLOCK
static Keyword	KWD_CASE_INSENSITIVE
static Keyword	KWD_CONCEPT
static Keyword	KWD_CONSTANT
static Keyword	KWD_CONTENT_TYPE
static Keyword	KWD_CONTEXT
static Keyword	KWD_DIRECTORY
static Keyword	KWD_DOCUMENTATION
static Keyword	KWD_EQUIVALENT
static Keyword	KWD_EXACT
static Keyword	KWD_EXISTS
static Keyword	KWD_FAIL
static Keyword	KWD_FORALL
static Keyword	KWD_FUNCTION
static Keyword	KWD_GET
static Keyword	KWD_HTML
static Keyword	KWD_IMAGE_GIF
static Keyword	KWD_IMPLIES
static Keyword	KWD_INFERENCE_LEVEL
static Keyword	KWD_INPUT
static Keyword	KWD_INSTANCE
static Keyword	KWD_INTERNAL_ERROR
static Keyword	KWD_ISA
static Keyword	KWD_KIF
static Keyword	KWD_KIF_ONTOSAURUS
static Keyword	KWD_LAY
static Keyword	KWD_MEDIUM
static Keyword	KWD_MODULE
static Keyword	KWD_NOT
static Keyword	KWD_NOT_IMPLEMENTED
static Keyword	KWD_OBJECT
static Keyword	KWD_OR
static Keyword	KWD_POST
static Keyword	KWD_PREDICATE
static Keyword	KWD_PREORDER
static Keyword	KWD_QUERY
static Keyword	KWD_REGEX
static Keyword	KWD_RELATION
static Keyword	KWD_SHALLOW
static Keyword	KWD_SINGLETONSp
static Keyword	KWD_SORT_BY
static Keyword	KWD_SUBSTRING
static Keyword	KWD_TIMEOUT
static Keyword	KWD_VALUES
static Keyword	KWD_WILDCARD
static KeyValueMap	REUSABLE_SKOLEM_MAPPING_TABLE Stores reusable key-value list for use by 'print-descriptions-as-kif-rule'.
static Surrogate	SGT_LOGIC_DESCRIPTION
static Surrogate	SGT_LOGIC_LOGIC_OBJECT
static Surrogate	SGT_LOGIC_LOGIC_THING
static Surrogate	SGT_LOGIC_NAMED_DESCRIPTION
static Surrogate	SGT_LOGIC_PATTERN_VARIABLE
static Surrogate	SGT_LOGIC_PROPOSITION
static Surrogate	SGT_LOGIC_SKOLEM
static Surrogate	SGT_ONTOSAURUS_F_VIZ_SERVER_EXPORT_OBJECT_MEMO_TABLE_000
static Surrogate	SGT_ONTOSAURUS_M_VIZ_INFOdVIZ_GET_BINARY_RELATIONS_OF_MEMO_TABLE_000
static Surrogate	SGT_ONTOSAURUS_SHELL_PROCESS
static Surrogate	SGT_ONTOSAURUS_THREAD
static Surrogate	SGT_ONTOSAURUS_VIZ_INFO
static Surrogate	SGT_PL_KERNEL_KB_AND
static Surrogate	SGT_PL_KERNEL_KB_BAGOF
static Surrogate	SGT_PL_KERNEL_KB_CONCEPT
static Surrogate	SGT_PL_KERNEL_KB_EQUIVALENT
static Surrogate	SGT_PL_KERNEL_KB_EXISTS
static Surrogate	SGT_PL_KERNEL_KB_FAIL
static Surrogate	SGT_PL_KERNEL_KB_FORALL
static Surrogate	SGT_PL_KERNEL_KB_KAPPA
static Surrogate	SGT_PL_KERNEL_KB_LISTOF
static Surrogate	SGT_PL_KERNEL_KB_NOT
static Surrogate	SGT_PL_KERNEL_KB_OR
static Surrogate	SGT_PL_KERNEL_KB_SETOF
static Surrogate	SGT_PL_KERNEL_KB_SUBSET_OF
static Surrogate	SGT_STELLA_COLLECTION
static Surrogate	SGT_STELLA_CONS
static Surrogate	SGT_STELLA_FALSE
static Surrogate	SGT_STELLA_GENERALIZED_SYMBOL
static Surrogate	SGT_STELLA_LITERAL_WRAPPER
static Surrogate	SGT_STELLA_MODULE
static Surrogate	SGT_STELLA_MUTABLE_STRING_WRAPPER
static Surrogate	SGT_STELLA_STRING
static Surrogate	SGT_STELLA_SYMBOL
static Surrogate	SGT_STELLA_THING
static Surrogate	SGT_STELLA_TRUE
static Symbol	SYM_LOGIC_ALL
static Symbol	SYM_LOGIC_COMPLEMENT_DESCRIPTION
static Symbol	SYM_LOGIC_FORWARD_ONLYp
static Symbol	SYM_LOGIC_IO_VARIABLES
static Symbol	SYM_LOGIC_JUSTIFICATION
static Symbol	SYM_LOGIC_pRELATION
static Symbol	SYM_ONTOSAURUS_ADD_TOPp
static Symbol	SYM_ONTOSAURUS_ALLOWED_OBJECTS
static Symbol	SYM_ONTOSAURUS_BINARY_RELATION
static Symbol	SYM_ONTOSAURUS_ERROR_STREAM
static Symbol	SYM_ONTOSAURUS_EXIT_STATUS
static Symbol	SYM_ONTOSAURUS_FONT_SIZE
static Symbol	SYM_ONTOSAURUS_M_VIZ_INFOdVIZ_GET_BINARY_RELATIONS_OF_QUERY_000
static Symbol	SYM_ONTOSAURUS_M_VIZ_INFOdVIZ_GET_BINARY_RELATIONS_OF_QUERY_001
static Symbol	SYM_ONTOSAURUS_NATIVE_STDERR
static Symbol	SYM_ONTOSAURUS_NATIVE_STDIN
static Symbol	SYM_ONTOSAURUS_NATIVE_STDOUT
static Symbol	SYM_ONTOSAURUS_NODE_COLOR
static Symbol	SYM_ONTOSAURUS_pDOMAIN
static Symbol	SYM_ONTOSAURUS_PPRINT_ATOMIC_OBJECT_FOR_HTML
static Symbol	SYM_ONTOSAURUS_RELATION_COLOR
static Symbol	SYM_ONTOSAURUS_RELATION_STYLE
static Symbol	SYM_ONTOSAURUS_RUN_ARGUMENTS
static Symbol	SYM_ONTOSAURUS_RUN_FUNCTION
static Symbol	SYM_ONTOSAURUS_SHOW_ATTRIBUTESp
static Symbol	SYM_ONTOSAURUS_SHOW_RELATIONSp
static Symbol	SYM_ONTOSAURUS_SHOW_RULESp
static Symbol	SYM_ONTOSAURUS_STARTUP_CONTROL_PANEL_SCRIPT
static Symbol	SYM_ONTOSAURUS_STARTUP_GENERAL_QUERY
static Symbol	SYM_ONTOSAURUS_STARTUP_HTML_DESCRIBE_OBJECT
static Symbol	SYM_ONTOSAURUS_STARTUP_HTML_MACROS
static Symbol	SYM_ONTOSAURUS_STARTUP_HTML_PPRINT
static Symbol	SYM_ONTOSAURUS_STARTUP_HTML_UTILITIES
static Symbol	SYM_ONTOSAURUS_STARTUP_NEW_PPRINT
static Symbol	SYM_ONTOSAURUS_STARTUP_ONTOSAURUS_SYSTEM
static Symbol	SYM_ONTOSAURUS_STARTUP_SHELL
static Symbol	SYM_ONTOSAURUS_STARTUP_TOP_WINDOW
static Symbol	SYM_ONTOSAURUS_STARTUP_VISUALIZE
static Symbol	SYM_PL_KERNEL_KB_NTH_DOMAIN
static Symbol	SYM_STELLA_AND
static Symbol	SYM_STELLA_CODE_ONLYp
static Symbol	SYM_STELLA_DIRECTORY
static Symbol	SYM_STELLA_EXISTS
static Symbol	SYM_STELLA_INPUT_STREAM
static Symbol	SYM_STELLA_METHOD_STARTUP_CLASSNAME
static Symbol	SYM_STELLA_NAMESPACEp
static Symbol	SYM_STELLA_OUTPUT_STREAM
static Symbol	SYM_STELLA_STREAM
static java.lang.String	VIZ_TOP
static java.lang.String	VIZ_UNKNOWN

Constructor Summary

OntosaurusUtil()

Method Summary

static Cons	childModules(Module module)
static void	controlPanelHandler(edu.isi.webtools.http.HttpExchange xchg)
static boolean	currentEditLockP()
static void	doActionHandler(edu.isi.webtools.http.HttpExchange xchg)
static boolean	edittingAllowedP()
static boolean	edittingPossibleP()
static int	executeShellCommand(Stella_Object command, java.lang.String directory, InputStream input, OutputStream output, OutputStream error) Run command in a shell and return its exit status.
static List	findCandidateObjects(java.lang.String objectname, java.lang.String objecttype, Keyword matchtype)
static boolean	hasChildOtherThanP(NamedDescription parent, NamedDescription child)
static void	helpPprintDescriptionsAsRule(Description desc, java.io.PrintStream stream)
static java.lang.String	helpVizServerExportObject(Stella_Object renamed_Object, Module module)
static void	htmlDescribeContextView(LogicObject self, java.io.PrintStream stream)
static void	htmlDescribeEquivalents(java.lang.String title, java.lang.String head, NamedDescription relation, java.io.PrintStream stream, boolean ruleP)
static void	htmlDescribeFacts(java.lang.String title, java.lang.String head, LogicObject relation, java.io.PrintStream stream, boolean filterRulesP, boolean ruleP)
static void	htmlDescribeInstance(LogicObject instance, java.io.PrintStream stream)
static void	htmlDescribeInstances(java.lang.String title, java.lang.String head, NamedDescription relation, java.io.PrintStream stream, boolean ruleP)
static void	htmlDescribeLocation(LogicObject self, java.io.PrintStream stream)
static void	htmlDescribeModule(Module module, java.io.PrintStream stream)
static void	htmlDescribeModuleSubs(java.lang.String title, java.lang.String head, Module module, java.io.PrintStream stream, boolean ruleP)
static void	htmlDescribeModuleSupers(java.lang.String title, java.lang.String head, Module module, java.io.PrintStream stream, boolean ruleP)
static void	htmlDescribeNamedDescription(NamedDescription concept, java.io.PrintStream stream)
static void	htmlDescribeOneModuleSubLevel(Module module, int depth, int cutoff, java.io.PrintStream stream)
static void	htmlDescribeOneModuleSuperLevel(Module module, HashTable alreadyoutput, java.io.PrintStream stream)
static void	htmlDescribeOneParentWithSiblings(NamedDescription parent, NamedDescription child, java.io.PrintStream stream)
static void	htmlDescribeOneSubLevel(NamedDescription renamed_Object, int depth, int cutoff, java.io.PrintStream stream)
static void	htmlDescribeOneSuperLevel(Cons directsupers, HashTable alreadyoutput, java.io.PrintStream stream)
static void	htmlDescribeRules(java.lang.String title, java.lang.String head, LogicObject relation, java.io.PrintStream stream, boolean ruleP)
static void	htmlDescribeSiblings(java.lang.String title, java.lang.String head, NamedDescription relation, java.io.PrintStream stream, boolean ruleP)
static void	htmlDescribeSubs(java.lang.String title, java.lang.String head, NamedDescription relation, java.io.PrintStream stream, boolean ruleP)
static void	htmlDescribeSupers(java.lang.String title, java.lang.String head, NamedDescription relation, java.io.PrintStream stream, boolean ruleP)
static void	htmlDescribeTuples(java.lang.String title, java.lang.String head, NamedDescription relation, java.io.PrintStream stream, boolean ruleP)
static void	htmlDescribeTypes(java.lang.String title, java.lang.String head, LogicObject relation, java.io.PrintStream stream, boolean ruleP)
static void	htmlDisplayDocumentation(StandardObject self, java.io.PrintStream stream)
static void	htmlDisplayImages(StandardObject self, java.io.PrintStream stream)
static void	htmlDisplayModuleStats(java.lang.String title, java.lang.String head, Module module, java.io.PrintStream stream, boolean ruleP)
static void	htmlDisplayStringInParagraphs(java.lang.String s, java.io.PrintStream stream)
static void	htmlDisplaySynonyms(Stella_Object self, java.io.PrintStream stream)
static void	htmlEmitImage(java.io.PrintStream stream, java.lang.String imageurl, java.lang.String alternatetext, int width, int height, java.lang.String alignment, int border)
static void	htmlExecuteAskQuery(Cons query, Cons options, Module mod, java.io.PrintStream stream)
static void	htmlExecuteQuery(KeyValueList querydata, java.io.PrintStream stream)
static void	htmlExecuteRetrieveQuery(int nvalues, Cons variables, Cons query, Cons options, Module mod, java.io.PrintStream stream)
static void	htmlLineBreak(java.io.PrintStream stream)
static void	htmlPowerloomResponse(java.lang.String action, java.lang.String objecttype, java.lang.String modulename, java.lang.String objectname, java.io.PrintStream stream)
static void	htmlUnknownModuleResponse(Keyword itemtype, java.lang.String itemname, java.lang.String modulename, java.io.PrintStream stream)
static void	htmlUnknownObjectResponse(Keyword itemtype, java.lang.String itemname, java.io.PrintStream stream)
static void	htmlWrite3PartHrefInDetail(java.io.PrintStream stream, java.lang.String target, java.lang.String action, java.lang.String objectType, java.lang.String contextName, java.lang.String objectName, java.lang.String objectTitlePrefix, java.lang.String objectTitle, java.lang.String objectTitleSuffix, boolean rawtitleP)
static void	htmlWriteContextViewOption(java.io.PrintStream stream, java.lang.String objectname, Module ctx)
static void	htmlWriteExplanationResponsePage(java.lang.String modulename, java.lang.String query, java.io.PrintStream stream)
static void	htmlWriteFindObjectResponsePage(java.lang.String modulename, java.lang.String objectname, java.lang.String objecttype, Keyword matchtype, java.io.PrintStream stream)
static void	htmlWriteHeaderWithTable(java.io.PrintStream stream, java.lang.String title, java.lang.String head)
static void	htmlWriteHref(java.io.PrintStream stream, java.lang.String action, java.lang.String objecttype, StandardObject renamed_Object)
static void	htmlWriteHrefInDetail(java.io.PrintStream stream, java.lang.String target, java.lang.String action, java.lang.String objecttype, java.lang.String contextname, java.lang.String objectname, java.lang.String objecttitle, boolean rawtitleP)
static void	htmlWriteInstanceResponsePage(LogicObject instance, java.io.PrintStream stream)
static void	htmlWriteJavascript(java.io.PrintStream stream, java.lang.String js)
static void	htmlWriteModuleResponsePage(java.lang.String modulename, java.io.PrintStream stream)
static void	htmlWriteModuleResponsePageInternal(Module module, java.io.PrintStream stream)
static void	htmlWriteMultipleChoicePage(java.lang.String searchstring, List candidateobjects, java.io.PrintStream stream)
static void	htmlWriteObjectResponsePage(java.lang.String modulename, java.lang.String objectname, java.io.PrintStream stream)
static void	htmlWriteObjectResponsePageInternal(Stella_Object renamed_Object, java.io.PrintStream stream)
static void	htmlWriteQueryFormPage(java.io.PrintStream stream)
static void	htmlWriteQueryFormPageFromTemplate(OutputStream stream, InputStream templatestream)
static void	htmlWriteRelationResponsePage(NamedDescription relation, java.io.PrintStream stream)
static void	htmlWriteUrl(java.io.PrintStream stream, java.lang.String action, StandardObject renamed_Object)
static void	htmlWriteUrlInDetail(java.io.PrintStream stream, java.lang.String action, java.lang.String objecttype, java.lang.String contextname, java.lang.String objectname)
static boolean	loadingAllowedP()
static java.lang.String	logicObjectDisplayType(LogicObject obj)
static java.lang.String	lookupTerm(Keyword term, boolean capitalizedP, boolean pluralP)
static java.lang.String	makeHtmlBodyTag(java.lang.String backgroundcolor)
static java.lang.String	operatorToString(Stella_Object operator)
static java.lang.String[]	parseShellCommand(Stella_Object command)
static void	ploomQueryHandler(edu.isi.webtools.http.HttpExchange xchg)
static void	pprintArguments(Vector arguments, boolean separatelinesP, boolean omitlastargumentP, java.io.PrintStream stream)
static boolean	pprintAsAtomicObjectP(Stella_Object self)
static void	pprintAtomicObject(Stella_Object self, java.io.PrintStream stream)
static void	pprintAtomicObjectForHtml(Stella_Object self, java.io.PrintStream stream)
static void	pprintAtomicObjectForHtmlDefinition(Stella_Object self, java.io.PrintStream stream)
static void	pprintCompositeObject(Stella_Object self, java.io.PrintStream stream)
static void	pprintDefinition(Cons self, boolean hasvariablesP, java.io.PrintStream stream)
static void	pprintDescription(Description self, java.io.PrintStream stream)
static void	pprintDescriptionBody(Description description, java.io.PrintStream stream)
static void	pprintDescriptionsAsRule(Description head, Description tail, Proposition rule, java.io.PrintStream stream)
static void	pprintFunctionProposition(Proposition self, java.io.PrintStream stream)
static void	pprintFunctionTerm(Proposition self, java.io.PrintStream stream)
static void	pprintImpliesProposition(Proposition self, java.io.PrintStream stream)
static void	pprintLiteralWrapper(LiteralWrapper self, java.io.PrintStream stream)
static void	pprintLiteralWrapperForHtml(LiteralWrapper self, java.io.PrintStream stream)
static void	pprintNamedDescription(NamedDescription self, java.io.PrintStream stream)
static void	pprintNamedDescriptionsAsRule(NamedDescription head, NamedDescription tail, java.lang.String operatorprefix, java.io.PrintStream stream)
static void	pprintNewline(java.io.PrintStream stream)
static void	pprintObject(Stella_Object self, java.io.PrintStream stream)
static void	pprintOntosaurusObject(Stella_Object self, OutputStream stream)
static void	pprintOperatorWithArguments(java.lang.String operatorname, Vector arguments, boolean separatelinesP, boolean omitlastargumentP, java.io.PrintStream stream)
static void	pprintProposition(Proposition self, java.io.PrintStream stream)
static void	pprintQuantifiedVariables(Vector variables, boolean includetypesP, java.io.PrintStream stream)
static void	pprintRelationProposition(Proposition self, java.io.PrintStream stream)
static void	pprintStellaCollection(Collection self, java.io.PrintStream stream)
static void	pprintStellaCons(Cons self, java.io.PrintStream stream)
static void	printOntosaurusUrl(LogicObject theObject, java.io.PrintStream nativestream) Prints a URL following PowerLoom Ontosaurus conventions.
static LogicObject	resolveSynonyms(LogicObject obj)
static java.lang.String	safeObjectNameString(LogicObject instance)
static boolean	savingAllowedP()
static void	serveControlPanelInternal(java.io.PrintStream stream)
static void	serveControlPanelNeedsJavascript(java.io.PrintStream stream)
static StringWrapper	shellCommand(Stella_Object command, Cons options) User-level command interface to executeShellCommand (which see).
static StringWrapper	shellCommandEvaluatorWrapper(Cons arguments)
static boolean	shortTermP(Stella_Object arg)
static Cons	sortedContexts()
static java.lang.String	vizDotObjectName(Stella_Object renamed_Object)
static java.lang.String	vizDotString(java.lang.String name)
static void	vizExportConceptToFile(LogicObject concept, Module module, java.lang.String file)
static void	vizExportModuleToFile(Module module, java.lang.String file)
static java.lang.String	vizGetObjectName(Stella_Object renamed_Object)
static boolean	vizServerAvailableP()
static void	vizServerExportConcept(LogicObject concept, Module module, OutputStream out)
static void	vizServerExportModule(Module module, OutputStream out)
static java.lang.String	vizServerExportObject(Stella_Object renamed_Object, Module module)
static void	vizServerHandler(edu.isi.webtools.http.HttpExchange xchg)
static void	vizServerServeImage(edu.isi.webtools.http.HttpExchange xchg, Stella_Object renamed_Object, Module module)
static void	vizServerServeImagePlusMap(edu.isi.webtools.http.HttpExchange xchg, Stella_Object renamed_Object, Module module)
static void	writeBookmarkIcon(LogicObject instance, java.io.PrintStream stream)
static void	writeBottomSection(java.io.PrintStream stream)
static void	writeControlPanelScript(java.io.PrintStream stream)
static void	writeExplanationIcon(QueryIterator query, Cons bindings, java.io.PrintStream stream)
static void	writePowerloomTrailer(java.io.PrintStream stream)
static void	writeTheorySection(java.io.PrintStream stream)
static void	writeTopSection(java.io.PrintStream stream)
static java.lang.String	yieldChoiceMenuString(Cons items, java.lang.String selectoptions)
static java.lang.String	yieldModuleMenuString(Cons modules)
static java.lang.String	yieldNofAnswersMenuString(Cons nofanswers)
static java.lang.String	yieldPresetQueriesScript(Cons queries)
static java.lang.String	yieldQueryMenuString(Cons queries)
static java.lang.String	yieldTimeoutsMenuString(Cons timeouts)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

SYM_ONTOSAURUS_STARTUP_HTML_MACROS

public static Symbol SYM_ONTOSAURUS_STARTUP_HTML_MACROS

SYM_STELLA_METHOD_STARTUP_CLASSNAME

public static Symbol SYM_STELLA_METHOD_STARTUP_CLASSNAME

$ERROR_BACKGROUND_COLOR$

public static java.lang.String $ERROR_BACKGROUND_COLOR$

$STANDARD_BACKGROUND_COLOR$

public static java.lang.String $STANDARD_BACKGROUND_COLOR$

$MODULE_BACKGROUND_COLOR$

public static java.lang.String $MODULE_BACKGROUND_COLOR$

$CONTROL_BACKGROUND_COLOR$

public static java.lang.String $CONTROL_BACKGROUND_COLOR$

$ANSWER_BACKGROUND_COLOR$

public static java.lang.String $ANSWER_BACKGROUND_COLOR$

$FORM_BACKGROUND_COLOR$

public static java.lang.String $FORM_BACKGROUND_COLOR$

$HREF_PREFIX_TAG$

public static java.lang.String $HREF_PREFIX_TAG$

Tag used for prefix part of HREF generation in htmlWrite3PartHrefInDetail.

$HREF_SUFFIX_TAG$

public static java.lang.String $HREF_SUFFIX_TAG$

Tag used for suffix part of HREF generation in htmlWrite3PartHrefInDetail.

SGT_LOGIC_LOGIC_OBJECT

public static Surrogate SGT_LOGIC_LOGIC_OBJECT

SGT_STELLA_MODULE

public static Surrogate SGT_STELLA_MODULE

$POWERLOOM_COPYRIGHT_TRAILER$

public static java.lang.String $POWERLOOM_COPYRIGHT_TRAILER$

SYM_ONTOSAURUS_STARTUP_HTML_UTILITIES

public static Symbol SYM_ONTOSAURUS_STARTUP_HTML_UTILITIES

REUSABLE_SKOLEM_MAPPING_TABLE

public static KeyValueMap REUSABLE_SKOLEM_MAPPING_TABLE

Stores reusable key-value list for use by 'print-descriptions-as-kif-rule'.

$PPRINT_ATOMIC_OBJECT_RENDERER$

public static final StellaSpecialVariable $PPRINT_ATOMIC_OBJECT_RENDERER$

A function that takes two arguments, a Stella Object and a NATIVE-(?) OUTPUT-STREAM, and writes a representation of that object on that stream. This will only be called on atomic Stella objects -- compound objects like Conses, Propositions, etc. are handled by the outer code.

$PPRINT_BEFORE_PROPOSITION_FUNCTION$

public static final StellaSpecialVariable $PPRINT_BEFORE_PROPOSITION_FUNCTION$

A function that takes two arguments, a Stella Proposition and a NATIVE-(?) OUTPUT-STREAM, and writes something that precedes the normal printed representation of a proposition. This will only be called on PROPOSITION objects.

$PPRINT_AFTER_PROPOSITION_FUNCTION$

public static final StellaSpecialVariable $PPRINT_AFTER_PROPOSITION_FUNCTION$

A function that takes two arguments, a Stella Proposition and a NATIVE-(?) OUTPUT-STREAM, and writes something that precedes the normal printed representation of a proposition. This will only be called on PROPOSITION objects.

$PPRINT_BEFORE_DEFINITION_FUNCTION$

public static final StellaSpecialVariable $PPRINT_BEFORE_DEFINITION_FUNCTION$

A function that takes two arguments, a Stella Definition and a NATIVE-(?) OUTPUT-STREAM, and writes something that precedes the normal printed representation of a definition. This will only be called on DEFINITION objects.

$PPRINT_AFTER_DEFINITION_FUNCTION$

public static final StellaSpecialVariable $PPRINT_AFTER_DEFINITION_FUNCTION$

A function that takes two arguments, a Stella Definition and a NATIVE-(?) OUTPUT-STREAM, and writes something that precedes the normal printed representation of a definition. This will only be called on DEFINITION objects.

$PPRINT_INDENT$

public static final StellaSpecialVariable $PPRINT_INDENT$

SGT_STELLA_LITERAL_WRAPPER

public static Surrogate SGT_STELLA_LITERAL_WRAPPER

SGT_LOGIC_PATTERN_VARIABLE

public static Surrogate SGT_LOGIC_PATTERN_VARIABLE

SGT_LOGIC_SKOLEM

public static Surrogate SGT_LOGIC_SKOLEM

SGT_LOGIC_LOGIC_THING

public static Surrogate SGT_LOGIC_LOGIC_THING

SGT_STELLA_THING

public static Surrogate SGT_STELLA_THING

SGT_STELLA_MUTABLE_STRING_WRAPPER

public static Surrogate SGT_STELLA_MUTABLE_STRING_WRAPPER

SGT_LOGIC_NAMED_DESCRIPTION

public static Surrogate SGT_LOGIC_NAMED_DESCRIPTION

SGT_LOGIC_PROPOSITION

public static Surrogate SGT_LOGIC_PROPOSITION

SGT_LOGIC_DESCRIPTION

public static Surrogate SGT_LOGIC_DESCRIPTION

SGT_STELLA_COLLECTION

public static Surrogate SGT_STELLA_COLLECTION

SGT_STELLA_CONS

public static Surrogate SGT_STELLA_CONS

$DOWNCASE_STANDARD_KIF_OPERATORSp$

public static boolean $DOWNCASE_STANDARD_KIF_OPERATORSp$

SGT_PL_KERNEL_KB_AND

public static Surrogate SGT_PL_KERNEL_KB_AND

SGT_PL_KERNEL_KB_OR

public static Surrogate SGT_PL_KERNEL_KB_OR

SGT_PL_KERNEL_KB_NOT

public static Surrogate SGT_PL_KERNEL_KB_NOT

SGT_PL_KERNEL_KB_FAIL

public static Surrogate SGT_PL_KERNEL_KB_FAIL

SGT_PL_KERNEL_KB_FORALL

public static Surrogate SGT_PL_KERNEL_KB_FORALL

SGT_PL_KERNEL_KB_EXISTS

public static Surrogate SGT_PL_KERNEL_KB_EXISTS

SGT_PL_KERNEL_KB_KAPPA

public static Surrogate SGT_PL_KERNEL_KB_KAPPA

SGT_PL_KERNEL_KB_SUBSET_OF

public static Surrogate SGT_PL_KERNEL_KB_SUBSET_OF

SGT_PL_KERNEL_KB_SETOF

public static Surrogate SGT_PL_KERNEL_KB_SETOF

SGT_PL_KERNEL_KB_LISTOF

public static Surrogate SGT_PL_KERNEL_KB_LISTOF

SGT_PL_KERNEL_KB_BAGOF

public static Surrogate SGT_PL_KERNEL_KB_BAGOF

SGT_STELLA_TRUE

public static Surrogate SGT_STELLA_TRUE

SGT_STELLA_FALSE

public static Surrogate SGT_STELLA_FALSE

SGT_PL_KERNEL_KB_EQUIVALENT

public static Surrogate SGT_PL_KERNEL_KB_EQUIVALENT

KWD_PREDICATE

public static Keyword KWD_PREDICATE

KWD_ISA

public static Keyword KWD_ISA

KWD_FUNCTION

public static Keyword KWD_FUNCTION

KWD_AND

public static Keyword KWD_AND

KWD_OR

public static Keyword KWD_OR

KWD_NOT

public static Keyword KWD_NOT

KWD_EQUIVALENT

public static Keyword KWD_EQUIVALENT

KWD_FAIL

public static Keyword KWD_FAIL

KWD_CONSTANT

public static Keyword KWD_CONSTANT

KWD_EXISTS

public static Keyword KWD_EXISTS

SYM_LOGIC_IO_VARIABLES

public static Symbol SYM_LOGIC_IO_VARIABLES

KWD_FORALL

public static Keyword KWD_FORALL

KWD_IMPLIES

public static Keyword KWD_IMPLIES

SYM_LOGIC_COMPLEMENT_DESCRIPTION

public static Symbol SYM_LOGIC_COMPLEMENT_DESCRIPTION

SYM_LOGIC_FORWARD_ONLYp

public static Symbol SYM_LOGIC_FORWARD_ONLYp

SGT_STELLA_SYMBOL

public static Surrogate SGT_STELLA_SYMBOL

KWD_KIF

public static Keyword KWD_KIF

KWD_KIF_ONTOSAURUS

public static Keyword KWD_KIF_ONTOSAURUS

SYM_ONTOSAURUS_STARTUP_NEW_PPRINT

public static Symbol SYM_ONTOSAURUS_STARTUP_NEW_PPRINT

SGT_STELLA_GENERALIZED_SYMBOL

public static Surrogate SGT_STELLA_GENERALIZED_SYMBOL

$ONTOSAURUS_URL_ACTION$

public static final StellaSpecialVariable $ONTOSAURUS_URL_ACTION$

The action parameter for URL printing

SYM_ONTOSAURUS_STARTUP_HTML_PPRINT

public static Symbol SYM_ONTOSAURUS_STARTUP_HTML_PPRINT

SYM_ONTOSAURUS_STARTUP_CONTROL_PANEL_SCRIPT

public static Symbol SYM_ONTOSAURUS_STARTUP_CONTROL_PANEL_SCRIPT

KWD_CONCEPT

public static Keyword KWD_CONCEPT

KWD_RELATION

public static Keyword KWD_RELATION

KWD_CONTEXT

public static Keyword KWD_CONTEXT

KWD_INSTANCE

public static Keyword KWD_INSTANCE

KWD_QUERY

public static Keyword KWD_QUERY

KWD_OBJECT

public static Keyword KWD_OBJECT

KWD_PREORDER

public static Keyword KWD_PREORDER

$IMAGE_URL_RELATION$

public static LogicObject $IMAGE_URL_RELATION$

$DOCUMENTATION_RELATION$

public static LogicObject $DOCUMENTATION_RELATION$

SYM_STELLA_CODE_ONLYp

public static Symbol SYM_STELLA_CODE_ONLYp

SYM_STELLA_NAMESPACEp

public static Symbol SYM_STELLA_NAMESPACEp

KWD_MODULE

public static Keyword KWD_MODULE

KWD_EXACT

public static Keyword KWD_EXACT

KWD_CASE_INSENSITIVE

public static Keyword KWD_CASE_INSENSITIVE

KWD_SUBSTRING

public static Keyword KWD_SUBSTRING

KWD_WILDCARD

public static Keyword KWD_WILDCARD

KWD_REGEX

public static Keyword KWD_REGEX

SYM_ONTOSAURUS_PPRINT_ATOMIC_OBJECT_FOR_HTML

public static Symbol SYM_ONTOSAURUS_PPRINT_ATOMIC_OBJECT_FOR_HTML

KWD_BAD_REQUEST

public static Keyword KWD_BAD_REQUEST

KWD_CONTENT_TYPE

public static Keyword KWD_CONTENT_TYPE

KWD_HTML

public static Keyword KWD_HTML

KWD_DOCUMENTATION

public static Keyword KWD_DOCUMENTATION

SYM_ONTOSAURUS_STARTUP_HTML_DESCRIBE_OBJECT

public static Symbol SYM_ONTOSAURUS_STARTUP_HTML_DESCRIBE_OBJECT

$POWERLOOM_REFERENCE_MANUAL_URL$

public static java.lang.String $POWERLOOM_REFERENCE_MANUAL_URL$

KWD_GET

public static Keyword KWD_GET

SYM_ONTOSAURUS_STARTUP_TOP_WINDOW

public static Symbol SYM_ONTOSAURUS_STARTUP_TOP_WINDOW

$PRESET_QUERIES$

public static final StellaSpecialVariable $PRESET_QUERIES$

A list of preset queries to make entry easier. Format is ("Title" "ModuleName" "QueryBody")

$GENERAL_QUERY_FORM_TEMPLATE$

public static java.lang.String $GENERAL_QUERY_FORM_TEMPLATE$

KWD_SORT_BY

public static Keyword KWD_SORT_BY

KWD_VALUES

public static Keyword KWD_VALUES

KWD_TIMEOUT

public static Keyword KWD_TIMEOUT

SYM_LOGIC_ALL

public static Symbol SYM_LOGIC_ALL

SYM_STELLA_EXISTS

public static Symbol SYM_STELLA_EXISTS

SYM_LOGIC_JUSTIFICATION

public static Symbol SYM_LOGIC_JUSTIFICATION

KWD_LAY

public static Keyword KWD_LAY

KWD_POST

public static Keyword KWD_POST

KWD_INTERNAL_ERROR

public static Keyword KWD_INTERNAL_ERROR

SYM_ONTOSAURUS_STARTUP_GENERAL_QUERY

public static Symbol SYM_ONTOSAURUS_STARTUP_GENERAL_QUERY

$VIZ_SHOW_RELATIONSp$

public static boolean $VIZ_SHOW_RELATIONSp$

If true, show binary relations between domain and range concepts as edges.

$VIZ_SHOW_ATTRIBUTESp$

public static boolean $VIZ_SHOW_ATTRIBUTESp$

If true, show binary relations as attributes (2nd box in a concept label).

$VIZ_SHOW_RULESp$

public static boolean $VIZ_SHOW_RULESp$

If true, show defining rules (3rd box in a concept label).

$VIZ_ADD_TOPp$

public static boolean $VIZ_ADD_TOPp$

If true, put everything under artificial TOP node.

$VIZ_NODE_COLOR$

public static java.lang.String $VIZ_NODE_COLOR$

$VIZ_RELATION_COLOR$

public static java.lang.String $VIZ_RELATION_COLOR$

$VIZ_RELATION_STYLE$

public static java.lang.String $VIZ_RELATION_STYLE$

$VIZ_FONT_SIZE$

public static int $VIZ_FONT_SIZE$

SGT_ONTOSAURUS_VIZ_INFO

public static Surrogate SGT_ONTOSAURUS_VIZ_INFO

SYM_STELLA_STREAM

public static Symbol SYM_STELLA_STREAM

SYM_ONTOSAURUS_ALLOWED_OBJECTS

public static Symbol SYM_ONTOSAURUS_ALLOWED_OBJECTS

SYM_ONTOSAURUS_SHOW_RELATIONSp

public static Symbol SYM_ONTOSAURUS_SHOW_RELATIONSp

SYM_ONTOSAURUS_SHOW_ATTRIBUTESp

public static Symbol SYM_ONTOSAURUS_SHOW_ATTRIBUTESp

SYM_ONTOSAURUS_SHOW_RULESp

public static Symbol SYM_ONTOSAURUS_SHOW_RULESp

SYM_ONTOSAURUS_ADD_TOPp

public static Symbol SYM_ONTOSAURUS_ADD_TOPp

SYM_ONTOSAURUS_NODE_COLOR

public static Symbol SYM_ONTOSAURUS_NODE_COLOR

SYM_ONTOSAURUS_RELATION_COLOR

public static Symbol SYM_ONTOSAURUS_RELATION_COLOR

SYM_ONTOSAURUS_RELATION_STYLE

public static Symbol SYM_ONTOSAURUS_RELATION_STYLE

SYM_ONTOSAURUS_FONT_SIZE

public static Symbol SYM_ONTOSAURUS_FONT_SIZE

VIZ_TOP

public static java.lang.String VIZ_TOP

VIZ_UNKNOWN

public static java.lang.String VIZ_UNKNOWN

SYM_LOGIC_pRELATION

public static Symbol SYM_LOGIC_pRELATION

SYM_ONTOSAURUS_pDOMAIN

public static Symbol SYM_ONTOSAURUS_pDOMAIN

SYM_STELLA_AND

public static Symbol SYM_STELLA_AND

SYM_PL_KERNEL_KB_NTH_DOMAIN

public static Symbol SYM_PL_KERNEL_KB_NTH_DOMAIN

SYM_ONTOSAURUS_BINARY_RELATION

public static Symbol SYM_ONTOSAURUS_BINARY_RELATION

KWD_SINGLETONSp

public static Keyword KWD_SINGLETONSp

KWD_INFERENCE_LEVEL

public static Keyword KWD_INFERENCE_LEVEL

KWD_SHALLOW

public static Keyword KWD_SHALLOW

SYM_ONTOSAURUS_M_VIZ_INFOdVIZ_GET_BINARY_RELATIONS_OF_QUERY_000

public static Symbol SYM_ONTOSAURUS_M_VIZ_INFOdVIZ_GET_BINARY_RELATIONS_OF_QUERY_000

SGT_ONTOSAURUS_M_VIZ_INFOdVIZ_GET_BINARY_RELATIONS_OF_MEMO_TABLE_000

public static Surrogate SGT_ONTOSAURUS_M_VIZ_INFOdVIZ_GET_BINARY_RELATIONS_OF_MEMO_TABLE_000

SYM_ONTOSAURUS_M_VIZ_INFOdVIZ_GET_BINARY_RELATIONS_OF_QUERY_001

public static Symbol SYM_ONTOSAURUS_M_VIZ_INFOdVIZ_GET_BINARY_RELATIONS_OF_QUERY_001

$VIZ_EXCLUDED_MODULES$

public static List $VIZ_EXCLUDED_MODULES$

Set of PowerLoom logic modules that shouldn't be visualized. By default this is empty but it could be used to customize the visualizer.

SGT_PL_KERNEL_KB_CONCEPT

public static Surrogate SGT_PL_KERNEL_KB_CONCEPT

KWD_MEDIUM

public static Keyword KWD_MEDIUM

$VIZ_DOT_PROGRAM$

public static java.lang.String $VIZ_DOT_PROGRAM$

$VIZ_SERVER_ENABLEDp$

public static boolean $VIZ_SERVER_ENABLEDp$

If true, visualization requests are enabled.

$VIZ_SERVER_IMAGE_MAPS_ENABLEDp$

public static boolean $VIZ_SERVER_IMAGE_MAPS_ENABLEDp$

If true, visualization images will be linked with a clickable image map.

SGT_ONTOSAURUS_F_VIZ_SERVER_EXPORT_OBJECT_MEMO_TABLE_000

public static Surrogate SGT_ONTOSAURUS_F_VIZ_SERVER_EXPORT_OBJECT_MEMO_TABLE_000

KWD_NOT_IMPLEMENTED

public static Keyword KWD_NOT_IMPLEMENTED

KWD_IMAGE_GIF

public static Keyword KWD_IMAGE_GIF

KWD_INPUT

public static Keyword KWD_INPUT

SYM_ONTOSAURUS_STARTUP_VISUALIZE

public static Symbol SYM_ONTOSAURUS_STARTUP_VISUALIZE

SGT_ONTOSAURUS_THREAD

public static Surrogate SGT_ONTOSAURUS_THREAD

SYM_ONTOSAURUS_RUN_FUNCTION

public static Symbol SYM_ONTOSAURUS_RUN_FUNCTION

SYM_ONTOSAURUS_RUN_ARGUMENTS

public static Symbol SYM_ONTOSAURUS_RUN_ARGUMENTS

SGT_ONTOSAURUS_SHELL_PROCESS

public static Surrogate SGT_ONTOSAURUS_SHELL_PROCESS

SYM_STELLA_DIRECTORY

public static Symbol SYM_STELLA_DIRECTORY

SYM_STELLA_INPUT_STREAM

public static Symbol SYM_STELLA_INPUT_STREAM

SYM_ONTOSAURUS_NATIVE_STDIN

public static Symbol SYM_ONTOSAURUS_NATIVE_STDIN

SYM_STELLA_OUTPUT_STREAM

public static Symbol SYM_STELLA_OUTPUT_STREAM

SYM_ONTOSAURUS_NATIVE_STDOUT

public static Symbol SYM_ONTOSAURUS_NATIVE_STDOUT

SYM_ONTOSAURUS_ERROR_STREAM

public static Symbol SYM_ONTOSAURUS_ERROR_STREAM

SYM_ONTOSAURUS_NATIVE_STDERR

public static Symbol SYM_ONTOSAURUS_NATIVE_STDERR

SYM_ONTOSAURUS_EXIT_STATUS

public static Symbol SYM_ONTOSAURUS_EXIT_STATUS

KWD_BLOCK

public static Keyword KWD_BLOCK

$BLOCK_SHELL_COMMANDp$

public static final StellaSpecialVariable $BLOCK_SHELL_COMMANDp$

Allow disabling of shellCommand in remote execution contexts for security purposes.

KWD_DIRECTORY

public static Keyword KWD_DIRECTORY

SGT_STELLA_STRING

public static Surrogate SGT_STELLA_STRING

SYM_ONTOSAURUS_STARTUP_SHELL

public static Symbol SYM_ONTOSAURUS_STARTUP_SHELL

SYM_ONTOSAURUS_STARTUP_ONTOSAURUS_SYSTEM

public static Symbol SYM_ONTOSAURUS_STARTUP_ONTOSAURUS_SYSTEM

Constructor Detail

OntosaurusUtil

public OntosaurusUtil()

Method Detail

makeHtmlBodyTag

public static java.lang.String makeHtmlBodyTag(java.lang.String backgroundcolor)

htmlLineBreak

public static void htmlLineBreak(java.io.PrintStream stream)

htmlWriteUrlInDetail

public static void htmlWriteUrlInDetail(java.io.PrintStream stream,
                                        java.lang.String action,
                                        java.lang.String objecttype,
                                        java.lang.String contextname,
                                        java.lang.String objectname)

htmlWrite3PartHrefInDetail

public static void htmlWrite3PartHrefInDetail(java.io.PrintStream stream,
                                              java.lang.String target,
                                              java.lang.String action,
                                              java.lang.String objectType,
                                              java.lang.String contextName,
                                              java.lang.String objectName,
                                              java.lang.String objectTitlePrefix,
                                              java.lang.String objectTitle,
                                              java.lang.String objectTitleSuffix,
                                              boolean rawtitleP)

htmlWriteHrefInDetail

public static void htmlWriteHrefInDetail(java.io.PrintStream stream,
                                         java.lang.String target,
                                         java.lang.String action,
                                         java.lang.String objecttype,
                                         java.lang.String contextname,
                                         java.lang.String objectname,
                                         java.lang.String objecttitle,
                                         boolean rawtitleP)

htmlWriteHref

public static void htmlWriteHref(java.io.PrintStream stream,
                                 java.lang.String action,
                                 java.lang.String objecttype,
                                 StandardObject renamed_Object)

htmlWriteUrl

public static void htmlWriteUrl(java.io.PrintStream stream,
                                java.lang.String action,
                                StandardObject renamed_Object)

htmlWriteJavascript

public static void htmlWriteJavascript(java.io.PrintStream stream,
                                       java.lang.String js)

htmlWriteHeaderWithTable

public static void htmlWriteHeaderWithTable(java.io.PrintStream stream,
                                            java.lang.String title,
                                            java.lang.String head)

writeBookmarkIcon

public static void writeBookmarkIcon(LogicObject instance,
                                     java.io.PrintStream stream)

htmlEmitImage

public static void htmlEmitImage(java.io.PrintStream stream,
                                 java.lang.String imageurl,
                                 java.lang.String alternatetext,
                                 int width,
                                 int height,
                                 java.lang.String alignment,
                                 int border)

htmlDisplayStringInParagraphs

public static void htmlDisplayStringInParagraphs(java.lang.String s,
                                                 java.io.PrintStream stream)

writePowerloomTrailer

public static void writePowerloomTrailer(java.io.PrintStream stream)

pprintNewline

public static void pprintNewline(java.io.PrintStream stream)

pprintAtomicObject

public static void pprintAtomicObject(Stella_Object self,
                                      java.io.PrintStream stream)

pprintLiteralWrapper

public static void pprintLiteralWrapper(LiteralWrapper self,
                                        java.io.PrintStream stream)

pprintAsAtomicObjectP

public static boolean pprintAsAtomicObjectP(Stella_Object self)

pprintCompositeObject

public static void pprintCompositeObject(Stella_Object self,
                                         java.io.PrintStream stream)

pprintObject

public static void pprintObject(Stella_Object self,
                                java.io.PrintStream stream)

pprintArguments

public static void pprintArguments(Vector arguments,
                                   boolean separatelinesP,
                                   boolean omitlastargumentP,
                                   java.io.PrintStream stream)

shortTermP

public static boolean shortTermP(Stella_Object arg)

operatorToString

public static java.lang.String operatorToString(Stella_Object operator)

pprintOperatorWithArguments

public static void pprintOperatorWithArguments(java.lang.String operatorname,
                                               Vector arguments,
                                               boolean separatelinesP,
                                               boolean omitlastargumentP,
                                               java.io.PrintStream stream)

pprintRelationProposition

public static void pprintRelationProposition(Proposition self,
                                             java.io.PrintStream stream)

pprintFunctionTerm

public static void pprintFunctionTerm(Proposition self,
                                      java.io.PrintStream stream)

pprintFunctionProposition

public static void pprintFunctionProposition(Proposition self,
                                             java.io.PrintStream stream)

pprintProposition

public static void pprintProposition(Proposition self,
                                     java.io.PrintStream stream)

pprintQuantifiedVariables

public static void pprintQuantifiedVariables(Vector variables,
                                             boolean includetypesP,
                                             java.io.PrintStream stream)

pprintNamedDescription

public static void pprintNamedDescription(NamedDescription self,
                                          java.io.PrintStream stream)

pprintDescription

public static void pprintDescription(Description self,
                                     java.io.PrintStream stream)

pprintDescriptionBody

public static void pprintDescriptionBody(Description description,
                                         java.io.PrintStream stream)

pprintNamedDescriptionsAsRule

public static void pprintNamedDescriptionsAsRule(NamedDescription head,
                                                 NamedDescription tail,
                                                 java.lang.String operatorprefix,
                                                 java.io.PrintStream stream)

helpPprintDescriptionsAsRule

public static void helpPprintDescriptionsAsRule(Description desc,
                                                java.io.PrintStream stream)

pprintDescriptionsAsRule

public static void pprintDescriptionsAsRule(Description head,
                                            Description tail,
                                            Proposition rule,
                                            java.io.PrintStream stream)

pprintImpliesProposition

public static void pprintImpliesProposition(Proposition self,
                                            java.io.PrintStream stream)

pprintStellaCollection

public static void pprintStellaCollection(Collection self,
                                          java.io.PrintStream stream)

pprintStellaCons

public static void pprintStellaCons(Cons self,
                                    java.io.PrintStream stream)

pprintDefinition

public static void pprintDefinition(Cons self,
                                    boolean hasvariablesP,
                                    java.io.PrintStream stream)

pprintOntosaurusObject

public static void pprintOntosaurusObject(Stella_Object self,
                                          OutputStream stream)

pprintAtomicObjectForHtmlDefinition

public static void pprintAtomicObjectForHtmlDefinition(Stella_Object self,
                                                       java.io.PrintStream stream)

pprintAtomicObjectForHtml

public static void pprintAtomicObjectForHtml(Stella_Object self,
                                             java.io.PrintStream stream)

pprintLiteralWrapperForHtml

public static void pprintLiteralWrapperForHtml(LiteralWrapper self,
                                               java.io.PrintStream stream)

logicObjectDisplayType

public static java.lang.String logicObjectDisplayType(LogicObject obj)

printOntosaurusUrl

public static void printOntosaurusUrl(LogicObject theObject,
                                      java.io.PrintStream nativestream)

Prints a URL following PowerLoom Ontosaurus conventions.

Parameters:

theObject -

nativestream -

writeControlPanelScript

public static void writeControlPanelScript(java.io.PrintStream stream)

lookupTerm

public static java.lang.String lookupTerm(Keyword term,
                                          boolean capitalizedP,
                                          boolean pluralP)

safeObjectNameString

public static java.lang.String safeObjectNameString(LogicObject instance)

htmlDescribeLocation

public static void htmlDescribeLocation(LogicObject self,
                                        java.io.PrintStream stream)

htmlWriteContextViewOption

public static void htmlWriteContextViewOption(java.io.PrintStream stream,
                                              java.lang.String objectname,
                                              Module ctx)

htmlDescribeContextView

public static void htmlDescribeContextView(LogicObject self,
                                           java.io.PrintStream stream)

htmlDisplayImages

public static void htmlDisplayImages(StandardObject self,
                                     java.io.PrintStream stream)

htmlDisplayDocumentation

public static void htmlDisplayDocumentation(StandardObject self,
                                            java.io.PrintStream stream)

htmlDisplaySynonyms

public static void htmlDisplaySynonyms(Stella_Object self,
                                       java.io.PrintStream stream)

htmlDescribeEquivalents

public static void htmlDescribeEquivalents(java.lang.String title,
                                           java.lang.String head,
                                           NamedDescription relation,
                                           java.io.PrintStream stream,
                                           boolean ruleP)

htmlDescribeOneSubLevel

public static void htmlDescribeOneSubLevel(NamedDescription renamed_Object,
                                           int depth,
                                           int cutoff,
                                           java.io.PrintStream stream)

htmlDescribeSubs

public static void htmlDescribeSubs(java.lang.String title,
                                    java.lang.String head,
                                    NamedDescription relation,
                                    java.io.PrintStream stream,
                                    boolean ruleP)

htmlDescribeOneSuperLevel

public static void htmlDescribeOneSuperLevel(Cons directsupers,
                                             HashTable alreadyoutput,
                                             java.io.PrintStream stream)

htmlDescribeSupers

public static void htmlDescribeSupers(java.lang.String title,
                                      java.lang.String head,
                                      NamedDescription relation,
                                      java.io.PrintStream stream,
                                      boolean ruleP)

htmlDescribeTypes

public static void htmlDescribeTypes(java.lang.String title,
                                     java.lang.String head,
                                     LogicObject relation,
                                     java.io.PrintStream stream,
                                     boolean ruleP)

htmlDescribeOneParentWithSiblings

public static void htmlDescribeOneParentWithSiblings(NamedDescription parent,
                                                     NamedDescription child,
                                                     java.io.PrintStream stream)

hasChildOtherThanP

public static boolean hasChildOtherThanP(NamedDescription parent,
                                         NamedDescription child)

htmlDescribeSiblings

public static void htmlDescribeSiblings(java.lang.String title,
                                        java.lang.String head,
                                        NamedDescription relation,
                                        java.io.PrintStream stream,
                                        boolean ruleP)

htmlDescribeRules

public static void htmlDescribeRules(java.lang.String title,
                                     java.lang.String head,
                                     LogicObject relation,
                                     java.io.PrintStream stream,
                                     boolean ruleP)

htmlDescribeFacts

public static void htmlDescribeFacts(java.lang.String title,
                                     java.lang.String head,
                                     LogicObject relation,
                                     java.io.PrintStream stream,
                                     boolean filterRulesP,
                                     boolean ruleP)

htmlDescribeInstances

public static void htmlDescribeInstances(java.lang.String title,
                                         java.lang.String head,
                                         NamedDescription relation,
                                         java.io.PrintStream stream,
                                         boolean ruleP)

htmlDescribeTuples

public static void htmlDescribeTuples(java.lang.String title,
                                      java.lang.String head,
                                      NamedDescription relation,
                                      java.io.PrintStream stream,
                                      boolean ruleP)

htmlDescribeNamedDescription

public static void htmlDescribeNamedDescription(NamedDescription concept,
                                                java.io.PrintStream stream)

htmlDescribeInstance

public static void htmlDescribeInstance(LogicObject instance,
                                        java.io.PrintStream stream)

childModules

public static Cons childModules(Module module)

htmlDescribeOneModuleSubLevel

public static void htmlDescribeOneModuleSubLevel(Module module,
                                                 int depth,
                                                 int cutoff,
                                                 java.io.PrintStream stream)

htmlDescribeModuleSubs

public static void htmlDescribeModuleSubs(java.lang.String title,
                                          java.lang.String head,
                                          Module module,
                                          java.io.PrintStream stream,
                                          boolean ruleP)

htmlDescribeOneModuleSuperLevel

public static void htmlDescribeOneModuleSuperLevel(Module module,
                                                   HashTable alreadyoutput,
                                                   java.io.PrintStream stream)

htmlDescribeModuleSupers

public static void htmlDescribeModuleSupers(java.lang.String title,
                                            java.lang.String head,
                                            Module module,
                                            java.io.PrintStream stream,
                                            boolean ruleP)

htmlDisplayModuleStats

public static void htmlDisplayModuleStats(java.lang.String title,
                                          java.lang.String head,
                                          Module module,
                                          java.io.PrintStream stream,
                                          boolean ruleP)

htmlDescribeModule

public static void htmlDescribeModule(Module module,
                                      java.io.PrintStream stream)

htmlUnknownModuleResponse

public static void htmlUnknownModuleResponse(Keyword itemtype,
                                             java.lang.String itemname,
                                             java.lang.String modulename,
                                             java.io.PrintStream stream)

htmlUnknownObjectResponse

public static void htmlUnknownObjectResponse(Keyword itemtype,
                                             java.lang.String itemname,
                                             java.io.PrintStream stream)

htmlWriteRelationResponsePage

public static void htmlWriteRelationResponsePage(NamedDescription relation,
                                                 java.io.PrintStream stream)

htmlWriteInstanceResponsePage

public static void htmlWriteInstanceResponsePage(LogicObject instance,
                                                 java.io.PrintStream stream)

htmlWriteObjectResponsePageInternal

public static void htmlWriteObjectResponsePageInternal(Stella_Object renamed_Object,
                                                       java.io.PrintStream stream)

htmlWriteModuleResponsePageInternal

public static void htmlWriteModuleResponsePageInternal(Module module,
                                                       java.io.PrintStream stream)

htmlWriteModuleResponsePage

public static void htmlWriteModuleResponsePage(java.lang.String modulename,
                                               java.io.PrintStream stream)

htmlWriteObjectResponsePage

public static void htmlWriteObjectResponsePage(java.lang.String modulename,
                                               java.lang.String objectname,
                                               java.io.PrintStream stream)

findCandidateObjects

public static List findCandidateObjects(java.lang.String objectname,
                                        java.lang.String objecttype,
                                        Keyword matchtype)

resolveSynonyms

public static LogicObject resolveSynonyms(LogicObject obj)

htmlWriteFindObjectResponsePage

public static void htmlWriteFindObjectResponsePage(java.lang.String modulename,
                                                   java.lang.String objectname,
                                                   java.lang.String objecttype,
                                                   Keyword matchtype,
                                                   java.io.PrintStream stream)

htmlWriteMultipleChoicePage

public static void htmlWriteMultipleChoicePage(java.lang.String searchstring,
                                               List candidateobjects,
                                               java.io.PrintStream stream)

htmlPowerloomResponse

public static void htmlPowerloomResponse(java.lang.String action,
                                         java.lang.String objecttype,
                                         java.lang.String modulename,
                                         java.lang.String objectname,
                                         java.io.PrintStream stream)

doActionHandler

public static void doActionHandler(edu.isi.webtools.http.HttpExchange xchg)

savingAllowedP

public static boolean savingAllowedP()

loadingAllowedP

public static boolean loadingAllowedP()

edittingAllowedP

public static boolean edittingAllowedP()

edittingPossibleP

public static boolean edittingPossibleP()

currentEditLockP

public static boolean currentEditLockP()

sortedContexts

public static Cons sortedContexts()

serveControlPanelInternal

public static void serveControlPanelInternal(java.io.PrintStream stream)

writeTheorySection

public static void writeTheorySection(java.io.PrintStream stream)

writeTopSection

public static void writeTopSection(java.io.PrintStream stream)

writeBottomSection

public static void writeBottomSection(java.io.PrintStream stream)

serveControlPanelNeedsJavascript

public static void serveControlPanelNeedsJavascript(java.io.PrintStream stream)

controlPanelHandler

public static void controlPanelHandler(edu.isi.webtools.http.HttpExchange xchg)

htmlWriteQueryFormPage

public static void htmlWriteQueryFormPage(java.io.PrintStream stream)

yieldPresetQueriesScript

public static java.lang.String yieldPresetQueriesScript(Cons queries)

yieldChoiceMenuString

public static java.lang.String yieldChoiceMenuString(Cons items,
                                                     java.lang.String selectoptions)

yieldModuleMenuString

public static java.lang.String yieldModuleMenuString(Cons modules)

yieldQueryMenuString

public static java.lang.String yieldQueryMenuString(Cons queries)

yieldNofAnswersMenuString

public static java.lang.String yieldNofAnswersMenuString(Cons nofanswers)

yieldTimeoutsMenuString

public static java.lang.String yieldTimeoutsMenuString(Cons timeouts)

htmlWriteQueryFormPageFromTemplate

public static void htmlWriteQueryFormPageFromTemplate(OutputStream stream,
                                                      InputStream templatestream)

htmlExecuteQuery

public static void htmlExecuteQuery(KeyValueList querydata,
                                    java.io.PrintStream stream)

htmlExecuteAskQuery

public static void htmlExecuteAskQuery(Cons query,
                                       Cons options,
                                       Module mod,
                                       java.io.PrintStream stream)

htmlExecuteRetrieveQuery

public static void htmlExecuteRetrieveQuery(int nvalues,
                                            Cons variables,
                                            Cons query,
                                            Cons options,
                                            Module mod,
                                            java.io.PrintStream stream)

writeExplanationIcon

public static void writeExplanationIcon(QueryIterator query,
                                        Cons bindings,
                                        java.io.PrintStream stream)

htmlWriteExplanationResponsePage

public static void htmlWriteExplanationResponsePage(java.lang.String modulename,
                                                    java.lang.String query,
                                                    java.io.PrintStream stream)

ploomQueryHandler

public static void ploomQueryHandler(edu.isi.webtools.http.HttpExchange xchg)

vizGetObjectName

public static java.lang.String vizGetObjectName(Stella_Object renamed_Object)

vizDotString

public static java.lang.String vizDotString(java.lang.String name)

vizDotObjectName

public static java.lang.String vizDotObjectName(Stella_Object renamed_Object)

vizExportModuleToFile

public static void vizExportModuleToFile(Module module,
                                         java.lang.String file)

vizExportConceptToFile

public static void vizExportConceptToFile(LogicObject concept,
                                          Module module,
                                          java.lang.String file)

vizServerAvailableP

public static boolean vizServerAvailableP()

vizServerExportModule

public static void vizServerExportModule(Module module,
                                         OutputStream out)

vizServerExportConcept

public static void vizServerExportConcept(LogicObject concept,
                                          Module module,
                                          OutputStream out)

vizServerExportObject

public static java.lang.String vizServerExportObject(Stella_Object renamed_Object,
                                                     Module module)

helpVizServerExportObject

public static java.lang.String helpVizServerExportObject(Stella_Object renamed_Object,
                                                         Module module)

vizServerHandler

public static void vizServerHandler(edu.isi.webtools.http.HttpExchange xchg)

vizServerServeImage

public static void vizServerServeImage(edu.isi.webtools.http.HttpExchange xchg,
                                       Stella_Object renamed_Object,
                                       Module module)

vizServerServeImagePlusMap

public static void vizServerServeImagePlusMap(edu.isi.webtools.http.HttpExchange xchg,
                                              Stella_Object renamed_Object,
                                              Module module)

parseShellCommand

public static java.lang.String[] parseShellCommand(Stella_Object command)

executeShellCommand

public static int executeShellCommand(Stella_Object command,
                                      java.lang.String directory,
                                      InputStream input,
                                      OutputStream output,
                                      OutputStream error)

Run command in a shell and return its exit status. If directory is non-NULL, run it in that directory; if input is defined, feed commands standard input from that stream; if output and/or error are defined, copy commands standard output/ error to those streams. It is the responsibility of the caller to close the supplied streams (if any) and do any shell error handling based on exit status or error output.

Parameters:

command -

directory -

input -

output -

error -

Returns:

int

shellCommand

public static StringWrapper shellCommand(Stella_Object command,
                                         Cons options)

User-level command interface to executeShellCommand (which see). Runs command and returns its output (if any) as a string. If the shell created a non-zero exit status or generated any error output, an exception will be raised. If command was a string, split it at spaces to determine its arguments (this is not sophisticated and does not handle quoting correctly). For more complex commands, supply them as a list of strings representing the program and its arguments. If any shell-level operations such as redirection are needed, use the shCCmd idiom. If :input is supplied as a non-null string, feed it to commands standard input. If :directory is given, execute command in that directory.

Parameters:

command -

options -

Returns:

StringWrapper

shellCommandEvaluatorWrapper

public static StringWrapper shellCommandEvaluatorWrapper(Cons arguments)