edu.isi.stella
Class StorageSlot

java.lang.Object
  edu.isi.stella.Stella_Object
      edu.isi.stella.StandardObject
          edu.isi.stella.MappableObject
              edu.isi.stella.Relation
                  edu.isi.stella.PolymorphicRelation
                      edu.isi.stella.Slot
                          edu.isi.stella.StorageSlot

public class StorageSlot
extends Slot

Field Summary

boolean	slotComponentP
boolean	slotContextSensitiveP
boolean	slotHardwiredP
boolean	slotReadOnlyP
boolean	slotRequiredP

Fields inherited from class edu.isi.stella.Slot

slotBaseType, slotExternalP, slotMarkedP, slotName, slotOwner, slotPublicP, slotRenamedP, slotSlotref

Fields inherited from class edu.isi.stella.PolymorphicRelation

slotDirectEquivalent

Fields inherited from class edu.isi.stella.Relation

abstractP

Fields inherited from class edu.isi.stella.MappableObject

dynamicSlots

Constructor Summary

StorageSlot()

Method Summary

static Stella_Object	accessStorageSlotSlotValue(StorageSlot self, Symbol slotname, Stella_Object value, boolean setvalueP)
static void	activateSlot(StorageSlot self)
Keyword	allocation() Return the most specific :allocation facet, or :instance if all inherited values are NULL.
int	arity()
static StorageSlot	canonicalSlot(StorageSlot slot)
static boolean	checkForSlotDemonsP(StorageSlot slot)
static boolean	classSlotP(StorageSlot slot)
boolean	componentP() True if fillers of this slot are components of the owner slot, and therefore should be deleted if the owner is deleted.
static StandardObject	computeRealSlotType(StorageSlot slot, StandardObject firstargtype, StandardObject returntype)
StandardObject	computeReturnTypeSpec(StandardObject firstargtype)
boolean	conformingSignaturesP(Slot superslot)
static Cons	cppYieldMemberVarTree(StorageSlot slot, Stella_Class renamed_Class)
static Cons	cppYieldParameterizedMemberVarTree(StorageSlot slot, Stella_Class renamed_Class)
static Cons	cppYieldStaticMemberAllocationTree(StorageSlot slot, Stella_Class renamed_Class)
static void	createAccessorUnitsForMixinSlot(StorageSlot slot, Stella_Class renamed_Class)
static void	createAccessorUnitsForSlot(StorageSlot slot, Stella_Class renamed_Class, boolean mixinaccessorsP, boolean signaturesonlyP)
Stella_Object	defaultForm() Returns the current value of default expression when the slot has not been assigned a value.
void	describeObject(OutputStream stream, Keyword mode) Prints a description of 'self' to stream 'stream'.
static boolean	dynamicSlotP(StorageSlot slot)
boolean	dynamicStorageP()
void	finalizeSlotTypeComputations()
Stella_Object	finishWalkingCallSlotTree(Cons tree, StandardObject firstargtype, java.lang.Object[] MV_returnarray)
static boolean	genericSlotReaderP(StorageSlot slot)
static boolean	genericSlotWriterP(StorageSlot slot)
static Symbol	getSlotClassParameterName(StorageSlot slot)
static boolean	hasNonNullDefaultValueP(StorageSlot slot)
void	helpFinalizeLocalSlot()
static Cons	idlYieldAttributeTree(StorageSlot slot, Stella_Class renamed_Class)
static Cons	idlYieldParameterizedAttributeTree(StorageSlot slot, Stella_Class renamed_Class)
static Cons	idlYieldStaticMemberAllocationTree(StorageSlot slot, Stella_Class renamed_Class)
Stella_Object	initially() Defines the value of a slot before it has been assigned a value.
Stella_Object	initialValue() Return an initial value for self, or null.
static boolean	isContextSensitiveSlotP(StorageSlot slot)
static Cons	javaYieldInstanceVarTree(StorageSlot slot, Stella_Class renamed_Class)
static MethodSlot	lookupOptionHandler(StorageSlot slot)
int	methodArgumentCount()
boolean	methodBodyArgumentP()
boolean	methodVariableArgumentsP()
static boolean	nativeSlotP(StorageSlot slot)
static Stella_Class	nativeStorageSlotHome(StorageSlot slot, Stella_Class renamed_Class)
static StorageSlot	newStorageSlot()
static boolean	parameterSlotP(StorageSlot slot)
void	prettyPrintObject(OutputStream stream)
static void	prettyPrintSlotOptions(StorageSlot slot, OutputStream stream)
Surrogate	primaryType() Returns the primary type of self.
Symbol	reader() Name of a method called to read the value of the slot self.
static boolean	redundantSlotP(StorageSlot slot)
boolean	requiredP() True if a value must be assigned to this slot at creation time.
static boolean	slotAccessMethodP(StorageSlot slot)
Keyword	slotAllocation()
List	slotDemons()
List	slotGuardDemons()
static boolean	slotHasClassParameterTypeP(StorageSlot slot, Stella_Class renamed_Class)
static boolean	slotHasUnknownTypeP(StorageSlot slot, Stella_Class renamed_Class)
static boolean	spaceSaverSlotAllocationP(StorageSlot slot)
static boolean	standardDynamicSlotAccessP(StorageSlot slot)
Stella_Object	systemDefaultValue() Return a default value expression, or if self has dynamic storage, an initial value expression.
static boolean	systemDefinedSlotReaderP(StorageSlot slot)
static boolean	systemDefinedSlotWriterP(StorageSlot slot)
void	unfinalizeLocalSlot()
static Cons	wrapWithDefaultValueAndReturnCode(StorageSlot slot, Stella_Object defaultexpression)
Symbol	writer() Name of a method called to write the value of the slot self.
static Cons	yieldActiveSlotReaderBody(StorageSlot slot, Stella_Object defaultexpression)
static Cons	yieldActiveSlotWriterBody(StorageSlot slot)
static Cons	yieldClosSlotTree(StorageSlot slot)
static Cons	yieldClosSlotTypeTree(StorageSlot slot)
static Cons	yieldContextSensitiveSlotValueSetterTree(StorageSlot slot, Stella_Object objectref, Stella_Object valueref, StandardObject returntype, Cons csoptions, java.lang.Object[] MV_returnarray)
static Cons	yieldContextSensitiveSlotValueTree(StorageSlot slot, Stella_Object objectref, StandardObject returntype, Cons csoptions, java.lang.Object[] MV_returnarray)
static Cons	yieldDynamicSlotValueSetterTree(StorageSlot slot, Stella_Object objectref, Stella_Object valueref, StandardObject returntype)
static Cons	yieldDynamicSlotValueTree(StorageSlot slot, Stella_Object objectref, StandardObject returntype)
static Cons	yieldHardwiredSlotReaderBody(StorageSlot slot, java.lang.Object[] MV_returnarray)
static Symbol	yieldHardwiredSlotVariable(StorageSlot slot)
static Cons	yieldInitialValueAssignment(StorageSlot slot, Keyword mode)
static Stella_Object	yieldInitialValueExpression(StorageSlot slot)
static Symbol	yieldMixinSlotReaderName(StorageSlot slot)
static Cons	yieldMixinSlotReaderTree(StorageSlot slot)
static Symbol	yieldMixinSlotWriterName(StorageSlot slot)
static Cons	yieldMixinSlotWriterTree(StorageSlot slot)
static Symbol	yieldNativeSlotReaderName(StorageSlot slot)
static Cons	yieldNativeSlotReaderTree(StorageSlot slot, Stella_Class renamed_Class)
static Cons	yieldNativeSlotValueSetterTree(StorageSlot slot, Stella_Object objectref, StandardObject objecttype, Stella_Object valueref)
static Cons	yieldNativeSlotValueTree(StorageSlot slot, Stella_Object objectref, StandardObject objecttype)
static Symbol	yieldNativeSlotWriterName(StorageSlot slot)
static Cons	yieldNativeSlotWriterTree(StorageSlot slot, Stella_Class renamed_Class)
static Cons	yieldSlotReaderTree(StorageSlot slot, Stella_Class renamed_Class)
static Stella_Object	yieldSlotTypeTree(StorageSlot slot)
static Cons	yieldSlotValueSetterTree(StorageSlot slot, Stella_Object objectref, StandardObject objecttype, Stella_Object valueref, StandardObject returntype, Cons csoptions, java.lang.Object[] MV_returnarray)
static Cons	yieldSlotValueTree(StorageSlot slot, Stella_Object objectref, StandardObject objecttype, StandardObject returntype, Cons csoptions, java.lang.Object[] MV_returnarray)
static Cons	yieldSlotWriterTree(StorageSlot slot, Stella_Class renamed_Class)
static Cons	yieldStandardDynamicSlotValueSetterTree(StorageSlot slot, Stella_Object objectref, Stella_Object valueref, StandardObject returntype)
static Cons	yieldStandardDynamicSlotValueTree(StorageSlot slot, Stella_Object objectref, StandardObject returntype)
static Cons	yieldStructSlotTree(StorageSlot slot)

Methods inherited from class edu.isi.stella.Slot

accessSlotSlotValue, activeP, attachInverseSlotDemon, attachSlotToOwner, checkConformanceOfSlotSignature, closureAssumption, collectionValuedP, computeSlotDirectEquivalent, computeSlotInverses, destroyExternalSlot, filterMethodSlotP, filterNonAuxiliarySlotP, filterNonExternalSlotP, filterNonParameterSlotP, filterPrivateSlotP, filterPublicMethodSlotP, filterPublicSlotP, filterSlotP, finalizeLocalSlot, finishWalkingArgumentListTree, helpPrintOutline, homeModule, inlineMethodP, localSlotP, markDirectEquivalentSlot, mixinMethodP, mixinSlotP, multiValuedSlotWithDuplicatesP, name, nativeSlotHome, owner, printObject, publicP, recordSlotHomeModule, registerSlotName, renames, slotDirectSubs, slotDirectSupers, slotNameConflictP, slotValueIsBareLiteralP, sysTreeIfNeeded, transferExternalSlotToNewClass, type, typeSpecifier, unregisterSlotName, warnAboutSlotShadowedByAFunctionP, yieldFixedSlotValueSetterTree

Methods inherited from class edu.isi.stella.PolymorphicRelation

accessPolymorphicRelationSlotValue

Methods inherited from class edu.isi.stella.Relation

accessRelationSlotValue, allSupers, directSupers, primitiveP, privateP, properties, slots

Methods inherited from class edu.isi.stella.MappableObject

accessMappableObjectSlotValue, badP, deletedP, deletedPSetter, projectedFrom, projectsOnto

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, 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, 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

slotRequiredP

public boolean slotRequiredP

slotComponentP

public boolean slotComponentP

slotReadOnlyP

public boolean slotReadOnlyP

slotHardwiredP

public boolean slotHardwiredP

slotContextSensitiveP

public boolean slotContextSensitiveP

Constructor Detail

StorageSlot

public StorageSlot()

Method Detail

newStorageSlot

public static StorageSlot newStorageSlot()

idlYieldStaticMemberAllocationTree

public static Cons idlYieldStaticMemberAllocationTree(StorageSlot slot,
                                                      Stella_Class renamed_Class)

idlYieldParameterizedAttributeTree

public static Cons idlYieldParameterizedAttributeTree(StorageSlot slot,
                                                      Stella_Class renamed_Class)

idlYieldAttributeTree

public static Cons idlYieldAttributeTree(StorageSlot slot,
                                         Stella_Class renamed_Class)

javaYieldInstanceVarTree

public static Cons javaYieldInstanceVarTree(StorageSlot slot,
                                            Stella_Class renamed_Class)

getSlotClassParameterName

public static Symbol getSlotClassParameterName(StorageSlot slot)

slotHasClassParameterTypeP

public static boolean slotHasClassParameterTypeP(StorageSlot slot,
                                                 Stella_Class renamed_Class)

cppYieldStaticMemberAllocationTree

public static Cons cppYieldStaticMemberAllocationTree(StorageSlot slot,
                                                      Stella_Class renamed_Class)

cppYieldParameterizedMemberVarTree

public static Cons cppYieldParameterizedMemberVarTree(StorageSlot slot,
                                                      Stella_Class renamed_Class)

cppYieldMemberVarTree

public static Cons cppYieldMemberVarTree(StorageSlot slot,
                                         Stella_Class renamed_Class)

describeObject

public void describeObject(OutputStream stream,
                           Keyword mode)

Description copied from class: Stella_Object

Prints a description of 'self' to stream 'stream'. 'mode' can be :terse, :verbose, or :source. The :terse mode is often equivalent to the standard print function.

Overrides:

describeObject in class Stella_Object

prettyPrintObject

public void prettyPrintObject(OutputStream stream)

Overrides:

prettyPrintObject in class Slot

prettyPrintSlotOptions

public static void prettyPrintSlotOptions(StorageSlot slot,
                                          OutputStream stream)

yieldActiveSlotWriterBody

public static Cons yieldActiveSlotWriterBody(StorageSlot slot)

yieldActiveSlotReaderBody

public static Cons yieldActiveSlotReaderBody(StorageSlot slot,
                                             Stella_Object defaultexpression)

checkForSlotDemonsP

public static boolean checkForSlotDemonsP(StorageSlot slot)

yieldStandardDynamicSlotValueSetterTree

public static Cons yieldStandardDynamicSlotValueSetterTree(StorageSlot slot,
                                                           Stella_Object objectref,
                                                           Stella_Object valueref,
                                                           StandardObject returntype)

yieldStandardDynamicSlotValueTree

public static Cons yieldStandardDynamicSlotValueTree(StorageSlot slot,
                                                     Stella_Object objectref,
                                                     StandardObject returntype)

standardDynamicSlotAccessP

public static boolean standardDynamicSlotAccessP(StorageSlot slot)

yieldStructSlotTree

public static Cons yieldStructSlotTree(StorageSlot slot)

yieldClosSlotTree

public static Cons yieldClosSlotTree(StorageSlot slot)

yieldClosSlotTypeTree

public static Cons yieldClosSlotTypeTree(StorageSlot slot)

createAccessorUnitsForMixinSlot

public static void createAccessorUnitsForMixinSlot(StorageSlot slot,
                                                   Stella_Class renamed_Class)

createAccessorUnitsForSlot

public static void createAccessorUnitsForSlot(StorageSlot slot,
                                              Stella_Class renamed_Class,
                                              boolean mixinaccessorsP,
                                              boolean signaturesonlyP)

yieldInitialValueExpression

public static Stella_Object yieldInitialValueExpression(StorageSlot slot)

finishWalkingCallSlotTree

public Stella_Object finishWalkingCallSlotTree(Cons tree,
                                               StandardObject firstargtype,
                                               java.lang.Object[] MV_returnarray)

Overrides:

finishWalkingCallSlotTree in class Slot

yieldSlotValueSetterTree

public static Cons yieldSlotValueSetterTree(StorageSlot slot,
                                            Stella_Object objectref,
                                            StandardObject objecttype,
                                            Stella_Object valueref,
                                            StandardObject returntype,
                                            Cons csoptions,
                                            java.lang.Object[] MV_returnarray)

yieldContextSensitiveSlotValueSetterTree

public static Cons yieldContextSensitiveSlotValueSetterTree(StorageSlot slot,
                                                            Stella_Object objectref,
                                                            Stella_Object valueref,
                                                            StandardObject returntype,
                                                            Cons csoptions,
                                                            java.lang.Object[] MV_returnarray)

yieldNativeSlotValueSetterTree

public static Cons yieldNativeSlotValueSetterTree(StorageSlot slot,
                                                  Stella_Object objectref,
                                                  StandardObject objecttype,
                                                  Stella_Object valueref)

yieldSlotValueTree

public static Cons yieldSlotValueTree(StorageSlot slot,
                                      Stella_Object objectref,
                                      StandardObject objecttype,
                                      StandardObject returntype,
                                      Cons csoptions,
                                      java.lang.Object[] MV_returnarray)

yieldContextSensitiveSlotValueTree

public static Cons yieldContextSensitiveSlotValueTree(StorageSlot slot,
                                                      Stella_Object objectref,
                                                      StandardObject returntype,
                                                      Cons csoptions,
                                                      java.lang.Object[] MV_returnarray)

yieldNativeSlotValueTree

public static Cons yieldNativeSlotValueTree(StorageSlot slot,
                                            Stella_Object objectref,
                                            StandardObject objecttype)

yieldDynamicSlotValueSetterTree

public static Cons yieldDynamicSlotValueSetterTree(StorageSlot slot,
                                                   Stella_Object objectref,
                                                   Stella_Object valueref,
                                                   StandardObject returntype)

yieldDynamicSlotValueTree

public static Cons yieldDynamicSlotValueTree(StorageSlot slot,
                                             Stella_Object objectref,
                                             StandardObject returntype)

computeRealSlotType

public static StandardObject computeRealSlotType(StorageSlot slot,
                                                 StandardObject firstargtype,
                                                 StandardObject returntype)

lookupOptionHandler

public static MethodSlot lookupOptionHandler(StorageSlot slot)

yieldNativeSlotWriterTree

public static Cons yieldNativeSlotWriterTree(StorageSlot slot,
                                             Stella_Class renamed_Class)

yieldNativeSlotReaderTree

public static Cons yieldNativeSlotReaderTree(StorageSlot slot,
                                             Stella_Class renamed_Class)

yieldNativeSlotWriterName

public static Symbol yieldNativeSlotWriterName(StorageSlot slot)

yieldNativeSlotReaderName

public static Symbol yieldNativeSlotReaderName(StorageSlot slot)

yieldMixinSlotWriterTree

public static Cons yieldMixinSlotWriterTree(StorageSlot slot)

yieldMixinSlotReaderTree

public static Cons yieldMixinSlotReaderTree(StorageSlot slot)

yieldMixinSlotWriterName

public static Symbol yieldMixinSlotWriterName(StorageSlot slot)

yieldMixinSlotReaderName

public static Symbol yieldMixinSlotReaderName(StorageSlot slot)

slotAccessMethodP

public static boolean slotAccessMethodP(StorageSlot slot)

genericSlotWriterP

public static boolean genericSlotWriterP(StorageSlot slot)

genericSlotReaderP

public static boolean genericSlotReaderP(StorageSlot slot)

yieldSlotWriterTree

public static Cons yieldSlotWriterTree(StorageSlot slot,
                                       Stella_Class renamed_Class)

yieldSlotReaderTree

public static Cons yieldSlotReaderTree(StorageSlot slot,
                                       Stella_Class renamed_Class)

wrapWithDefaultValueAndReturnCode

public static Cons wrapWithDefaultValueAndReturnCode(StorageSlot slot,
                                                     Stella_Object defaultexpression)

yieldHardwiredSlotReaderBody

public static Cons yieldHardwiredSlotReaderBody(StorageSlot slot,
                                                java.lang.Object[] MV_returnarray)

yieldHardwiredSlotVariable

public static Symbol yieldHardwiredSlotVariable(StorageSlot slot)

yieldSlotTypeTree

public static Stella_Object yieldSlotTypeTree(StorageSlot slot)

systemDefinedSlotWriterP

public static boolean systemDefinedSlotWriterP(StorageSlot slot)

systemDefinedSlotReaderP

public static boolean systemDefinedSlotReaderP(StorageSlot slot)

hasNonNullDefaultValueP

public static boolean hasNonNullDefaultValueP(StorageSlot slot)

yieldInitialValueAssignment

public static Cons yieldInitialValueAssignment(StorageSlot slot,
                                               Keyword mode)

isContextSensitiveSlotP

public static boolean isContextSensitiveSlotP(StorageSlot slot)

nativeStorageSlotHome

public static Stella_Class nativeStorageSlotHome(StorageSlot slot,
                                                 Stella_Class renamed_Class)

slotHasUnknownTypeP

public static boolean slotHasUnknownTypeP(StorageSlot slot,
                                          Stella_Class renamed_Class)

canonicalSlot

public static StorageSlot canonicalSlot(StorageSlot slot)

parameterSlotP

public static boolean parameterSlotP(StorageSlot slot)

nativeSlotP

public static boolean nativeSlotP(StorageSlot slot)

redundantSlotP

public static boolean redundantSlotP(StorageSlot slot)

classSlotP

public static boolean classSlotP(StorageSlot slot)

dynamicSlotP

public static boolean dynamicSlotP(StorageSlot slot)

spaceSaverSlotAllocationP

public static boolean spaceSaverSlotAllocationP(StorageSlot slot)

computeReturnTypeSpec

public StandardObject computeReturnTypeSpec(StandardObject firstargtype)

Overrides:

computeReturnTypeSpec in class Slot

arity

public int arity()

Overrides:

arity in class Relation

methodBodyArgumentP

public boolean methodBodyArgumentP()

methodVariableArgumentsP

public boolean methodVariableArgumentsP()

methodArgumentCount

public int methodArgumentCount()

Overrides:

methodArgumentCount in class Slot

initially

public Stella_Object initially()

Defines the value of a slot before it has been assigned a value.

Returns:

Stella_Object

systemDefaultValue

public Stella_Object systemDefaultValue()

Return a default value expression, or if self has dynamic storage, an initial value expression.

Overrides:

systemDefaultValue in class Slot

Returns:

Stella_Object

initialValue

public Stella_Object initialValue()

Return an initial value for self, or null. The initial value can be defined by the slot itself, inherited from an equivalent slot, or inherit from the :initial-value option for the class representing the type of self.

Returns:

Stella_Object

dynamicStorageP

public boolean dynamicStorageP()

conformingSignaturesP

public boolean conformingSignaturesP(Slot superslot)

Overrides:

conformingSignaturesP in class Slot

unfinalizeLocalSlot

public void unfinalizeLocalSlot()

Overrides:

unfinalizeLocalSlot in class Slot

helpFinalizeLocalSlot

public void helpFinalizeLocalSlot()

Overrides:

helpFinalizeLocalSlot in class Slot

finalizeSlotTypeComputations

public void finalizeSlotTypeComputations()

Overrides:

finalizeSlotTypeComputations in class Slot

activateSlot

public static void activateSlot(StorageSlot self)

accessStorageSlotSlotValue

public static Stella_Object accessStorageSlotSlotValue(StorageSlot self,
                                                       Symbol slotname,
                                                       Stella_Object value,
                                                       boolean setvalueP)

slotDemons

public List slotDemons()

slotGuardDemons

public List slotGuardDemons()

slotAllocation

public Keyword slotAllocation()

writer

public Symbol writer()

Name of a method called to write the value of the slot self.

Returns:

Symbol

reader

public Symbol reader()

Name of a method called to read the value of the slot self.

Returns:

Symbol

componentP

public boolean componentP()

True if fillers of this slot are components of the owner slot, and therefore should be deleted if the owner is deleted.

Returns:

boolean

requiredP

public boolean requiredP()

True if a value must be assigned to this slot at creation time.

Returns:

boolean

defaultForm

public Stella_Object defaultForm()

Returns the current value of default expression when the slot has not been assigned a value.

Returns:

Stella_Object

allocation

public Keyword allocation()

Return the most specific :allocation facet, or :instance if all inherited values are NULL.

Returns:

Keyword

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