Uses of Interface
edu.rice.cs.drjava.config.OptionMap

Packages that use OptionMap

edu.rice.cs.drjava.config

This package contains the code that allows for dynamically modifying the configuration options in DrJava.

Uses of OptionMap in edu.rice.cs.drjava.config

Classes in edu.rice.cs.drjava.config that implement OptionMap

class

DefaultOptionMap

Fields in edu.rice.cs.drjava.config declared as OptionMap

protected OptionMap

Configuration.map OptionMap used to store all option settings.

Methods in edu.rice.cs.drjava.config that return OptionMap

OptionMap

Configuration.getOptionMap() Return OptionMap.

Methods in edu.rice.cs.drjava.config with parameters of type OptionMap

void	OptionMapLoader.loadInto(OptionMap map)

Constructors in edu.rice.cs.drjava.config with parameters of type OptionMap

Configuration(OptionMap om)
Initializes this Configuration object with the given OptionMap.

SavableConfiguration(OptionMap map)
Creates a new Configuration based on the given OptionMap.