ptolemy.verification.kernel

Class MathematicalModelConverter

java.lang.Object

ptolemy.kernel.util.NamedObj

ptolemy.kernel.util.Attribute

ptolemy.verification.kernel.MathematicalModelConverter

All Implemented Interfaces:

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

Deprecated.

ptolemy.de.lib.TimedDelay is deprecated, use ptolemy.actor.lib.TimeDelay.

@Deprecated
public class MathematicalModelConverter
extends Attribute

Base class for mathematical model converter.

Since:

Ptolemy II 8.0

Version:

$Id$

Author:

Chihhong Patrick Cheng (modified by: Kyungmin Bae) Contributors: Edward A. Lee , Christopher Brooks,

Pt.AcceptedRating:

Red (patrickj)

Pt.ProposedRating:

Red (patrickj)

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	MathematicalModelConverter.FormulaType Deprecated.
static class	MathematicalModelConverter.ModelType Deprecated.
static class	MathematicalModelConverter.OutputType Deprecated.

Nested classes/interfaces inherited from class ptolemy.kernel.util.NamedObj

NamedObj.ContainedObjectsIterator

Field Summary

Fields

Modifier and Type	Field and Description
protected java.io.File	_codeFile Deprecated. The name of the file that was written.
protected java.io.File	_directory Deprecated.
protected CompositeEntity	_model Deprecated. The model we for which we are generating code.
Parameter	buffer Deprecated.
StringParameter	formula Deprecated.
ChoiceParameter	formulaType Deprecated.
ChoiceParameter	modelType Deprecated.
ChoiceParameter	outputType Deprecated.
Parameter	span Deprecated.
FileParameter	target Deprecated.
FileParameter	template Deprecated.

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

Constructor and Description
MathematicalModelConverter(NamedObj container, java.lang.String name) Deprecated. Create a new instance of the code generator.

Method Summary

Modifier and Type	Method and Description
java.lang.Object	clone(Workspace workspace) Deprecated. Clone the object into the specified workspace.
java.lang.StringBuffer	generateCode(MathematicalModelConverter.ModelType modelType, java.lang.String inputTemporalFormula, MathematicalModelConverter.FormulaType formulaType, int variableSpanSize, int delayActorBufferSize) Deprecated.
java.lang.StringBuffer	generateFile(java.io.File file, MathematicalModelConverter.ModelType modelType, java.lang.String inputTemporalFormula, MathematicalModelConverter.FormulaType formulaType, int variableSpanSize, MathematicalModelConverter.OutputType outputChoice, int FSMBufferSize) Deprecated. Generate the model description for the system.
java.lang.String	generateGraphicalSpec(MathematicalModelConverter.FormulaType formulaType) Deprecated. This is the main entry point to generate the graphical specification of the system.
java.io.File	getCodeFile() Deprecated.
void	setContainer(CompositeEntity container) Deprecated. Set the model to the container.

Methods inherited from class ptolemy.kernel.util.Attribute

_checkContainer, _getContainedObject, _propagateExistence, getContainer, moveDown, moveToFirst, moveToIndex, moveToLast, moveUp, setContainer, setName, updateContent

Methods inherited from class ptolemy.kernel.util.NamedObj

_addAttribute, _adjustOverride, _attachText, _cloneFixAttributeFields, _containedDecorators, _copyChangeRequestList, _debug, _debug, _debug, _debug, _debug, _description, _executeChangeRequests, _exportMoMLContents, _getIndentPrefix, _isMoMLSuppressed, _markContentsDerived, _notifyHierarchyListenersAfterChange, _notifyHierarchyListenersBeforeChange, _propagateValue, _removeAttribute, _splitName, _stripNumericSuffix, _validateSettables, addChangeListener, addDebugListener, addHierarchyListener, attributeChanged, attributeDeleted, attributeList, attributeList, attributeTypeChanged, clone, containedObjectsIterator, decorators, deepContains, depthInHierarchy, description, description, event, executeChangeRequests, exportMoML, exportMoML, exportMoML, exportMoML, exportMoML, exportMoMLPlain, getAttribute, getAttribute, getAttributes, getChangeListeners, getClassName, getDecoratorAttribute, getDecoratorAttributes, getDerivedLevel, getDerivedList, getDisplayName, getElementName, getFullName, getModelErrorHandler, getName, getName, getPrototypeList, getSource, handleModelError, isDeferringChangeRequests, isOverridden, isPersistent, lazyContainedObjectsIterator, message, notifyOfNameChange, propagateExistence, propagateValue, propagateValues, removeAttribute, removeChangeListener, removeDebugListener, removeHierarchyListener, requestChange, setClassName, setDeferringChangeRequests, setDerivedLevel, setDisplayName, setModelErrorHandler, setPersistent, setSource, sortContainedObjects, toplevel, toString, uniqueName, validateSettables, workspace

Methods inherited from class java.lang.Object

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

Field Detail

_codeFile

protected java.io.File _codeFile

Deprecated.

The name of the file that was written. If no file was written, then the value is null.

_directory

protected java.io.File _directory

Deprecated.

_model

protected CompositeEntity _model

Deprecated.

The model we for which we are generating code.

target

public FileParameter target

Deprecated.

template

public FileParameter template

Deprecated.

modelType

public ChoiceParameter modelType

Deprecated.

formulaType

public ChoiceParameter formulaType

Deprecated.

outputType

public ChoiceParameter outputType

Deprecated.

formula

public StringParameter formula

Deprecated.

span

public Parameter span

Deprecated.

buffer

public Parameter buffer

Deprecated.

Constructor Detail

MathematicalModelConverter

public MathematicalModelConverter(NamedObj container,
                                  java.lang.String name)
                           throws IllegalActionException,
                                  NameDuplicationException

Deprecated.

Create a new instance of the code generator.

Parameters:

container - The container.

name - The name of the code generator.

Throws:

IllegalActionException - If the super class throws the exception or error occurs when setting the file path.

NameDuplicationException - If the super class throws the exception or an error occurs when setting the file path.

Method Detail

clone

public java.lang.Object clone(Workspace workspace)
                       throws java.lang.CloneNotSupportedException

Deprecated.

Clone the object into the specified workspace. The new object is not added to the directory of that workspace (you must do this yourself if you want it there). The result is an object with no container.

Overrides:

clone in class Attribute

Parameters:

workspace - The workspace for the cloned object.

Returns:

The new object.

Throws:

java.lang.CloneNotSupportedException - Not thrown in this base class

See Also:

NamedObj.exportMoML(Writer, int, String), NamedObj.setDeferringChangeRequests(boolean)

generateCode

public java.lang.StringBuffer generateCode(MathematicalModelConverter.ModelType modelType,
                                           java.lang.String inputTemporalFormula,
                                           MathematicalModelConverter.FormulaType formulaType,
                                           int variableSpanSize,
                                           int delayActorBufferSize)
                                    throws IllegalActionException,
                                           NameDuplicationException,
                                           java.lang.CloneNotSupportedException

Deprecated.

Throws:

IllegalActionException

NameDuplicationException

java.lang.CloneNotSupportedException

generateFile

public java.lang.StringBuffer generateFile(java.io.File file,
                                           MathematicalModelConverter.ModelType modelType,
                                           java.lang.String inputTemporalFormula,
                                           MathematicalModelConverter.FormulaType formulaType,
                                           int variableSpanSize,
                                           MathematicalModelConverter.OutputType outputChoice,
                                           int FSMBufferSize)
                                    throws IllegalActionException,
                                           NameDuplicationException,
                                           java.lang.CloneNotSupportedException,
                                           java.io.IOException

Deprecated.

Generate the model description for the system. This is the main entry point.

Returns:

Textual format of the converted model based on the specification given.

Throws:

IllegalActionException

NameDuplicationException

java.lang.CloneNotSupportedException

java.io.IOException

generateGraphicalSpec

public java.lang.String generateGraphicalSpec(MathematicalModelConverter.FormulaType formulaType)
                                       throws IllegalActionException

Deprecated.

This is the main entry point to generate the graphical specification of the system. It would invoke SMVUtility.generateGraphicalSpecification and return the specification.

Parameters:

formulaType - The type of the graphical specification. It may be either "Risk" or "Reachability".

Returns:

The textual format of the graphical specification.

Throws:

IllegalActionException

getCodeFile

public java.io.File getCodeFile()

Deprecated.

setContainer

public void setContainer(CompositeEntity container)
                  throws IllegalActionException,
                         NameDuplicationException

Deprecated.

Set the model to the container.

Parameters:

container -

Throws:

IllegalActionException - If the action would result in a recursive containment structure, or if this entity and container are not in the same workspace, or if the protected method _checkContainer() throws it, or if a contained Settable becomes invalid and the error handler throws it.

NameDuplicationException - If the name of this entity collides with a name already in the container.