ptolemy.data.ontologies

Class FlatScalarTokenInfiniteConcept

java.lang.Object

ptolemy.kernel.util.NamedObj

ptolemy.kernel.InstantiableNamedObj

ptolemy.kernel.Entity<T>

ptolemy.kernel.ComponentEntity

ptolemy.data.ontologies.Concept

ptolemy.data.ontologies.InfiniteConcept

ptolemy.data.ontologies.FlatTokenInfiniteConcept

ptolemy.data.ontologies.FlatScalarTokenInfiniteConcept

All Implemented Interfaces:

java.lang.Cloneable, InequalityTerm, Changeable, Debuggable, DebugListener, Derivable, Instantiable, ModelErrorHandler, MoMLExportable, Moveable, Nameable

public class FlatScalarTokenInfiniteConcept
extends FlatTokenInfiniteConcept

A concept that represents the concept values of entries in a record token. A conceptable model element such as a port or node in a Ptolemy expression could contain a token value that is a record data type. A record token is a token that is a collection of multiple token values of different types. For example, we might want to specify a record that indicates the (x,y) pixel position on a black-and-white screen, and also true or false for whether that pixel position is on or off. We can use a record of the form: {x = 34, y = 26, pixelOn = true}

This RecordConcept allows any record to be assigned concept values for its individual elements from an arbitrary finite ontology. For example, if we wanted to assign a concept to the token above from the constAbstractInterpretation ontology, it would be: {x = Positive, y = Positive, pixelOn = BooleanTrue} This code is adapted from the MonotonicityConcept implementation.

Since:

Ptolemy II 10.0

Version:

$Id$

Author:

Charles Shelton

See Also:

FlatScalarTokenRepresentativeConcept

Pt.AcceptedRating:

Red (blickly)

Pt.ProposedRating:

Red (blickly)

Nested Class Summary

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

Entity.ContainedObjectsIterator

Field Summary

Fields inherited from class ptolemy.data.ontologies.FlatTokenInfiniteConcept

_representative, _tokenValue

Fields inherited from class ptolemy.data.ontologies.Concept

isAcceptable

Fields inherited from class ptolemy.kernel.util.NamedObj

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	FlatScalarTokenInfiniteConcept(Ontology ontology, FlatScalarTokenRepresentativeConcept representative, ScalarToken value) Create a new Record concept, belonging to the given ontology.

Method Summary

Modifier and Type	Method and Description
static FlatScalarTokenInfiniteConcept	createFlatScalarTokenInfiniteConcept(Ontology ontology, FlatScalarTokenRepresentativeConcept representative, ScalarToken value) Create a new flat token infinite concept, belonging to the given ontology, with an automatically generated name.
FlatScalarTokenRepresentativeConcept	getRepresentative() Get the concept that represents this set of infinite concepts in the ontology lattice.
ScalarToken	getTokenValue() Get the token value contained by this concept.

Methods inherited from class ptolemy.data.ontologies.FlatTokenInfiniteConcept

compare, createFlatTokenInfiniteConcept, equals, getColor, greatestLowerBound, hashCode, leastUpperBound, toString

Methods inherited from class ptolemy.data.ontologies.Concept

getAssociatedObject, getOntology, getValue, getVariables, initialize, isAboveOrEqualTo, isSettable, isValueAcceptable, setValue

Methods inherited from class ptolemy.kernel.ComponentEntity

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

Methods inherited from class ptolemy.kernel.Entity

_addPort, _description, _exportMoMLContents, _removePort, _validateSettables, connectedPortList, connectedPorts, connectionsChanged, 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, _containedDecorators, _copyChangeRequestList, _debug, _debug, _debug, _debug, _debug, _executeChangeRequests, _getIndentPrefix, _isMoMLSuppressed, _markContentsDerived, _notifyHierarchyListenersAfterChange, _notifyHierarchyListenersBeforeChange, _propagateValue, _removeAttribute, _splitName, _stripNumericSuffix, addChangeListener, addDebugListener, addHierarchyListener, attributeChanged, attributeDeleted, attributeList, attributeList, attributeTypeChanged, clone, decorators, 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, notifyOfNameChange, propagateValue, propagateValues, removeAttribute, removeChangeListener, removeDebugListener, removeHierarchyListener, requestChange, setClassName, setDeferringChangeRequests, setDerivedLevel, setDisplayName, setModelErrorHandler, setPersistent, setSource, sortContainedObjects, toplevel, validateSettables, workspace

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface ptolemy.kernel.util.Derivable

getDerivedLevel, getDerivedList, propagateValue

Methods inherited from interface ptolemy.kernel.util.Nameable

description, getDisplayName, getFullName, getName, getName

Constructor Detail

FlatScalarTokenInfiniteConcept

protected FlatScalarTokenInfiniteConcept(Ontology ontology,
                                         FlatScalarTokenRepresentativeConcept representative,
                                         ScalarToken value)
                                  throws IllegalActionException,
                                         NameDuplicationException

Create a new Record concept, belonging to the given ontology.

Parameters:

ontology - The ontology to which this concept belongs.

representative - The finite concept that represents where the infinite token concepts belong in the ontology lattice.

value - The token value for this FlatTokenInfiniteConcept.

Throws:

NameDuplicationException - Should never be thrown.

IllegalActionException - If the base class throws it.

Method Detail

createFlatScalarTokenInfiniteConcept

public static FlatScalarTokenInfiniteConcept createFlatScalarTokenInfiniteConcept(Ontology ontology,
                                                                                  FlatScalarTokenRepresentativeConcept representative,
                                                                                  ScalarToken value)
                                                                           throws IllegalActionException

Create a new flat token infinite concept, belonging to the given ontology, with an automatically generated name.

Parameters:

ontology - The ontology to which this concept belongs.

representative - The finite concept that represents where the infinite token concepts belong in the ontology lattice.

value - The token value for this FlatTokenInfiniteConcept.

Returns:

The newly created RecordConcept.

Throws:

IllegalActionException - If the base class throws it.

getRepresentative

public FlatScalarTokenRepresentativeConcept getRepresentative()

Get the concept that represents this set of infinite concepts in the ontology lattice.

Overrides:

getRepresentative in class FlatTokenInfiniteConcept

Returns:

The representative concept.

getTokenValue

public ScalarToken getTokenValue()

Get the token value contained by this concept.

Overrides:

getTokenValue in class FlatTokenInfiniteConcept

Returns:

The token value contained by this concept.