edu.ucla.util
Interface Setting.Settings<E extends Enum<E> & Setting>
- All Superinterfaces:
- ChangeBroadcaster, UserObject
- All Known Implementing Classes:
- SettingsImpl
- Enclosing interface:
- Setting
public static interface Setting.Settings<E extends Enum<E> & Setting>
- extends UserObject, ChangeBroadcaster
A map of Setting keys to arbitrary values.
- Since:
- 20091207
- Author:
- keith cascio
copy
Setting.Settings<E> copy(Setting.Settings<E> toCopy)
get
Object get(E setting)
put
Setting.Settings<E> put(E setting,
Object value)
killState
Setting.Settings<E> killState()
clazz
Class<E> clazz()
get
Object get(E setting,
PropertyKey key)
put
Object put(E setting,
PropertyKey key,
Object value)
snapshot
Map<PropertyKey,Object> snapshot(E setting)
Copyright 2010 UCLA Automated Reasoning Group