jtp.frame
Class FrameKB

java.lang.Object
  |
  +--java.beans.beancontext.BeanContextChildSupport
        |
        +--jtp.util.PropertyImporter
              |
              +--jtp.frame.FrameKB

All Implemented Interfaces:

BeanContextChild, BeanContextServiceRevokedListener, BeanContextServicesListener, EventListener, Serializable

public class FrameKB

extends PropertyImporter

FrameKB.java Created: Wed Oct 25 05:45:33 2000

See Also:

Serialized Form

Field Summary

Fields inherited from class java.beans.beancontext.BeanContextChildSupport

beanContext, beanContextChildPeer, pcSupport, rejectedSetBCOnce, vcSupport

Constructor Summary

FrameKB()

Method Summary

protected SlotValueCollection	createValueCollection(Symbol facet, Symbol slot, Object frame, boolean inverse)
SlotValueCollection	findValueCollection(Symbol facet, Symbol slot, Object frame, boolean inverseLookup)
UndoManager	getUndoManager()
SlotValueCollection	getValueCollection(Symbol facet, Symbol slot, Object frame, boolean inverseLookup)
SlotValueCollection	getValueCollection(Symbol facet, Symbol slot, Object frame, boolean inverseLookup, ReasoningStepCollector rsc)
void	initFrames()
void	putValue(Symbol facet, Symbol slot, Object frame, Object value)
void	putValue(Symbol facet, Symbol slot, Object frame, Object value, boolean inverse, ReasoningStep proof, ReasoningStepCollector rsc) This putValue method allows the user to specify to only assert the inverse value or the direct value.
void	putValue(Symbol facet, Symbol slot, Object frame, Object value, ReasoningStep proof)
void	putValue(Symbol facet, Symbol slot, Object frame, Object value, ReasoningStepCollector rsc)
void	putValue(Symbol facet, Symbol slot, Object frame, Object value, ReasoningStep proof, ReasoningStepCollector rsc)
void	removeValue(Symbol facet, Symbol slot, Object frame, Object value)
void	setUndoManager(UndoManager undo)
void	stripProofs(SecondaryProofStorageWriter ost)

Methods inherited from class jtp.util.PropertyImporter

getImportedProperties, initializeBeanContextResources, setImportedProperties

Methods inherited from class java.beans.beancontext.BeanContextChildSupport

addPropertyChangeListener, addVetoableChangeListener, firePropertyChange, fireVetoableChange, getBeanContext, getBeanContextChildPeer, isDelegated, releaseBeanContextResources, removePropertyChangeListener, removeVetoableChangeListener, serviceAvailable, serviceRevoked, setBeanContext, validatePendingSetBeanContext

Methods inherited from class java.lang.Object

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

Constructor Detail

FrameKB

public FrameKB()

Method Detail

getUndoManager

public UndoManager getUndoManager()

setUndoManager

public void setUndoManager(UndoManager undo)

putValue

public void putValue(Symbol facet,
                     Symbol slot,
                     Object frame,
                     Object value,
                     ReasoningStep proof,
                     ReasoningStepCollector rsc)

putValue

public void putValue(Symbol facet,
                     Symbol slot,
                     Object frame,
                     Object value,
                     ReasoningStepCollector rsc)

putValue

public void putValue(Symbol facet,
                     Symbol slot,
                     Object frame,
                     Object value,
                     ReasoningStep proof)

putValue

public void putValue(Symbol facet,
                     Symbol slot,
                     Object frame,
                     Object value)

putValue

public void putValue(Symbol facet,
                     Symbol slot,
                     Object frame,
                     Object value,
                     boolean inverse,
                     ReasoningStep proof,
                     ReasoningStepCollector rsc)

This putValue method allows the user to specify to only assert the inverse value or the direct value.

removeValue

public void removeValue(Symbol facet,
                        Symbol slot,
                        Object frame,
                        Object value)

findValueCollection

public SlotValueCollection findValueCollection(Symbol facet,
                                               Symbol slot,
                                               Object frame,
                                               boolean inverseLookup)

getValueCollection

public SlotValueCollection getValueCollection(Symbol facet,
                                              Symbol slot,
                                              Object frame,
                                              boolean inverseLookup)

getValueCollection

public SlotValueCollection getValueCollection(Symbol facet,
                                              Symbol slot,
                                              Object frame,
                                              boolean inverseLookup,
                                              ReasoningStepCollector rsc)

createValueCollection

protected SlotValueCollection createValueCollection(Symbol facet,
                                                    Symbol slot,
                                                    Object frame,
                                                    boolean inverse)

initFrames

public void initFrames()

stripProofs

public void stripProofs(SecondaryProofStorageWriter ost)
                 throws IOException

IOException