Class FlatThemePropertiesSupport

  • All Implemented Interfaces:
    java.util.EventListener, javax.swing.event.DocumentListener

    class FlatThemePropertiesSupport
    extends java.lang.Object
    implements javax.swing.event.DocumentListener
    Supports parsing content of text area in FlatLaf properties syntax.
    • Field Detail

      • propertiesGetter

        private final java.util.function.Function<java.lang.String,​java.lang.String> propertiesGetter
      • resolver

        private final java.util.function.Function<java.lang.String,​java.lang.String> resolver
      • propertiesCache

        private java.util.Properties propertiesCache
      • parsedValueCache

        private final java.util.Map<java.lang.Integer,​java.lang.Object> parsedValueCache
      • parsedValueCache2

        private final java.util.Map<java.lang.String,​java.lang.Object> parsedValueCache2
      • allKeysCache

        private java.util.Set<java.lang.String> allKeysCache
      • baseTheme

        private java.lang.String baseTheme
      • globalCacheInvalidationCounter

        private static long globalCacheInvalidationCounter
      • cacheInvalidationCounter

        private long cacheInvalidationCounter
      • wildcardKeys

        private static java.util.Set<java.lang.String> wildcardKeys
      • platformPrefix

        private static final java.lang.String platformPrefix
    • Constructor Detail

    • Method Detail

      • resolveValue

        private java.lang.String resolveValue​(java.lang.String value)
                                       throws java.lang.IllegalArgumentException
        Throws:
        java.lang.IllegalArgumentException
      • getParsedValueAtLine

        java.lang.Object getParsedValueAtLine​(int line)
      • getParsedProperty

        java.lang.Object getParsedProperty​(java.lang.String key)
      • getPropertyOrWildcard

        private java.lang.String getPropertyOrWildcard​(java.lang.String key)
      • getProperty

        java.lang.String getProperty​(java.lang.String key)
      • getProperties

        java.util.Properties getProperties()
      • getAllKeys

        java.util.Set<java.lang.String> getAllKeys()
      • isDark

        static boolean isDark​(java.lang.String baseTheme)
      • getBaseTheme

        private java.lang.String getBaseTheme()
      • clearCache

        private void clearCache()
      • autoClearCache

        private void autoClearCache()
        Clear caches that may depend on other editors if cache of another editor was invalidated.
      • getKeysForWildcard

        static java.util.Set<java.lang.String> getKeysForWildcard​(java.lang.String key)
      • isKeyAllowedForWildcard

        private static boolean isKeyAllowedForWildcard​(java.lang.String key)
      • loadKeysAllowedForWildcard

        private static void loadKeysAllowedForWildcard()
      • insertUpdate

        public void insertUpdate​(javax.swing.event.DocumentEvent e)
        Specified by:
        insertUpdate in interface javax.swing.event.DocumentListener
      • removeUpdate

        public void removeUpdate​(javax.swing.event.DocumentEvent e)
        Specified by:
        removeUpdate in interface javax.swing.event.DocumentListener
      • changedUpdate

        public void changedUpdate​(javax.swing.event.DocumentEvent e)
        Specified by:
        changedUpdate in interface javax.swing.event.DocumentListener