MapProperties (KeY API Documentation)

java.lang.Object
- de.uka.ilkd.key.util.properties.AbstractProperties
- - de.uka.ilkd.key.util.properties.MapProperties

public class MapProperties
extends AbstractProperties

Nested Class Summary
- Nested classes/interfaces inherited from interface de.uka.ilkd.key.util.properties.Properties
  Properties.Property<T>, Properties.PropertyListener

Fields
Modifier and Type	Field and Description
`private java.util.IdentityHashMap<java.lang.Object,java.lang.Object>`	`map`

Constructors
Constructor and Description
`MapProperties()`
`MapProperties(int expectedSize)`
`MapProperties(MapProperties original)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`Properties`	`clone()`
`<T> T`	`get(Properties.Property<T> property)`
`<T> void`	`put(Properties.Property<T> property, T value)`
`<T> void`	`remove(Properties.Property<T> property)`
`int`	`size()`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

private final java.util.IdentityHashMap<java.lang.Object,java.lang.Object> map

public MapProperties(int expectedSize)

public MapProperties(MapProperties original)

public <T> void put(Properties.Property<T> property,
                    T value)

public <T> T get(Properties.Property<T> property)

public <T> void remove(Properties.Property<T> property)

Class MapProperties