Class ExceptionManagerModel

    • Constructor Detail

      • ExceptionManagerModel

        public ExceptionManagerModel​(Workspace workspace)
        Construct an ExceptionManager in the specified workspace. If the workspace argument is null, then use the default workspace. Add the entity to the workspace directory. Increment the version number of the workspace.
        Parameters:
        workspace - The workspace that will list the entity.
      • ExceptionManagerModel

        public ExceptionManagerModel​(ExceptionManager exceptionManager,
                                     Workspace workspace)
                              throws IllegalActionException,
                                     NameDuplicationException
        Create a new ExceptionManagerModel with the specified workspace and the specified ExceptionManager.
        Parameters:
        exceptionManager - The ExceptionManager that contains the model.
        workspace - The workspace that will list the entity.
        Throws:
        IllegalActionException - If this actor cannot be contained by the proposed container (see the setContainer() method).
        NameDuplicationException - If the name coincides with an entity already in the container.
    • Method Detail

      • setModelContainer

        public void setModelContainer​(ExceptionManager exceptionManager)
        Set the exception manager that contains this model.
        Parameters:
        exceptionManager - The exception manager that should contain this model.
        See Also:
        getModelContainer()