edu.isi.powerloom.logic
Class LogicObject

java.lang.Object
  edu.isi.stella.Stella_Object
      edu.isi.stella.StandardObject
          edu.isi.stella.ContextSensitiveObject
              edu.isi.powerloom.logic.LogicObject

Direct Known Subclasses:

Description, Skolem, TruthValue

public class LogicObject
extends ContextSensitiveObject

Object with propositions, and possibly a variable value.

Field Summary

BacklinksIndex	dependentPropositionsIndex
KeyValueList	dynamicSlots
Surrogate	surrogateValueInverse
Stella_Object	variableValueInverse

Fields inherited from class edu.isi.stella.ContextSensitiveObject

homeContext

Constructor Summary

LogicObject()

Method Summary

static Stella_Object	accessLogicObjectSlotValue(LogicObject self, Symbol slotname, Stella_Object value, boolean setvalueP)
static void	addIsaLink(LogicObject instance, Description superdescription)
static Iterator	allDirectSubcollections(LogicObject self, boolean performfilteringP)
static Iterator	allDirectSubcollectionsWithEquivalents(LogicObject self)
static Iterator	allDirectSupercollections(LogicObject self, boolean performfilteringP)
static Iterator	allDirectSupercollectionsWithEquivalents(LogicObject self)
static Cons	allEquivalentCollections(LogicObject self, boolean reflexiveP)
static List	allInferableDirectSubcollections(LogicObject self)
static Cons	allSlotValues(LogicObject self, Surrogate relation) Return a set of values for the slot 'relation' (a surrogate) applied to 'self' (an object).
static Cons	allSlotValueTypes(LogicObject self, Surrogate relation) Return a set of the most specific types for fillers of the slot 'relation' applied to 'self'.
static Iterator	allSubcollections(LogicObject self)
static Iterator	allSupercollections(LogicObject self)
static Cons	allSupportedNamedSubcollections(LogicObject self)
static Cons	applicableRulesOfDescription(LogicObject self, Keyword direction, boolean truerulesonlyP)
static Proposition	assertProperty(LogicObject instance, Surrogate property)
BooleanWrapper	badP()
static void	bindToEquivalentValue(LogicObject from, Description to)
static void	buildCaseFromInstance(LogicObject inst, Surrogate kind)
static boolean	cheapEmptyTermP(LogicObject self)
static boolean	collectionImpliesCollectionP(LogicObject subcollection, LogicObject supercollection)
static void	collectSubsumingParentsBelow(LogicObject self, Description renamed_Super, List newparentdescriptions, MarkerTable alreadyvisitedtable, MarkerTable selfisbelowtable, java.lang.reflect.Method subsumptiontest)
static NamedDescription	conceptPrototypeOf(LogicObject self)
static boolean	conceptPrototypeP(LogicObject self)
boolean	deletedP() Default deletedP method which always returns FALSE.
boolean	deletedPSetter(boolean value)
static boolean	derivePartitionMembershipsP(LogicObject self)
static void	destroyTerm(LogicObject self) Destroy all propositions that reference 'self', and mark it as 'deleted?', thereby making it invisible within class extensions.
static int	downclassificationTimestamp(LogicObject self)
static boolean	downclassifiedP(LogicObject self)
static void	downclassifyOneDescription(LogicObject self)
List	elaboratedInWorlds()
static void	equivalenceCollections(LogicObject collection1, LogicObject collection2)
static int	equivalentCollectionPriority(LogicObject self)
static Stella_Object	evaluateLogicObjectTerm(LogicObject self)
static void	evaluateReachableInequalities(LogicObject self, List visitedlist)
static Cons	evaluateRemainingArguments(LogicObject predicatevalue, Cons arguments)
static boolean	expensiveEmptyTermP(LogicObject self)
static boolean	filterInstanceP(LogicObject self, AllPurposeIterator iterator)
static Stella_Object	generateCaseBasedAnswer(LogicObject probe, Surrogate slot, List cases)
static Stella_Object	generateExpression(LogicObject self, boolean canonicalizevariablenamesP) Return an s-expression representing the source expression for 'self'.
static Cons	getMostSpecificClasses(LogicObject instance)
static int	getSlotMaximumCardinality(LogicObject self, Surrogate relation) Return a maximum value for the number of fillers of relation 'relation' (a surrogate) applied to the instance 'self' (an object).
static int	getSlotMinimumCardinality(LogicObject self, Surrogate relation) Return a minimum value for the number of fillers of relation 'relation' (a surrogate) applied to the instance 'self' (an object).
static Stella_Object	getSlotValue(LogicObject self, Surrogate relation) Return a single value for the slot 'relation' (a surrogate) applied to 'self' (an object).
static NamedDescription	getSlotValueType(LogicObject self, Surrogate relation) Return a most specific type for fillers of the slot 'relation' (a surrogate) applied to 'self'.
static Cons	helpAllSupportedNamedSubcollections(LogicObject self)
static boolean	helpCollectParentsBelowP(LogicObject self, Description renamed_Super, List newparentdescriptions, MarkerTable alreadyvisitedtable, MarkerTable selfisbelowtable, java.lang.reflect.Method subsumptiontest)
static void	helpDerivePartitionMemberships(LogicObject self, LogicObject renamed_Super, List tuples)
static void	helpDownclassifyOneDescription(LogicObject node, LogicObject self, Cons necessaryancestors, MarkerTable alreadyvisitedtable)
static void	helpUpclassifyOneEntity(LogicObject self, Keyword instanceordescription)
int	introductionTimestamp()
static void	logicObjectDinheritUnnamedDescription(LogicObject instance, Description description, boolean defaulttrueP)
static void	logLogicObject(LogicObject self)
void	markAsIncoherent()
static FloatWrapper	matchInstances(LogicObject x, LogicObject y)
static boolean	namedCollectionP(LogicObject self)
static LogicObject	newLogicObject()
static boolean	nonPolymorphicPredicateP(LogicObject self)
static boolean	objectNameLessThanP(LogicObject o1, LogicObject o2)
Surrogate	primaryType() Returns the primary type of self.
static void	printKifLogicObject(LogicObject self)
static void	printLogicObject(LogicObject self, OutputStream stream, boolean toplevelP)
void	printObject(java.io.PrintStream stream)
void	processDefinitionOptions(Stella_Object options)
static void	refreshDownclassificationTimestamp(LogicObject self)
static void	removeAllDependentPropositionLinks(LogicObject self)
static void	retractFactsOfInstance(LogicObject self) Retract all definite (TRUE or FALSE) propositions attached to self.
static Proposition	retractProperty(LogicObject instance, Surrogate property)
static boolean	testSlotValueP(LogicObject self, Surrogate relation, Stella_Object filler) Return TRUE if the proposition '(<relation> <self> <filler>)' is true.
static void	unbindEquivalentValue(LogicObject self)
static void	unlinkEquivalentValue(LogicObject self)
static boolean	upclassifiedLaterThanP(LogicObject self, LogicObject other)
static void	upclassifyOneDescription(LogicObject self)
static void	upclassifyOneInstance(LogicObject self)
static Proposition	updateProperty(LogicObject self, Surrogate surrogate, Keyword updatemode)
Cons	variableValueInverse()
static boolean	visibleTermP(LogicObject term, Context context, boolean localP)

Methods inherited from class edu.isi.stella.ContextSensitiveObject

homeModule

Methods inherited from class edu.isi.stella.StandardObject

arrayTypeSpecifierP, baseTypeToTypeSpec, cantOverwriteActiveCollectionSlot, compatibleParameterTypesP, computeAnchoredTypeSpec, computeRelativeTypeSpec, conformingTypeSpecP, copyWrappedLiteral, cppReferenceTypeP, cppReferencizeType, cppTranslateAndPointerizeTypeSpec, cppTranslateAndReferencizeTypeSpec, cppTranslateTypeSpec, dropSlotValue, extractParameterType, extractRequiredArgumentValues, getSlot, hashCode_, idlTranslateTypeSpec, inverseSlotDemon, javaLiteralP, javaNativeLiteralWrapperNames, javaSpecialSetterName, javaTranslateArrayOfTypeSpec, javaTranslateTypeSpec, javaTranslateTypeSpecForFunction, javaTranslateTypeSpecHelper, javaYieldClassObjectArrayExpression, javaYieldClassObjectExpression, javaYieldFullyQualifiedTypeName, javaYieldTranslatedClassAndMethodNames, listifyTypeSpec, lookupClTypeFromStellaType, objectEqlP, putSlotValue, readSlotValue, runConstructorDemons, runDestructorDemons, runSlotDemons, runSlotGuardDemonsP, standardObjectP, subTypeSpecOfP, twoArgumentLeastCommonSupertype, typeSpecToBaseType, typeSpecToClass, typeToWalkedNullValueTree, validateTypeSpecifier, voidP, walkTypeSpecIsNativeTypeP, writeSlotValue, yieldTypeSpecTree

Methods inherited from class edu.isi.stella.Stella_Object

_, accessInContext, amPm, anchoredTypeSpecifierP, andOrNotTreeP, applyCoercionMethod, atomicExpressionP, bindToSurrogateP, booleanP, bootstrapIsaP, bquotify, cast, characterP, clTranslateAtomicTree, clTranslateATree, clTranslateBooleanTest, clTranslatePlainBooleanTest, clTranslateVerbatimBodySymbols, clYieldTypedExpressionTree, coerceATree, coerceEvaluatedTree, coerceMvTree, coerceToBoolean, coerceToModule, coerceToModuleName, coerceToSymbol, coerceToXmlElement, coercibleP, collectFeatureList, collectKeyValueList, commonLispSymbolP, computeExpressionType, cons, consify, consifyListsAndIterators, consP, consTreeMatchP, convertToLiteral, copyConsTree, cppArgumentIsStreamP, cppBinaryOperatorP, cppBlockP, cppMaybeOutputStatementWithParentheses, cppOperatorP, cppOutputAtomicExpression, cppOutputLiteral, cppOutputOneActualParameter, cppOutputStatement, cppOutputTypedEntity, cppPrognifyStatement, cppPrognP, cppStatementToList, cppStreamIsStandardOutputP, cpptrans, cppTranslateAtomicTree, cppTranslateATree, cppTranslatedArrayTypeP, csValueP, dateDivider, dateTimeDivider, day, dealWithAmPm, dealWithEra, dealWithNoonMidn, decrementReferenceCount, defaultOptionHandler, defineSystem, defmodule, describe, describeObject, describeTersely, destructureMethodNameTree, deUglifyParseTree, either, eqlP, eqlToBooleanP, eqlToCharacterP, eqlToFloatP, eqlToIntegerP, eqlToStringP, equalConsTreesP, equalHashCode, equalP, era, estimatedEvaluationCost, evaluate, evaluateArgumentTree, evaluateAtomicTree, evaluateCommand, expandBquoteTree, filterModuleP, floatP, free, get, getObject, hashlist, hashMemoizedArguments, helpBquotify, helpClTranslateATree, helpCoerceATree, helpLptrans, helpPrintOutline, helpTransformBooleanProceduralExpression, helpWalkATree, hour, idlOutputAtomicExpression, idlOutputLiteral, idlOutputStatement, idlTranslateAtomicTree, idlTranslateATree, illegalTreeP, implodePathname, incrementallyTranslate, incrementReferenceCount, inlineUnwrapBoolean, inlineWrapBoolean, inModule, integerP, isaP, javaBinaryOperatorP, javaBlockP, javaEndOfLineTokenP, javaHelpOutputPrintStream, javaMaybeOutputStatementWithParentheses, javaOperatorP, javaOutputLiteral, javaOutputStatement, javaPrognP, javaStreamIsStandardOutputP, javaSymbolCaseP, javaTranslateAtomicTree, javaTranslateATree, javaTranslateWithNativeWrapper, jptrans, keywordP, kvCons, legalTokenizerFromStateP, legalTokenizerStateP, legalTokenizerToStateP, literalEqlP, logLevelLE, lptrans, makeFileNameFromRelativePath, makeMemoizedValueEntry, makeMemoizedValueEntryn, matchConsTree, methodSlotP, minute, month, nameToString, nilP, noonMidn, numberWrapperToFloat, objectEqualP, objectHashCode, one, oneI, onlyIf, parametricTypeSpecifierP, parseArrayDimensionsSpec, parseTokenizerCharacterSpec, parseTokenizerStateModifiers, permanentCopy, permanentify, permanentifyForm, po, prettyPrintLiteral, primaryClass, printOutline, printStellaCode, printStellaDefinition, printUndefinedSuperClasses, proceduralExpressionP, ptrans, publicSlots, registerRecycledItem, runOptionHandlerP, safeEqualHashCode, safeHashCode, safePrimaryType, safeYieldTypeSpecifier, searchConsTreeP, searchConsTreeWithFilterP, searchForObject, secondp, sideEffectFreeExpressionP, simplifyBquoteTree, specialp, stella_Increment, stellaClassP, stellaCollectionP, stellaNeedToCompileP, stellaNeedToTranslateP, stellaObjectP, stellify, storageSlotP, stringifyInModule, stringP, substituteConsTree, substituteOnce, surrogateP, surrogatify, sweep, symbolCaseP, symbolP, sysTree, targetLanguageType, taxonomyIsaP, timeDivider, timeMultiply, tokenizerIncludeSpecP, tokenizerToStateAlias, tokenizerToStateName, toString, traceIf, traceKeywordP, transientifyForm, transientObjectP, transientSymbolP, translateWalkedTree, treeSize, treeToTrees, trueOptionP, tryToEvaluate, typeP, typify, unmake, unregisterRecycledItem, updateInContext, valuesTreeP, variableExpressionP, verbatimStringP, verbatimTreeP, vetOptions, vrletExpressionP, walkAtomicTree, walkATree, walkCollectionTree, walkDontCallMeTree, walkedExpressionType, walkExpressionTree, walkMvExpressionTree, walkMvTree, walkStatement, walkTopLevelExpression, walkWithoutTypeTree, warnAboutUnknownSourceType, weekday, withinContext, withinModule, withinWorld, withStellaTokenizer, withSystemDefinition, withTokenizer, wrapperP, wrapWhereTest, xmlAttributeP, xmlCdataFormP, xmlCdataP, xmlDeclarationFormP, xmlDeclarationP, xmlDoctypeFormP, xmlElementFormP, xmlElementP, xmlnsAttributeP, xmlProcessingInstructionFormP, xmlProcessingInstructionP, xmlTagCase, year, yieldCondTest, yieldCondTestOrTests, yieldHardcodedCaseSymbolIdOrIds, yieldInCursorClausesForArgumentList, yieldInCursorClausesForGeneralCollection, yieldInCursorClausesForVector, yieldTypeSpecifier, zone, zoneMinute

Methods inherited from class java.lang.Object

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

Field Detail

variableValueInverse

public Stella_Object variableValueInverse

surrogateValueInverse

public Surrogate surrogateValueInverse

dynamicSlots

public KeyValueList dynamicSlots

dependentPropositionsIndex

public BacklinksIndex dependentPropositionsIndex

Constructor Detail

LogicObject

public LogicObject()

Method Detail

newLogicObject

public static LogicObject newLogicObject()

filterInstanceP

public static boolean filterInstanceP(LogicObject self,
                                      AllPurposeIterator iterator)

visibleTermP

public static boolean visibleTermP(LogicObject term,
                                   Context context,
                                   boolean localP)

allSlotValueTypes

public static Cons allSlotValueTypes(LogicObject self,
                                     Surrogate relation)

Return a set of the most specific types for fillers of the slot 'relation' applied to 'self'.

Parameters:

self -

relation -

Returns:

Cons

getSlotValueType

public static NamedDescription getSlotValueType(LogicObject self,
                                                Surrogate relation)

Return a most specific type for fillers of the slot 'relation' (a surrogate) applied to 'self'. If there is more than one, pick one.

Parameters:

self -

relation -

Returns:

NamedDescription

getSlotMaximumCardinality

public static int getSlotMaximumCardinality(LogicObject self,
                                            Surrogate relation)

Return a maximum value for the number of fillers of relation 'relation' (a surrogate) applied to the instance 'self' (an object).

Parameters:

self -

relation -

Returns:

int

getSlotMinimumCardinality

public static int getSlotMinimumCardinality(LogicObject self,
                                            Surrogate relation)

Return a minimum value for the number of fillers of relation 'relation' (a surrogate) applied to the instance 'self' (an object).

Parameters:

self -

relation -

Returns:

int

testSlotValueP

public static boolean testSlotValueP(LogicObject self,
                                     Surrogate relation,
                                     Stella_Object filler)

Return TRUE if the proposition '(<relation> <self> <filler>)' is true.

Parameters:

self -

relation -

filler -

Returns:

boolean

getSlotValue

public static Stella_Object getSlotValue(LogicObject self,
                                         Surrogate relation)

Return a single value for the slot 'relation' (a surrogate) applied to 'self' (an object).

Parameters:

self -

relation -

Returns:

Stella_Object

allSlotValues

public static Cons allSlotValues(LogicObject self,
                                 Surrogate relation)

Return a set of values for the slot 'relation' (a surrogate) applied to 'self' (an object).

Parameters:

self -

relation -

Returns:

Cons

processDefinitionOptions

public void processDefinitionOptions(Stella_Object options)

allEquivalentCollections

public static Cons allEquivalentCollections(LogicObject self,
                                            boolean reflexiveP)

downclassifyOneDescription

public static void downclassifyOneDescription(LogicObject self)

helpDownclassifyOneDescription

public static void helpDownclassifyOneDescription(LogicObject node,
                                                  LogicObject self,
                                                  Cons necessaryancestors,
                                                  MarkerTable alreadyvisitedtable)

upclassifyOneDescription

public static void upclassifyOneDescription(LogicObject self)

upclassifyOneInstance

public static void upclassifyOneInstance(LogicObject self)

helpUpclassifyOneEntity

public static void helpUpclassifyOneEntity(LogicObject self,
                                           Keyword instanceordescription)

collectSubsumingParentsBelow

public static void collectSubsumingParentsBelow(LogicObject self,
                                                Description renamed_Super,
                                                List newparentdescriptions,
                                                MarkerTable alreadyvisitedtable,
                                                MarkerTable selfisbelowtable,
                                                java.lang.reflect.Method subsumptiontest)

helpCollectParentsBelowP

public static boolean helpCollectParentsBelowP(LogicObject self,
                                               Description renamed_Super,
                                               List newparentdescriptions,
                                               MarkerTable alreadyvisitedtable,
                                               MarkerTable selfisbelowtable,
                                               java.lang.reflect.Method subsumptiontest)

downclassifiedP

public static boolean downclassifiedP(LogicObject self)

upclassifiedLaterThanP

public static boolean upclassifiedLaterThanP(LogicObject self,
                                             LogicObject other)

refreshDownclassificationTimestamp

public static void refreshDownclassificationTimestamp(LogicObject self)

downclassificationTimestamp

public static int downclassificationTimestamp(LogicObject self)

introductionTimestamp

public int introductionTimestamp()

allInferableDirectSubcollections

public static List allInferableDirectSubcollections(LogicObject self)

namedCollectionP

public static boolean namedCollectionP(LogicObject self)

addIsaLink

public static void addIsaLink(LogicObject instance,
                              Description superdescription)

logicObjectDinheritUnnamedDescription

public static void logicObjectDinheritUnnamedDescription(LogicObject instance,
                                                         Description description,
                                                         boolean defaulttrueP)

helpAllSupportedNamedSubcollections

public static Cons helpAllSupportedNamedSubcollections(LogicObject self)

allSupportedNamedSubcollections

public static Cons allSupportedNamedSubcollections(LogicObject self)

allSubcollections

public static Iterator allSubcollections(LogicObject self)

allSupercollections

public static Iterator allSupercollections(LogicObject self)

allDirectSubcollectionsWithEquivalents

public static Iterator allDirectSubcollectionsWithEquivalents(LogicObject self)

allDirectSubcollections

public static Iterator allDirectSubcollections(LogicObject self,
                                               boolean performfilteringP)

allDirectSupercollectionsWithEquivalents

public static Iterator allDirectSupercollectionsWithEquivalents(LogicObject self)

allDirectSupercollections

public static Iterator allDirectSupercollections(LogicObject self,
                                                 boolean performfilteringP)

expensiveEmptyTermP

public static boolean expensiveEmptyTermP(LogicObject self)

cheapEmptyTermP

public static boolean cheapEmptyTermP(LogicObject self)

derivePartitionMembershipsP

public static boolean derivePartitionMembershipsP(LogicObject self)

helpDerivePartitionMemberships

public static void helpDerivePartitionMemberships(LogicObject self,
                                                  LogicObject renamed_Super,
                                                  List tuples)

conceptPrototypeP

public static boolean conceptPrototypeP(LogicObject self)

conceptPrototypeOf

public static NamedDescription conceptPrototypeOf(LogicObject self)

generateExpression

public static Stella_Object generateExpression(LogicObject self,
                                               boolean canonicalizevariablenamesP)

Return an s-expression representing the source expression for 'self'.

Parameters:

self -

canonicalizevariablenamesP -

Returns:

Stella_Object

printLogicObject

public static void printLogicObject(LogicObject self,
                                    OutputStream stream,
                                    boolean toplevelP)

printKifLogicObject

public static void printKifLogicObject(LogicObject self)

getMostSpecificClasses

public static Cons getMostSpecificClasses(LogicObject instance)

generateCaseBasedAnswer

public static Stella_Object generateCaseBasedAnswer(LogicObject probe,
                                                    Surrogate slot,
                                                    List cases)

matchInstances

public static FloatWrapper matchInstances(LogicObject x,
                                          LogicObject y)

buildCaseFromInstance

public static void buildCaseFromInstance(LogicObject inst,
                                         Surrogate kind)

retractFactsOfInstance

public static void retractFactsOfInstance(LogicObject self)

Retract all definite (TRUE or FALSE) propositions attached to self.

Parameters:

self -

evaluateReachableInequalities

public static void evaluateReachableInequalities(LogicObject self,
                                                 List visitedlist)

elaboratedInWorlds

public List elaboratedInWorlds()

markAsIncoherent

public void markAsIncoherent()

collectionImpliesCollectionP

public static boolean collectionImpliesCollectionP(LogicObject subcollection,
                                                   LogicObject supercollection)

applicableRulesOfDescription

public static Cons applicableRulesOfDescription(LogicObject self,
                                                Keyword direction,
                                                boolean truerulesonlyP)

removeAllDependentPropositionLinks

public static void removeAllDependentPropositionLinks(LogicObject self)

objectNameLessThanP

public static boolean objectNameLessThanP(LogicObject o1,
                                          LogicObject o2)

destroyTerm

public static void destroyTerm(LogicObject self)

Destroy all propositions that reference 'self', and mark it as 'deleted?', thereby making it invisible within class extensions. Unlink descriptions from native relations.

Parameters:

self -

evaluateRemainingArguments

public static Cons evaluateRemainingArguments(LogicObject predicatevalue,
                                              Cons arguments)

nonPolymorphicPredicateP

public static boolean nonPolymorphicPredicateP(LogicObject self)

retractProperty

public static Proposition retractProperty(LogicObject instance,
                                          Surrogate property)

assertProperty

public static Proposition assertProperty(LogicObject instance,
                                         Surrogate property)

updateProperty

public static Proposition updateProperty(LogicObject self,
                                         Surrogate surrogate,
                                         Keyword updatemode)

evaluateLogicObjectTerm

public static Stella_Object evaluateLogicObjectTerm(LogicObject self)

equivalenceCollections

public static void equivalenceCollections(LogicObject collection1,
                                          LogicObject collection2)

equivalentCollectionPriority

public static int equivalentCollectionPriority(LogicObject self)

unlinkEquivalentValue

public static void unlinkEquivalentValue(LogicObject self)

unbindEquivalentValue

public static void unbindEquivalentValue(LogicObject self)

bindToEquivalentValue

public static void bindToEquivalentValue(LogicObject from,
                                         Description to)

logLogicObject

public static void logLogicObject(LogicObject self)

printObject

public void printObject(java.io.PrintStream stream)

Overrides:

printObject in class Stella_Object

deletedPSetter

public boolean deletedPSetter(boolean value)

deletedP

public boolean deletedP()

Description copied from class: Stella_Object

Default deletedP method which always returns FALSE. Objects that inherit DYNAMIC-SLOTS-MIXIN also inherit the dynamically-allocated slot deletedObjectP which is read/writable with specializations of this method.

Overrides:

deletedP in class Stella_Object

Returns:

boolean

accessLogicObjectSlotValue

public static Stella_Object accessLogicObjectSlotValue(LogicObject self,
                                                       Symbol slotname,
                                                       Stella_Object value,
                                                       boolean setvalueP)

badP

public BooleanWrapper badP()

variableValueInverse

public Cons variableValueInverse()

primaryType

public Surrogate primaryType()

Description copied from class: Stella_Object

Returns the primary type of self. Gets defined automatically for every non-abstract subclass of OBJECT.

Overrides:

primaryType in class Stella_Object

Returns:

Surrogate