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 java.lang.String	$CONTROL_BACKGROUND_COLOR$
static LogicObject	$DOCUMENTATION_RELATION$
static java.lang.String	$ERROR_BACKGROUND_COLOR$
static java.lang.String	$FORM_BACKGROUND_COLOR$
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 boolean	$HTML_GRAPH_AVAILABLEp$ Set by the server implementation to true if html graphing is available.
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_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 Keyword	KWD_AND
static Keyword	KWD_CASE_INSENSITIVE
static Keyword	KWD_CONCEPT
static Keyword	KWD_CONSTANT
static Keyword	KWD_CONTEXT
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_IMPLIES
static Keyword	KWD_INSTANCE
static Keyword	KWD_ISA
static Keyword	KWD_MODULE
static Keyword	KWD_NOT
static Keyword	KWD_OBJECT
static Keyword	KWD_OR
static Keyword	KWD_PREDICATE
static Keyword	KWD_PREORDER
static Keyword	KWD_QUERY
static Keyword	KWD_REGEX
static Keyword	KWD_RELATION
static Keyword	KWD_SUBSTRING
static Keyword	KWD_WILDCARD
static KeyValueList	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_STELLA_COLLECTION
static Surrogate	SGT_STELLA_CONS
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_SYMBOL
static Surrogate	SGT_STELLA_THING
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_ONTOSAURUS_PPRINT_ATOMIC_OBJECT_FOR_HTML
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_TOP_WINDOW
static Symbol	SYM_STELLA_CODE_ONLYp
static Symbol	SYM_STELLA_EXISTS
static Symbol	SYM_STELLA_FORALL
static Symbol	SYM_STELLA_METHOD_STARTUP_CLASSNAME
static Symbol	SYM_STELLA_NAMESPACEp

Constructor Summary

OntosaurusUtil()

Method Summary

static Cons	childModules(Module module)
static void	collectFreeVariablesFromCons(Stella_Object form, List collection, List quantifiedvars)
static boolean	currentEditLockP()
static boolean	edittingAllowedP()
static boolean	edittingPossibleP()
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 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, Module mod, java.io.PrintStream stream)
static void	htmlExecuteQuery(KeyValueList querydata, java.io.PrintStream stream)
static void	htmlExecuteRetrieveQuery(int nvalues, Cons variables, Cons query, 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	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	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 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	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 boolean	shortTermP(Stella_Object arg)
static Cons	sortedContexts()
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	writePowerloomTrailer(java.io.PrintStream stream)
static void	writeTheorySection(java.io.PrintStream stream)
static void	writeTopSection(java.io.PrintStream stream)

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$

$HTML_GRAPH_AVAILABLEp$

public static boolean $HTML_GRAPH_AVAILABLEp$

Set by the server implementation to true if html graphing is available.

$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

SYM_ONTOSAURUS_STARTUP_HTML_UTILITIES

public static Symbol SYM_ONTOSAURUS_STARTUP_HTML_UTILITIES

REUSABLE_SKOLEM_MAPPING_TABLE

public static KeyValueList 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

KWD_EQUIVALENT

public static Keyword KWD_EQUIVALENT

KWD_PREDICATE

public static Keyword KWD_PREDICATE

KWD_ISA

public static Keyword KWD_ISA

KWD_AND

public static Keyword KWD_AND

KWD_OR

public static Keyword KWD_OR

KWD_FUNCTION

public static Keyword KWD_FUNCTION

KWD_NOT

public static Keyword KWD_NOT

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

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$

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

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$

SYM_STELLA_CODE_ONLYp

public static Symbol SYM_STELLA_CODE_ONLYp

SYM_STELLA_NAMESPACEp

public static Symbol SYM_STELLA_NAMESPACEp

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")

SYM_STELLA_FORALL

public static Symbol SYM_STELLA_FORALL

SYM_STELLA_EXISTS

public static Symbol SYM_STELLA_EXISTS

SYM_LOGIC_ALL

public static Symbol SYM_LOGIC_ALL

SYM_ONTOSAURUS_STARTUP_GENERAL_QUERY

public static Symbol SYM_ONTOSAURUS_STARTUP_GENERAL_QUERY

SYM_ONTOSAURUS_STARTUP_ONTOSAURUS_SYSTEM

public static Symbol SYM_ONTOSAURUS_STARTUP_ONTOSAURUS_SYSTEM

Constructor Detail

OntosaurusUtil

public OntosaurusUtil()

Method Detail

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,