@Deprecated public class MathematicalModelConverter extends Attribute
Red (patrickj) |
Red (patrickj) |
Modifier and Type | Class and Description |
---|---|
static class |
MathematicalModelConverter.FormulaType
Deprecated.
|
static class |
MathematicalModelConverter.ModelType
Deprecated.
|
static class |
MathematicalModelConverter.OutputType
Deprecated.
|
NamedObj.ContainedObjectsIterator
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.
|
_changeListeners, _changeLock, _changeRequests, _debugging, _debugListeners, _deferChangeRequests, _elementName, _isPersistent, _verbose, _workspace, ATTRIBUTES, CLASSNAME, COMPLETE, CONTENTS, DEEP, FULLNAME, LINKS
Constructor and Description |
---|
MathematicalModelConverter(NamedObj container,
java.lang.String name)
Deprecated.
Create a new instance of the code generator.
|
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.
|
_checkContainer, _getContainedObject, _propagateExistence, getContainer, moveDown, moveToFirst, moveToIndex, moveToLast, moveUp, setContainer, setName, updateContent
_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
protected java.io.File _codeFile
protected java.io.File _directory
protected CompositeEntity _model
public FileParameter target
public FileParameter template
public ChoiceParameter modelType
public ChoiceParameter formulaType
public ChoiceParameter outputType
public StringParameter formula
public Parameter span
public Parameter buffer
public MathematicalModelConverter(NamedObj container, java.lang.String name) throws IllegalActionException, NameDuplicationException
container
- The container.name
- The name of the code generator.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.public java.lang.Object clone(Workspace workspace) throws java.lang.CloneNotSupportedException
clone
in class Attribute
workspace
- The workspace for the cloned object.java.lang.CloneNotSupportedException
- Not thrown in this base classNamedObj.exportMoML(Writer, int, String)
,
NamedObj.setDeferringChangeRequests(boolean)
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
IllegalActionException
NameDuplicationException
java.lang.CloneNotSupportedException
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
IllegalActionException
NameDuplicationException
java.lang.CloneNotSupportedException
java.io.IOException
public java.lang.String generateGraphicalSpec(MathematicalModelConverter.FormulaType formulaType) throws IllegalActionException
formulaType
- The type of the graphical specification. It may be either "Risk"
or "Reachability".IllegalActionException
public java.io.File getCodeFile()
public void setContainer(CompositeEntity container) throws IllegalActionException, NameDuplicationException
container
- 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.