org.eclipse.xtext.preferences

Class IntegerKey

java.lang.Object

org.eclipse.xtext.preferences.PreferenceKey

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

org.eclipse.xtext.preferences.IntegerKey

public class IntegerKey
extends TypedPreferenceKey<java.lang.Integer>

Constructor Summary

Constructors

Constructor and Description
IntegerKey(java.lang.String id, java.lang.Integer defaultValue)

Method Summary

Modifier and Type	Method and Description
java.lang.String	toString(java.lang.Integer value)
java.lang.Integer	toValue(java.lang.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(java.lang.String id,
                  java.lang.Integer defaultValue)

Method Detail

toString

public java.lang.String toString(java.lang.Integer value)

Specified by:

toString in class TypedPreferenceKey<java.lang.Integer>

toValue

public java.lang.Integer toValue(java.lang.String string)

Specified by:

toValue in class TypedPreferenceKey<java.lang.Integer>