Class IntegerKey

  • Direct Known Subclasses:
    BlankLineKey

    @Deprecated
    public class IntegerKey
    extends org.eclipse.xtext.preferences.PreferenceKey
    Deprecated.
    use IntegerKey
    • Constructor Summary

      Constructors 
      Constructor Description
      IntegerKey​(java.lang.String name, java.lang.Integer defaultValue)
      Deprecated.
       
    • Method Summary

      • 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 name,
                          java.lang.Integer defaultValue)
        Deprecated.