Package org.graalvm.tools.lsp.server.utils

Class TextDocumentSurrogate

java.lang.Object
org.graalvm.tools.lsp.server.utils.TextDocumentSurrogate
public final class TextDocumentSurrogate extends Object
A data structure representing the state of text documents (source code files) which have been opened at client-side.

  • Constructor Details

    • TextDocumentSurrogate

      public TextDocumentSurrogate(com.oracle.truffle.api.TruffleFile truffleFile, com.oracle.truffle.api.nodes.LanguageInfo languageInfo)

  • Method Details

    • getUri

      public URI getUri()

    • getLanguageId

      public String getLanguageId()

    • getEditorText

      public String getEditorText()

    • setEditorText

      public void setEditorText(String editorText)

    • getTypeHarvestingDone

      public Boolean getTypeHarvestingDone()

    • setCoverageAnalysisDone

      public void setCoverageAnalysisDone(Boolean coverageAnalysisDone)

    • getSourceWrapper

      public SourceWrapper getSourceWrapper()

    • getLanguageInfo

      public com.oracle.truffle.api.nodes.LanguageInfo getLanguageInfo()

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object

    • getLastChange

      public TextDocumentContentChangeEvent getLastChange()

    • setLastChange

      public void setLastChange(TextDocumentContentChangeEvent lastChange)

    • equals

      public boolean equals(Object obj)
      Overrides:
      equals in class Object

    • getChangeEventsSinceLastSuccessfulParsing

      public List<TextDocumentContentChangeEvent> getChangeEventsSinceLastSuccessfulParsing()

    • getCoverageData

      public List<CoverageData> getCoverageData(com.oracle.truffle.api.source.SourceSection section)

    • getCoverageData

      public List<CoverageData> getCoverageData(SourceSectionReference section)

    • getCoverageUris

      public Set<URI> getCoverageUris(com.oracle.truffle.api.source.SourceSection section)

    • addLocationCoverage

      public void addLocationCoverage(SourceSectionReference section, CoverageData coverageData)

    • isLocationCovered

      public boolean isLocationCovered(SourceSectionReference section)

    • hasCoverageData

      public boolean hasCoverageData()

    • clearCoverage

      public void clearCoverage()

    • clearCoverage

      public void clearCoverage(URI runScriptUri)

    • getCoverageLocations

      public List<SourceSectionReference> getCoverageLocations()

    • replace

      public void replace(SourceSectionReference oldSection, SourceSectionReference newSection)

    • buildSource

      public com.oracle.truffle.api.source.Source buildSource()

    • prepareParsing

      public SourceWrapper prepareParsing()

    • notifyParsingDone

      public void notifyParsingDone(com.oracle.truffle.api.CallTarget callTarget)

    • isSourceCodeReadyForCodeCompletion

      public boolean isSourceCodeReadyForCodeCompletion()

    • getSource

      public com.oracle.truffle.api.source.Source getSource()

    • copy

      public TextDocumentSurrogate copy()