ptolemy.verification.lib
Class BoundedBufferNondeterministicDelay

java.lang.Object
  ptolemy.kernel.util.NamedObj
      ptolemy.kernel.InstantiableNamedObj
          ptolemy.kernel.Entity
              ptolemy.kernel.ComponentEntity
                  ptolemy.actor.AtomicActor
                      ptolemy.actor.TypedAtomicActor
                          ptolemy.domains.de.kernel.DEActor
                              ptolemy.domains.de.lib.DETransformer
                                  ptolemy.domains.de.lib.TimedDelay
                                      ptolemy.verification.lib.BoundedBufferTimedDelay
                                          ptolemy.verification.lib.BoundedBufferNondeterministicDelay

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, Actor, Executable, FiringsRecordable, Initializable, SequenceActor, TimedActor, TypedActor, Changeable, Debuggable, DebugListener, Derivable, Instantiable, ModelErrorHandler, MoMLExportable, Moveable, Nameable

public class BoundedBufferNondeterministicDelay
extends BoundedBufferTimedDelay

A bounded buffer with nondeterministic delay.

Since:

Ptolemy II 8.0

Version:

$Id: BoundedBufferNondeterministicDelay.java 57044 2010-01-27 22:41:05Z cxh $

Author:

Patrick Cheng

See Also:

Serialized Form

Accepted Rating:

Red (cxh)

Proposed Rating:

Red (cxh)

Nested Class Summary

Nested classes/interfaces inherited from class ptolemy.kernel.Entity

Entity.ContainedObjectsIterator

Field Summary

PortParameter

delay The amount specifying delay.

Fields inherited from class ptolemy.verification.lib.BoundedBufferTimedDelay

_bufferSize, bufferSize

Fields inherited from class ptolemy.domains.de.lib.TimedDelay

_causalityMarker, _currentInput, _currentOutput, _delay, _delayedOutputTokens

Fields inherited from class ptolemy.domains.de.lib.DETransformer

input, output

Fields inherited from class ptolemy.actor.AtomicActor

_actorFiringListeners, _initializables, _notifyingActorFiring, _stopRequested

Fields inherited from class ptolemy.kernel.util.NamedObj

_changeListeners, _changeLock, _changeRequests, _debugging, _debugListeners, _elementName, _isPersistent, _verbose, _workspace, ATTRIBUTES, CLASSNAME, COMPLETE, CONTENTS, DEEP, FULLNAME, LINKS

Fields inherited from interface ptolemy.actor.Executable

COMPLETED, NOT_READY, STOP_ITERATING

Constructor Summary

BoundedBufferNondeterministicDelay(CompositeEntity container, java.lang.String name)
Construct an actor with the specified container and name.

Method Summary

protected void	_init() Override the method of the super class to initialize the parameter values.
void	preinitialize() Throw an IllegalActionException to indicate that this actor is used for code generation only.

Methods inherited from class ptolemy.verification.lib.BoundedBufferTimedDelay

attributeChanged

Methods inherited from class ptolemy.domains.de.lib.TimedDelay

_fireAt, clone, fire, initialize, postfire

Methods inherited from class ptolemy.actor.TypedAtomicActor

_addPort, _fireAt, attributeTypeChanged, clone, newPort, typeConstraintList, typeConstraints

Methods inherited from class ptolemy.actor.AtomicActor

_actorFiring, _actorFiring, addActorFiringListener, addInitializable, connectionsChanged, createReceivers, declareDelayDependency, getCausalityInterface, getDirector, getExecutiveDirector, getManager, inputPortList, isFireFunctional, isStrict, iterate, newReceiver, outputPortList, prefire, pruneDependencies, recordFiring, removeActorFiringListener, removeDependency, removeInitializable, setContainer, stop, stopFire, terminate, wrapup

Methods inherited from class ptolemy.kernel.ComponentEntity

_adjustDeferrals, _checkContainer, _getContainedObject, _propagateExistence, getContainer, instantiate, isAtomic, isOpaque, moveDown, moveToFirst, moveToIndex, moveToLast, moveUp, propagateExistence, setName

Methods inherited from class ptolemy.kernel.Entity

_description, _exportMoMLContents, _removePort, _validateSettables, connectedPortList, connectedPorts, containedObjectsIterator, getAttribute, getPort, getPorts, linkedRelationList, linkedRelations, portList, removeAllPorts, setClassDefinition, uniqueName

Methods inherited from class ptolemy.kernel.InstantiableNamedObj

_setParent, exportMoML, getChildren, getElementName, getParent, getPrototypeList, isClassDefinition, isWithinClassDefinition

Methods inherited from class ptolemy.kernel.util.NamedObj

_addAttribute, _adjustOverride, _attachText, _cloneFixAttributeFields, _debug, _debug, _debug, _debug, _debug, _getIndentPrefix, _isMoMLSuppressed, _markContentsDerived, _propagateValue, _recordDecoratedAttributes, _removeAttribute, _splitName, _stripNumericSuffix, addChangeListener, addDebugListener, attributeList, attributeList, deepContains, depthInHierarchy, description, description, event, executeChangeRequests, exportMoML, exportMoML, exportMoML, exportMoML, exportMoMLPlain, getAttribute, getAttributes, getChangeListeners, getClassName, getDecoratorAttribute, getDecoratorAttributes, getDerivedLevel, getDerivedList, getDisplayName, getFullName, getModelErrorHandler, getName, getName, getSource, handleModelError, isDeferringChangeRequests, isOverridden, isPersistent, lazyContainedObjectsIterator, message, propagateValue, propagateValues, removeChangeListener, removeDebugListener, requestChange, setClassName, setDeferringChangeRequests, setDerivedLevel, setDisplayName, setModelErrorHandler, setPersistent, setSource, sortContainedObjects, toplevel, toString, validateSettables, workspace

Methods inherited from class java.lang.Object

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

Methods inherited from interface ptolemy.actor.Actor

createReceivers, getCausalityInterface, getDirector, getExecutiveDirector, getManager, inputPortList, newReceiver, outputPortList

Methods inherited from interface ptolemy.actor.Executable

isFireFunctional, isStrict, iterate, prefire, stop, stopFire, terminate

Methods inherited from interface ptolemy.actor.Initializable

addInitializable, removeInitializable, wrapup

Methods inherited from interface ptolemy.kernel.util.Nameable

description, getContainer, getDisplayName, getFullName, getName, getName, setName

Methods inherited from interface ptolemy.kernel.util.Derivable

getDerivedLevel, getDerivedList, propagateValue

Field Detail

delay

public PortParameter delay

The amount specifying delay. Its default value is 1.0.

Constructor Detail

BoundedBufferNondeterministicDelay

public BoundedBufferNondeterministicDelay(CompositeEntity container,
                                          java.lang.String name)
                                   throws NameDuplicationException,
                                          IllegalActionException

Construct an actor with the specified container and name.

Parameters:

container - The composite entity to contain this one.

name - The name of this actor.

Throws:

IllegalActionException - If the entity cannot be contained by the proposed container.

NameDuplicationException - If the container already has an actor with this name.

Method Detail

preinitialize

public void preinitialize()
                   throws IllegalActionException

Throw an IllegalActionException to indicate that this actor is used for code generation only.

Specified by:

preinitialize in interface Initializable

Overrides:

preinitialize in class BoundedBufferTimedDelay

Throws:

IllegalActionException - No simulation

_init

protected void _init()
              throws NameDuplicationException,
                     IllegalActionException

Override the method of the super class to initialize the parameter values.

Overrides:

_init in class BoundedBufferTimedDelay

Throws:

NameDuplicationException - If there already is a parameter named "delay".

IllegalActionException - If delay parameter cannot be set.