Class MultiRegistry

  • All Implemented Interfaces:
    ibis.ipl.Manageable, ibis.ipl.Registry

    public class MultiRegistry
    extends java.lang.Object
    implements ibis.ipl.Registry
    • Constructor Detail

      • MultiRegistry

        public MultiRegistry​(MultiIbis multiIbis)
    • Method Detail

      • assumeDead

        public void assumeDead​(ibis.ipl.IbisIdentifier ibisIdentifier)
                        throws java.io.IOException
        Specified by:
        assumeDead in interface ibis.ipl.Registry
        Throws:
        java.io.IOException
      • diedIbises

        public ibis.ipl.IbisIdentifier[] diedIbises()
        Specified by:
        diedIbises in interface ibis.ipl.Registry
      • disableEvents

        public void disableEvents()
        Specified by:
        disableEvents in interface ibis.ipl.Registry
      • elect

        public ibis.ipl.IbisIdentifier elect​(java.lang.String electionName)
                                      throws java.io.IOException
        Specified by:
        elect in interface ibis.ipl.Registry
        Throws:
        java.io.IOException
      • elect

        public ibis.ipl.IbisIdentifier elect​(java.lang.String electionName,
                                             long timeoutMillis)
                                      throws java.io.IOException
        Specified by:
        elect in interface ibis.ipl.Registry
        Throws:
        java.io.IOException
      • enableEvents

        public void enableEvents()
        Specified by:
        enableEvents in interface ibis.ipl.Registry
      • getElectionResult

        public ibis.ipl.IbisIdentifier getElectionResult​(java.lang.String electionName)
                                                  throws java.io.IOException
        Specified by:
        getElectionResult in interface ibis.ipl.Registry
        Throws:
        java.io.IOException
      • getElectionResult

        public ibis.ipl.IbisIdentifier getElectionResult​(java.lang.String electionName,
                                                         long timeoutMillis)
                                                  throws java.io.IOException
        Specified by:
        getElectionResult in interface ibis.ipl.Registry
        Throws:
        java.io.IOException
      • getPoolSize

        public int getPoolSize()
        Specified by:
        getPoolSize in interface ibis.ipl.Registry
      • getPoolName

        public java.lang.String getPoolName()
        Specified by:
        getPoolName in interface ibis.ipl.Registry
      • getSequenceNumber

        public long getSequenceNumber​(java.lang.String name)
                               throws java.io.IOException
        Specified by:
        getSequenceNumber in interface ibis.ipl.Registry
        Throws:
        java.io.IOException
      • joinedIbises

        public ibis.ipl.IbisIdentifier[] joinedIbises()
        Specified by:
        joinedIbises in interface ibis.ipl.Registry
      • leftIbises

        public ibis.ipl.IbisIdentifier[] leftIbises()
        Specified by:
        leftIbises in interface ibis.ipl.Registry
      • maybeDead

        public void maybeDead​(ibis.ipl.IbisIdentifier ibisIdentifier)
                       throws java.io.IOException
        Specified by:
        maybeDead in interface ibis.ipl.Registry
        Throws:
        java.io.IOException
      • receivedSignals

        public java.lang.String[] receivedSignals()
        Specified by:
        receivedSignals in interface ibis.ipl.Registry
      • signal

        public void signal​(java.lang.String signal,
                           ibis.ipl.IbisIdentifier... ibisIdentifiers)
                    throws java.io.IOException
        Specified by:
        signal in interface ibis.ipl.Registry
        Throws:
        java.io.IOException
      • isClosed

        public boolean isClosed()
        Specified by:
        isClosed in interface ibis.ipl.Registry
      • waitUntilPoolClosed

        public void waitUntilPoolClosed()
        Specified by:
        waitUntilPoolClosed in interface ibis.ipl.Registry
      • getManagementProperty

        public java.lang.String getManagementProperty​(java.lang.String key)
                                               throws ibis.ipl.NoSuchPropertyException
        Specified by:
        getManagementProperty in interface ibis.ipl.Manageable
        Throws:
        ibis.ipl.NoSuchPropertyException
      • managementProperties

        public java.util.Map<java.lang.String,​java.lang.String> managementProperties()
        Specified by:
        managementProperties in interface ibis.ipl.Manageable
      • printManagementProperties

        public void printManagementProperties​(java.io.PrintStream stream)
        Specified by:
        printManagementProperties in interface ibis.ipl.Manageable
      • setManagementProperties

        public void setManagementProperties​(java.util.Map<java.lang.String,​java.lang.String> properties)
                                     throws ibis.ipl.NoSuchPropertyException
        Specified by:
        setManagementProperties in interface ibis.ipl.Manageable
        Throws:
        ibis.ipl.NoSuchPropertyException
      • setManagementProperty

        public void setManagementProperty​(java.lang.String key,
                                          java.lang.String value)
                                   throws ibis.ipl.NoSuchPropertyException
        Specified by:
        setManagementProperty in interface ibis.ipl.Manageable
        Throws:
        ibis.ipl.NoSuchPropertyException
      • hasTerminated

        public boolean hasTerminated()
        Specified by:
        hasTerminated in interface ibis.ipl.Registry
      • terminate

        public void terminate()
                       throws java.io.IOException
        Specified by:
        terminate in interface ibis.ipl.Registry
        Throws:
        java.io.IOException
      • waitUntilTerminated

        public ibis.ipl.IbisIdentifier waitUntilTerminated()
        Specified by:
        waitUntilTerminated in interface ibis.ipl.Registry
      • addTokens

        public void addTokens​(java.lang.String name,
                              int count)
                       throws java.io.IOException
        Specified by:
        addTokens in interface ibis.ipl.Registry
        Throws:
        java.io.IOException
      • getToken

        public java.lang.String getToken​(java.lang.String name)
                                  throws java.io.IOException
        Specified by:
        getToken in interface ibis.ipl.Registry
        Throws:
        java.io.IOException