de.uka.ilkd.key.util.properties

Interfaces

• Properties
• Properties.PropertyListener

Classes

• AbstractProperties
• ArrayProperties
• MapProperties
• Properties.Property