|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object edu.isi.ontosaurus.OntosaurusUtil
public class OntosaurusUtil
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 |
---|
public static Symbol SYM_ONTOSAURUS_STARTUP_HTML_MACROS
public static Symbol SYM_STELLA_METHOD_STARTUP_CLASSNAME
public static java.lang.String $ERROR_BACKGROUND_COLOR$
public static java.lang.String $STANDARD_BACKGROUND_COLOR$
public static java.lang.String $MODULE_BACKGROUND_COLOR$
public static java.lang.String $CONTROL_BACKGROUND_COLOR$
public static java.lang.String $ANSWER_BACKGROUND_COLOR$
public static java.lang.String $FORM_BACKGROUND_COLOR$
public static boolean $HTML_GRAPH_AVAILABLEp$
true
if html graphing is available.
public static java.lang.String $HREF_PREFIX_TAG$
htmlWrite3PartHrefInDetail
.
public static java.lang.String $HREF_SUFFIX_TAG$
htmlWrite3PartHrefInDetail
.
public static Surrogate SGT_LOGIC_LOGIC_OBJECT
public static Surrogate SGT_STELLA_MODULE
public static Symbol SYM_ONTOSAURUS_STARTUP_HTML_UTILITIES
public static KeyValueList REUSABLE_SKOLEM_MAPPING_TABLE
public static final StellaSpecialVariable $PPRINT_ATOMIC_OBJECT_RENDERER$
atomic
Stella
objects -- compound objects like Conses, Propositions, etc. are handled
by the outer code.
public static final StellaSpecialVariable $PPRINT_BEFORE_PROPOSITION_FUNCTION$
PROPOSITION
objects.
public static final StellaSpecialVariable $PPRINT_AFTER_PROPOSITION_FUNCTION$
PROPOSITION
objects.
public static final StellaSpecialVariable $PPRINT_BEFORE_DEFINITION_FUNCTION$
DEFINITION
objects.
public static final StellaSpecialVariable $PPRINT_AFTER_DEFINITION_FUNCTION$
DEFINITION
objects.
public static final StellaSpecialVariable $PPRINT_INDENT$
public static Surrogate SGT_STELLA_LITERAL_WRAPPER
public static Surrogate SGT_LOGIC_PATTERN_VARIABLE
public static Surrogate SGT_LOGIC_SKOLEM
public static Surrogate SGT_LOGIC_LOGIC_THING
public static Surrogate SGT_STELLA_THING
public static Surrogate SGT_STELLA_MUTABLE_STRING_WRAPPER
public static Surrogate SGT_LOGIC_NAMED_DESCRIPTION
public static Surrogate SGT_LOGIC_PROPOSITION
public static Surrogate SGT_LOGIC_DESCRIPTION
public static Surrogate SGT_STELLA_COLLECTION
public static Surrogate SGT_STELLA_CONS
public static Keyword KWD_EQUIVALENT
public static Keyword KWD_PREDICATE
public static Keyword KWD_ISA
public static Keyword KWD_AND
public static Keyword KWD_OR
public static Keyword KWD_FUNCTION
public static Keyword KWD_NOT
public static Keyword KWD_FAIL
public static Keyword KWD_CONSTANT
public static Keyword KWD_EXISTS
public static Symbol SYM_LOGIC_IO_VARIABLES
public static Keyword KWD_FORALL
public static Keyword KWD_IMPLIES
public static Symbol SYM_LOGIC_COMPLEMENT_DESCRIPTION
public static Symbol SYM_LOGIC_FORWARD_ONLYp
public static Surrogate SGT_STELLA_SYMBOL
public static Symbol SYM_ONTOSAURUS_STARTUP_NEW_PPRINT
public static Surrogate SGT_STELLA_GENERALIZED_SYMBOL
public static final StellaSpecialVariable $ONTOSAURUS_URL_ACTION$
public static Symbol SYM_ONTOSAURUS_STARTUP_HTML_PPRINT
public static Symbol SYM_ONTOSAURUS_STARTUP_CONTROL_PANEL_SCRIPT
public static Keyword KWD_CONCEPT
public static Keyword KWD_RELATION
public static Keyword KWD_CONTEXT
public static Keyword KWD_INSTANCE
public static Keyword KWD_QUERY
public static Keyword KWD_OBJECT
public static Keyword KWD_PREORDER
public static LogicObject $IMAGE_URL_RELATION$
public static LogicObject $DOCUMENTATION_RELATION$
public static Keyword KWD_MODULE
public static Keyword KWD_EXACT
public static Keyword KWD_CASE_INSENSITIVE
public static Keyword KWD_SUBSTRING
public static Keyword KWD_WILDCARD
public static Keyword KWD_REGEX
public static Symbol SYM_ONTOSAURUS_PPRINT_ATOMIC_OBJECT_FOR_HTML
public static Symbol SYM_ONTOSAURUS_STARTUP_HTML_DESCRIBE_OBJECT
public static java.lang.String $POWERLOOM_REFERENCE_MANUAL_URL$
public static Symbol SYM_STELLA_CODE_ONLYp
public static Symbol SYM_STELLA_NAMESPACEp
public static Symbol SYM_ONTOSAURUS_STARTUP_TOP_WINDOW
public static final StellaSpecialVariable $PRESET_QUERIES$
public static Symbol SYM_STELLA_FORALL
public static Symbol SYM_STELLA_EXISTS
public static Symbol SYM_LOGIC_ALL
public static Symbol SYM_ONTOSAURUS_STARTUP_GENERAL_QUERY
public static Symbol SYM_ONTOSAURUS_STARTUP_ONTOSAURUS_SYSTEM
Constructor Detail |
---|
public OntosaurusUtil()
Method Detail |
---|
public static void htmlLineBreak(java.io.PrintStream stream)
public static void htmlWriteUrlInDetail(java.io.PrintStream stream, java.lang.String action, java.lang.String objecttype, java.lang.String contextname, java.lang.String objectname)
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)
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)
public static void htmlWriteHref(java.io.PrintStream stream, java.lang.String action, java.lang.String objecttype, StandardObject renamed_Object)
public static void htmlWriteUrl(java.io.PrintStream stream, java.lang.String action, StandardObject renamed_Object)
public static void htmlWriteJavascript(java.io.PrintStream stream, java.lang.String js)
public static void htmlWriteHeaderWithTable(java.io.PrintStream stream, java.lang.String title, java.lang.String head)
public static void writeBookmarkIcon(LogicObject instance, java.io.PrintStream stream)
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)
public static void htmlDisplayStringInParagraphs(java.lang.String s, java.io.PrintStream stream)
public static void writePowerloomTrailer(java.io.PrintStream stream)
public static void pprintNewline(java.io.PrintStream stream)
public static void pprintAtomicObject(Stella_Object self, java.io.PrintStream stream)
public static void pprintLiteralWrapper(LiteralWrapper self, java.io.PrintStream stream)
public static boolean pprintAsAtomicObjectP(Stella_Object self)
public static void pprintCompositeObject(Stella_Object self, java.io.PrintStream stream)
public static void pprintObject(Stella_Object self, java.io.PrintStream stream)
public static void pprintArguments(Vector arguments, boolean separatelinesP, boolean omitlastargumentP, java.io.PrintStream stream)
public static boolean shortTermP(Stella_Object arg)
public static void pprintOperatorWithArguments(java.lang.String operatorname, Vector arguments, boolean separatelinesP, boolean omitlastargumentP, java.io.PrintStream stream)
public static void pprintRelationProposition(Proposition self, java.io.PrintStream stream)
public static void pprintFunctionTerm(Proposition self, java.io.PrintStream stream)
public static void pprintFunctionProposition(Proposition self, java.io.PrintStream stream)
public static void pprintProposition(Proposition self, java.io.PrintStream stream)
public static void pprintQuantifiedVariables(Vector variables, boolean includetypesP, java.io.PrintStream stream)
public static void pprintNamedDescription(NamedDescription self, java.io.PrintStream stream)
public static void pprintDescription(Description self, java.io.PrintStream stream)
public static void pprintDescriptionBody(Description description, java.io.PrintStream stream)
public static void pprintNamedDescriptionsAsRule(NamedDescription head, NamedDescription tail, java.lang.String operatorprefix, java.io.PrintStream stream)
public static void helpPprintDescriptionsAsRule(Description desc, java.io.PrintStream stream)
public static void pprintDescriptionsAsRule(Description head, Description tail, Proposition rule, java.io.PrintStream stream)
public static void pprintImpliesProposition(Proposition self, java.io.PrintStream stream)
public static void pprintStellaCollection(Collection self, java.io.PrintStream stream)
public static void pprintStellaCons(Cons self, java.io.PrintStream stream)
public static void pprintDefinition(Cons self, boolean hasvariablesP, java.io.PrintStream stream)
public static void pprintAtomicObjectForHtmlDefinition(Stella_Object self, java.io.PrintStream stream)
public static void pprintAtomicObjectForHtml(Stella_Object self, java.io.PrintStream stream)
public static void pprintLiteralWrapperForHtml(LiteralWrapper self, java.io.PrintStream stream)
public static java.lang.String logicObjectDisplayType(LogicObject obj)
public static void printOntosaurusUrl(LogicObject theObject, java.io.PrintStream nativestream)
theObject
- nativestream
- public static void writeControlPanelScript(java.io.PrintStream stream)
public static java.lang.String lookupTerm(Keyword term, boolean capitalizedP, boolean pluralP)
public static java.lang.String safeObjectNameString(LogicObject instance)
public static void htmlDescribeLocation(LogicObject self, java.io.PrintStream stream)
public static void htmlWriteContextViewOption(java.io.PrintStream stream, java.lang.String objectname, Module ctx)
public static void htmlDescribeContextView(LogicObject self, java.io.PrintStream stream)
public static void htmlDisplayImages(StandardObject self, java.io.PrintStream stream)
public static void htmlDisplayDocumentation(StandardObject self, java.io.PrintStream stream)
public static void htmlDisplaySynonyms(Stella_Object self, java.io.PrintStream stream)
public static void htmlDescribeEquivalents(java.lang.String title, java.lang.String head, NamedDescription relation, java.io.PrintStream stream, boolean ruleP)
public static void htmlDescribeOneSubLevel(NamedDescription renamed_Object, int depth, int cutoff, java.io.PrintStream stream)
public static void htmlDescribeSubs(java.lang.String title, java.lang.String head, NamedDescription relation, java.io.PrintStream stream, boolean ruleP)
public static void htmlDescribeOneSuperLevel(Cons directsupers, HashTable alreadyoutput, java.io.PrintStream stream)
public static void htmlDescribeSupers(java.lang.String title, java.lang.String head, NamedDescription relation, java.io.PrintStream stream, boolean ruleP)
public static void htmlDescribeTypes(java.lang.String title, java.lang.String head, LogicObject relation, java.io.PrintStream stream, boolean ruleP)
public static void htmlDescribeOneParentWithSiblings(NamedDescription parent, NamedDescription child, java.io.PrintStream stream)
public static boolean hasChildOtherThanP(NamedDescription parent, NamedDescription child)
public static void htmlDescribeSiblings(java.lang.String title, java.lang.String head, NamedDescription relation, java.io.PrintStream stream, boolean ruleP)
public static void htmlDescribeRules(java.lang.String title, java.lang.String head, LogicObject relation, java.io.PrintStream stream, boolean ruleP)
public static void htmlDescribeFacts(java.lang.String title, java.lang.String head, LogicObject relation, java.io.PrintStream stream, boolean filterRulesP, boolean ruleP)
public static void htmlDescribeInstances(java.lang.String title, java.lang.String head, NamedDescription relation, java.io.PrintStream stream, boolean ruleP)
public static void htmlDescribeTuples(java.lang.String title, java.lang.String head, NamedDescription relation, java.io.PrintStream stream, boolean ruleP)
public static void htmlDescribeNamedDescription(NamedDescription concept, java.io.PrintStream stream)
public static void htmlDescribeInstance(LogicObject instance, java.io.PrintStream stream)
public static Cons childModules(Module module)
public static void htmlDescribeOneModuleSubLevel(Module module, int depth, int cutoff, java.io.PrintStream stream)
public static void htmlDescribeModuleSubs(java.lang.String title, java.lang.String head, Module module, java.io.PrintStream stream, boolean ruleP)
public static void htmlDescribeOneModuleSuperLevel(Module module, HashTable alreadyoutput, java.io.PrintStream stream)
public static void htmlDescribeModuleSupers(java.lang.String title, java.lang.String head, Module module, java.io.PrintStream stream, boolean ruleP)
public static void htmlDisplayModuleStats(java.lang.String title, java.lang.String head, Module module, java.io.PrintStream stream, boolean ruleP)
public static void htmlDescribeModule(Module module, java.io.PrintStream stream)
public static void htmlUnknownModuleResponse(Keyword itemtype, java.lang.String itemname, java.lang.String modulename, java.io.PrintStream stream)
public static void htmlUnknownObjectResponse(Keyword itemtype, java.lang.String itemname, java.io.PrintStream stream)
public static void htmlWriteRelationResponsePage(NamedDescription relation, java.io.PrintStream stream)
public static void htmlWriteInstanceResponsePage(LogicObject instance, java.io.PrintStream stream)
public static void htmlWriteObjectResponsePageInternal(Stella_Object renamed_Object, java.io.PrintStream stream)
public static void htmlWriteModuleResponsePageInternal(Module module, java.io.PrintStream stream)
public static void htmlWriteModuleResponsePage(java.lang.String modulename, java.io.PrintStream stream)
public static void htmlWriteObjectResponsePage(java.lang.String modulename, java.lang.String objectname, java.io.PrintStream stream)
public static List findCandidateObjects(java.lang.String objectname, java.lang.String objecttype, Keyword matchtype)
public static LogicObject resolveSynonyms(LogicObject obj)
public static void htmlWriteFindObjectResponsePage(java.lang.String modulename, java.lang.String objectname, java.lang.String objecttype, Keyword matchtype, java.io.PrintStream stream)
public static void htmlWriteMultipleChoicePage(java.lang.String searchstring, List candidateobjects, java.io.PrintStream stream)
public static void htmlPowerloomResponse(java.lang.String action, java.lang.String objecttype, java.lang.String modulename, java.lang.String objectname, java.io.PrintStream stream)
public static boolean savingAllowedP()
public static boolean loadingAllowedP()
public static boolean edittingAllowedP()
public static boolean edittingPossibleP()
public static boolean currentEditLockP()
public static Cons sortedContexts()
public static void serveControlPanelInternal(java.io.PrintStream stream)
public static void writeTheorySection(java.io.PrintStream stream)
public static void writeTopSection(java.io.PrintStream stream)
public static void writeBottomSection(java.io.PrintStream stream)
public static void serveControlPanelNeedsJavascript(java.io.PrintStream stream)
public static void htmlWriteQueryFormPage(java.io.PrintStream stream)
public static void collectFreeVariablesFromCons(Stella_Object form, List collection, List quantifiedvars)
public static void htmlExecuteQuery(KeyValueList querydata, java.io.PrintStream stream)
public static void htmlExecuteAskQuery(Cons query, Module mod, java.io.PrintStream stream)
public static void htmlExecuteRetrieveQuery(int nvalues, Cons variables, Cons query, Module mod, java.io.PrintStream stream)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |