GravistoPreferences (Vanted 2.8.3 API)

java.lang.Object

org.graffiti.options.GravistoPreferences

public class GravistoPreferences
extends Object

Author:: Christian Klukas (c) 2004 IPK-Gatersleben

Constructor Summary

Constructors

Constructor Description

GravistoPreferences()

Method Summary

Modifier and Type	Method	Description
`void`	`clear()`
`String`	`get(String optionName, String defaultValue)`
`double`	`getDouble(String optionName, double defaultValue)`
`float`	`getFloat(String optionName, float defaultValue)`
`int`	`getInt(String optionName, int defaultValue)`
`String[]`	`keys()`
`void`	`put(String optionName, String value)`
`void`	`putInt(String optionName, int value)`

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- GravistoPreferences
  
  public GravistoPreferences()
Method Details
- get
  
  public String get(String optionName, String defaultValue)
- getFloat
  
  public float getFloat(String optionName, float defaultValue)
- put
  
  public void put(String optionName, String value)
- getInt
  
  public int getInt(String optionName, int defaultValue)
- clear
  
  public void clear()
- putInt
  
  public void putInt(String optionName, int value)
- getDouble
  
  public double getDouble(String optionName, double defaultValue)
- keys
  
  public String[] keys()
  
  Returns: