Class FmvAutomatonGraphTableau.Factory

    • Method Detail

      • createTableau

        public Tableau createTableau​(Effigy proxy)
                              throws java.lang.Exception
        Create a tableau in the default workspace with no name for the given Effigy. The tableau will created with a new unique name in the given model proxy. If this factory cannot create a tableau for the given proxy (perhaps because the proxy is not of the appropriate subclass) then return null.
        Overrides:
        createTableau in class TableauFactory
        Parameters:
        proxy - The model proxy.
        Returns:
        A new FmvAutomatonGraphTableau, if the proxy is a PtolemyEffigy that references an FmvAutomaton or null otherwise.
        Throws:
        java.lang.Exception - If an exception occurs when creating the tableau.