Class 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)
    • 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

      • 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.
      • _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.