Class ElementDefinitions.ElementDefinitionRepository

  • Enclosing class:
    ElementDefinitions

    static final class ElementDefinitions.ElementDefinitionRepository
    extends java.lang.Object
    • Field Detail

      • standardRepositoryNames

        private final java.util.List<java.lang.String> standardRepositoryNames
      • standardRepository

        private final java.util.List<ElementDefinition> standardRepository
      • repositoryNames

        private final java.util.List<java.lang.String> repositoryNames
      • lock

        private final java.util.concurrent.locks.ReadWriteLock lock
      • readLock

        private final java.util.concurrent.locks.Lock readLock
      • writeLock

        private final java.util.concurrent.locks.Lock writeLock
    • Method Detail

      • getElement

        ElementDefinition getElement​(java.lang.String prefix,
                                     java.lang.String elementName)
      • storeElement

        private ElementDefinition storeElement​(char[] text,
                                               int offset,
                                               int len)
      • storeElement

        private ElementDefinition storeElement​(java.lang.String prefix,
                                               java.lang.String elementName)
      • binarySearch

        private static int binarySearch​(boolean caseSensitive,
                                        java.util.List<java.lang.String> values,
                                        char[] text,
                                        int offset,
                                        int len)
      • binarySearch

        private static int binarySearch​(boolean caseSensitive,
                                        java.util.List<java.lang.String> values,
                                        java.lang.String text)
      • binarySearch

        private static int binarySearch​(boolean caseSensitive,
                                        java.util.List<java.lang.String> values,
                                        java.lang.String prefix,
                                        java.lang.String elementName)