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

Method Summary
 Class<E> clazz()
           
 Setting.Settings<E> copy(Setting.Settings<E> toCopy)
           
 Object get(E setting)
           
 Object get(E setting, PropertyKey key)
           
 Setting.Settings<E> killState()
           
 Setting.Settings<E> put(E setting, Object value)
           
 Object put(E setting, PropertyKey key, Object value)
           
 Map<PropertyKey,Object> snapshot(E setting)
           
 
Methods inherited from interface UserObject
onClone
 
Methods inherited from interface ChangeBroadcaster
addChangeListener, fireSettingChanged, removeChangeListener
 

Method Detail

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