Class SourcePredicateBuilder

java.lang.Object
org.graalvm.tools.lsp.server.utils.SourcePredicateBuilder

public final class SourcePredicateBuilder extends Object
  • Method Details

    • uriOrTruffleName

      public SourcePredicateBuilder uriOrTruffleName(URI uri)
      A special method to filter for either the URI of a Source or via the name. Some languages create sources in a way that no URI is set, only the Source's name which is the path of the source.
      Parameters:
      uri -
    • language

      public SourcePredicateBuilder language(com.oracle.truffle.api.nodes.LanguageInfo languageInfo)
    • excludeInternal

      public SourcePredicateBuilder excludeInternal(org.graalvm.options.OptionValues options)
    • newestSource

      public SourcePredicateBuilder newestSource(TextDocumentSurrogateMap surrogateMap)
    • build

      public com.oracle.truffle.api.instrumentation.SourceSectionFilter.SourcePredicate build()
    • newBuilder

      public static SourcePredicateBuilder newBuilder()