ibis.ipl
Class DynamicProperties

java.lang.Object
  ibis.ipl.DynamicProperties

public class DynamicProperties

extends java.lang.Object

Dynamic properties associated with a send or receive port. Each port may have a set of dynamic properties associated with it, for instance a buffer size. The details are Ibis-implementation-specific, so any application depending on this is not portable across different Ibis implementations. The default implementation does nothing.

Field Summary

static DynamicProperties

NoDynamicProperties Empty dynamic properties set.

Constructor Summary

DynamicProperties()

Method Summary

java.lang.Object	find(java.lang.String key) Returns the object associated with the specified key.
java.util.Enumeration	keys() Returns an enumeration for all current keys in this properties.
void	set(java.lang.String key, java.lang.Object value) Sets the property associated with the specified key to the specified value.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

NoDynamicProperties

public static final DynamicProperties NoDynamicProperties

Empty dynamic properties set. May be used by ReceivePort.properties() or SendPort.properties() when these ports don't implement specific dynamic properties.

Constructor Detail

DynamicProperties

public DynamicProperties()

Method Detail

set

public void set(java.lang.String key,
                java.lang.Object value)
         throws IbisException

Sets the property associated with the specified key to the specified value. The default implementation does nothing.

Parameters:

key - the property to be set.

value - the value for this property.

Throws:

IbisException - may be thrown when a property is set to an illegal value.

find

public java.lang.Object find(java.lang.String key)

Returns the object associated with the specified key. The default implementation just returns null.

Parameters:

key - the property key.

Returns:

the object associated with the specified key, or null if not present.

keys

public java.util.Enumeration keys()

Returns an enumeration for all current keys in this properties. The default implementation returns an empty enumeration.

Returns:

an enumeration for all current keys.