org.eclipse.xtext.preferences

Class IntegerKey

java.lang.Object

org.eclipse.xtext.preferences.PreferenceKey

org.eclipse.xtext.preferences.TypedPreferenceKey<Integer>

org.eclipse.xtext.preferences.IntegerKey

public class IntegerKey
extends TypedPreferenceKey<Integer>

Author:

Moritz Eysholdt - Initial contribution and API

Constructor Summary

Constructors

Constructor and Description
IntegerKey(String id, Integer defaultValue)

Method Summary

Methods

Modifier and Type	Method and Description
String	toString(Integer value)
Integer	toValue(String string)

Methods inherited from class org.eclipse.xtext.preferences.PreferenceKey

equals, getDefaultValue, getId, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

IntegerKey

public IntegerKey(String id,
          Integer defaultValue)

Method Detail

toString

public String toString(Integer value)

Specified by:

toString in class TypedPreferenceKey<Integer>

toValue

public Integer toValue(String string)

Specified by:

toValue in class TypedPreferenceKey<Integer>