Package ptolemy.verification.lib

Class SMVLegacyCodeActor

  • All Implemented Interfaces:
    java.lang.Cloneable, Actor, Executable, FiringsRecordable, Initializable, TypedActor, Changeable, Debuggable, DebugListener, Derivable, Instantiable, ModelErrorHandler, MoMLExportable, Moveable, Nameable
    public class SMVLegacyCodeActor
extends TypedCompositeActor
    An actor of this class contains pure SMV codes. Note that the SMVLegacyCodeActor is currently not executable.

    When performing the conversion, the code would be automatically appended to the generated file. However, since for other actors, they require signal information for their conversion, it is the duty of the designer to specify ports.

    To use this actor within Vergil, double click on the actor and insert SMV code into the code templates. The code writing should be similar to the embeddedCActor

    Since:
    Ptolemy II 8.0
    Version:
    $Id$
    Author:
    Chihhong Patrick Cheng, Contributor: Edward A. Lee, Christopher Brooks
    Pt.AcceptedRating:
    Red (patrickj)
    Pt.ProposedRating:
    Red (patrickj)

    • Field Detail

      • embeddedSMVCode

        public StringAttribute embeddedSMVCode
        The SMV code that specifies the function of this actor. The default value is the code necessary to implement a identity function.

    • Constructor Detail

      • SMVLegacyCodeActor

        public SMVLegacyCodeActor​(CompositeEntity container,
                          java.lang.String name)
                   throws NameDuplicationException,
                          IllegalActionException
        Construct an actor with the given container and name. In addition to invoking the base class constructor, create the embeddedSMVCode parameter, and initialize it to provide an empty template.
        Parameters:
        container - The container.
        name - The name of this actor.
        Throws:
        NameDuplicationException - If the container already has an actor with this name.
        IllegalActionException - If the actor cannot be contained by the proposed container.