Class ParsedDocument


  • public class ParsedDocument
    extends java.lang.Object
    • Field Detail

      • namedElements

        private final java.util.Map<java.lang.String,​java.lang.Object> namedElements
      • rootURI

        @Nullable
        private final @Nullable java.net.URI rootURI
      • loaderContext

        @NotNull
        private final @NotNull LoaderContext loaderContext
    • Constructor Detail

      • ParsedDocument

        public ParsedDocument​(@Nullable
                              @Nullable java.net.URI rootURI,
                              @NotNull
                              @NotNull LoaderContext loaderContext)
    • Method Detail

      • loaderContext

        @NotNull
        public @NotNull LoaderContext loaderContext()
      • registerNamedElement

        public void registerNamedElement​(@NotNull
                                         @NotNull java.lang.String name,
                                         @Nullable
                                         @Nullable java.lang.Object element)
      • getElementById

        @Nullable
        public <T> T getElementById​(@NotNull
                                    @NotNull java.lang.Class<T> type,
                                    @Nullable
                                    @Nullable java.lang.String id)
      • hasElementWithId

        public boolean hasElementWithId​(@NotNull
                                        @NotNull java.lang.String id)
      • rootURI

        @Nullable
        public @Nullable java.net.URI rootURI()