Class ProductLatticeOntologySolverDisplayActions

    • Constructor Detail

      • ProductLatticeOntologySolverDisplayActions

        public ProductLatticeOntologySolverDisplayActions​(NamedObj container,
                                                          java.lang.String name)
                                                   throws IllegalActionException,
                                                          NameDuplicationException
        Construct a ProductLatticeOntologyDisplayActions object with the specified container and name.
        Parameters:
        container - The container which should be a ProductLatticeOntologySolver object.
        name - The name of the ProductLatticeOntologyDisplayActions object.
        Throws:
        IllegalActionException - If the ProductLatticeOntologyDisplayActions object cannot be created.
        NameDuplicationException - If the name coincides with an attribute already in the container.
    • Method Detail

      • create

        public NamedObjController create​(GraphController controller)
        Return a new node controller. This base class returns an instance of IconController. Derived classes can return some other class to customize the context menu.
        Overrides:
        create in class OntologyDisplayActions
        Parameters:
        controller - The associated graph controller.
        Returns:
        A new node controller.
      • updateHighlightColorsMenu

        public void updateHighlightColorsMenu​(ProductLatticeOntology solverOntology)
                                       throws IllegalActionException
        Update the highlight colors menu for the ProductLatticeOntologySolver based on its ProductLatticeOntology.
        Parameters:
        solverOntology - The ProductLatticeOntology for the solver.
        Throws:
        IllegalActionException - Thrown if there is a problem creating the new highlight colors menu.