ArrayProperties (KeY API Documentation)

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

public class ArrayProperties
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.lang.Object[]`	`data`

Constructors
Constructor and Description
`ArrayProperties()`
`ArrayProperties(ArrayProperties original)`
`ArrayProperties(int initialSize)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`Properties`	`clone()`
`private void`	`ensurePresent(int number)`
`<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

public ArrayProperties(int initialSize)

public ArrayProperties(ArrayProperties original)

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

private void ensurePresent(int number)

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

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

Class ArrayProperties