Class ManageableMapper

  • All Implemented Interfaces:
    ibis.ipl.Manageable

    public class ManageableMapper
    extends java.lang.Object
    implements ibis.ipl.Manageable
    • Constructor Detail

      • ManageableMapper

        public ManageableMapper​(java.util.Map<java.lang.String,​ibis.ipl.Manageable> subMap)
    • Method Detail

      • managementProperties

        public java.util.Map<java.lang.String,​java.lang.String> managementProperties()
        Specified by:
        managementProperties in interface ibis.ipl.Manageable
      • 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
      • 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 val)
                                   throws ibis.ipl.NoSuchPropertyException
        Specified by:
        setManagementProperty in interface ibis.ipl.Manageable
        Throws:
        ibis.ipl.NoSuchPropertyException
      • printManagementProperties

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