Class RefinementExtender

  • All Implemented Interfaces:
    java.lang.Cloneable, Changeable, Debuggable, DebugListener, Derivable, ModelErrorHandler, MoMLExportable, Moveable, Nameable

    public class RefinementExtender
    extends Attribute
    An attribute to add a class to the list of refinement classes for a state. The name of this attribute should be an easy-to-remember name of the refinement class to be shown to the user in the dialog displayed when the user chooses to add a refinement. The className property of this attribute refers to the actual class, which is either a Java class with which the refinement is to be created, or a Ptolemy class specified in MoML at the path pointed to by the class name.
    Since:
    Ptolemy II 8.0
    Version:
    $Id$
    Author:
    Thomas Huining Feng
    Pt.AcceptedRating:
    Red (tfeng)
    Pt.ProposedRating:
    Red (tfeng)
    • Field Detail

      • className

        public StringParameter className
        The full name of the refinement class.
      • description

        public StringParameter description
        A string description of the refinement class, which is shown in the dialog for the user to choose a refinement to add.
    • Constructor Detail

      • RefinementExtender

        public RefinementExtender​(NamedObj container,
                                  java.lang.String name)
                           throws IllegalActionException,
                                  NameDuplicationException
        Construct a refinement extender attribute with the given name contained by the specified entity. The container argument must not be null, or a NullPointerException will be thrown. This attribute will use the workspace of the container for synchronization and version counts. If the name argument is null, then the name is set to the empty string. Increment the version of the workspace.
        Parameters:
        container - The container.
        name - The name of this attribute.
        Throws:
        IllegalActionException - If the attribute is not of an acceptable class for the container, or if the name contains a period.
        NameDuplicationException - If the name coincides with an attribute already in the container.