Class FrameworkUtil.CaseInsensitiveDictionary

  • Enclosing class:
    FrameworkUtil

    private static class FrameworkUtil.CaseInsensitiveDictionary
    extends java.util.Dictionary
    This Dictionary is used for case-insensitive key lookup during filter evaluation. This Dictionary implementation only supports the get operation using a String key as no other operations are used by the Filter implementation.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.util.Dictionary dictionary  
      private java.lang.String[] keys  
    • Constructor Summary

      Constructors 
      Constructor Description
      CaseInsensitiveDictionary​(java.util.Dictionary dictionary)
      Create a case insensitive dictionary from the specified dictionary.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.Enumeration elements()  
      java.lang.Object get​(java.lang.Object o)  
      boolean isEmpty()  
      java.util.Enumeration keys()  
      java.lang.Object put​(java.lang.Object key, java.lang.Object value)  
      java.lang.Object remove​(java.lang.Object key)  
      int size()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • dictionary

        private final java.util.Dictionary dictionary
      • keys

        private final java.lang.String[] keys
    • Constructor Detail

      • CaseInsensitiveDictionary

        CaseInsensitiveDictionary​(java.util.Dictionary dictionary)
        Create a case insensitive dictionary from the specified dictionary.
        Parameters:
        dictionary -
        Throws:
        java.lang.IllegalArgumentException - If dictionary contains case variants of the same key name.
    • Method Detail

      • get

        public java.lang.Object get​(java.lang.Object o)
        Specified by:
        get in class java.util.Dictionary
      • isEmpty

        public boolean isEmpty()
        Specified by:
        isEmpty in class java.util.Dictionary
      • keys

        public java.util.Enumeration keys()
        Specified by:
        keys in class java.util.Dictionary
      • elements

        public java.util.Enumeration elements()
        Specified by:
        elements in class java.util.Dictionary
      • put

        public java.lang.Object put​(java.lang.Object key,
                                    java.lang.Object value)
        Specified by:
        put in class java.util.Dictionary
      • remove

        public java.lang.Object remove​(java.lang.Object key)
        Specified by:
        remove in class java.util.Dictionary
      • size

        public int size()
        Specified by:
        size in class java.util.Dictionary