Package ptolemy.data.ontologies.lattice

Class LatticeOntologyModalFSMAdapter

java.lang.Object

ptolemy.data.ontologies.OntologyAdapter

ptolemy.data.ontologies.lattice.LatticeOntologyAdapter

ptolemy.data.ontologies.lattice.LatticeOntologyCompositeAdapter

ptolemy.data.ontologies.lattice.LatticeOntologyModalFSMAdapter

public class LatticeOntologyModalFSMAdapter
extends LatticeOntologyCompositeAdapter

An adapter class for ptolemy.domains.modal.kernel.FSMActor.

Since:

Ptolemy II 10.0

Version:

$Id$

Author:

Charles Shelton, Man-Kit Leung

Pt.AcceptedRating:

Red (mankit)

Pt.ProposedRating:

Red (mankit)

Field Summary

Fields inherited from class ptolemy.data.ontologies.lattice.LatticeOntologyAdapter

_ownConstraints, _subAdapterConstraints, _useDefaultConstraints, interconnectConstraintType

Fields inherited from class ptolemy.data.ontologies.OntologyAdapter

_annotationEvaluator, _solver

Constructor Summary

Constructors

Constructor	Description
LatticeOntologyModalFSMAdapter(LatticeOntologySolver solver, FSMActor actor)	Construct an adapter for the given FSMActor.

Method Summary

Modifier and Type	Method	Description
protected java.util.List<ASTPtRootNode>	_getAttributeParseTrees()	Return the list of parse tree root nodes that correspond to all attributes contained in the outgoing transitions from the states in the FSM.
protected java.util.List<Attribute>	_getPropertyableAttributes()	Get the list of propertyable attributes for this adapter.
protected java.util.List<OntologyAdapter>	_getSubAdapters()	Return the list of sub-adapters.
java.util.List<Inequality>	constraintList()	Return the list of constraints for this FSM.
java.util.List<ASTPtRootNode>	getParseTrees(State state)	Return the list of parse tree root nodes that correspond to the specified state's outgoing transition actions in the FSM.

Methods inherited from class ptolemy.data.ontologies.lattice.LatticeOntologyCompositeAdapter

_addDefaultConstraints, _addInterConnectionConstraints

Methods inherited from class ptolemy.data.ontologies.lattice.LatticeOntologyAdapter

_addSubAdapterConstraints, _annotationEvaluator, _constrainAttributes, _constrainObject, _constrainObjectLists, _constrainSingleObject, _getConstrainedPorts, _getConstraintingPorts, _setConnectionConstraintType, _union, getPropertyTerm, getSolver, isConstraintSource, reinitialize, setAtLeast, setAtMost, setSameAs

Methods inherited from class ptolemy.data.ontologies.OntologyAdapter

_getASTNodeAdapters, _getSinkPortList, _getSourcePortList, getComponent, getContainerEntity, getName, getParseTree, getPropertyables, putAttribute, setComponent, setEquals, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

LatticeOntologyModalFSMAdapter

public LatticeOntologyModalFSMAdapter(LatticeOntologySolver solver,
                                      FSMActor actor)
                               throws IllegalActionException

Construct an adapter for the given FSMActor. This is the base adapter class for any FSMActor that does not have a specific defined adapter class. Default actor constraints are set for this adapter.

Parameters:

solver - The given solver.

actor - The given AtomicActor.

Throws:

IllegalActionException - Thrown if super class throws it.

Method Detail

constraintList

public java.util.List<Inequality> constraintList()
                                          throws IllegalActionException

Return the list of constraints for this FSM. They are a list of inequalities on the transition actions for each state in the FSM.

Overrides:

constraintList in class LatticeOntologyCompositeAdapter

Returns:

A list of Inequality.

Throws:

IllegalActionException - Not thrown in this base class.

getParseTrees

public java.util.List<ASTPtRootNode> getParseTrees(State state)

Return the list of parse tree root nodes that correspond to the specified state's outgoing transition actions in the FSM.

Parameters:

state - The state from which to get the parse trees.

Returns:

The list of parse trees.

_getAttributeParseTrees

protected java.util.List<ASTPtRootNode> _getAttributeParseTrees()
                                                         throws IllegalActionException

Return the list of parse tree root nodes that correspond to all attributes contained in the outgoing transitions from the states in the FSM.

Overrides:

_getAttributeParseTrees in class OntologyAdapter

Returns:

The list of parse trees.

Throws:

IllegalActionException - Thrown if there is a problem getting the parse tree root nodes.

_getPropertyableAttributes

protected java.util.List<Attribute> _getPropertyableAttributes()

Get the list of propertyable attributes for this adapter. In this base adapter class for FSM, it considers all guard expressions as propertyable attributes.

Overrides:

_getPropertyableAttributes in class OntologyAdapter

Returns:

The list of propertyable attributes.

_getSubAdapters

protected java.util.List<OntologyAdapter> _getSubAdapters()
                                                   throws IllegalActionException

Return the list of sub-adapters. In this base class, it returns the list of ASTNode adapters that are associated with the expressions of the propertyable attributes.

Overrides:

_getSubAdapters in class LatticeOntologyCompositeAdapter

Returns:

The list of sub-adapters.

Throws:

IllegalActionException - Not thrown in this base class.