c

languageServer

MiksiloLanguageServer

class MiksiloLanguageServer extends LanguageServer with DefinitionProvider with ReferencesProvider with CompletionProvider with DocumentSymbolProvider with RenameProvider with CodeActionProvider with LazyLogging

Linear Supertypes
LazyLogging, CodeActionProvider, RenameProvider, DocumentSymbolProvider, CompletionProvider, ReferencesProvider, DefinitionProvider, LanguageServer, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. MiksiloLanguageServer
  2. LazyLogging
  3. CodeActionProvider
  4. RenameProvider
  5. DocumentSymbolProvider
  6. CompletionProvider
  7. ReferencesProvider
  8. DefinitionProvider
  9. LanguageServer
  10. AnyRef
  11. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new MiksiloLanguageServer(language: Language)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. var client: LanguageClient
  6. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  7. var compilation: Option[Compilation]
  8. def compile(): Unit
  9. def complete(params: DocumentPosition): CompletionList
    Definition Classes
    MiksiloLanguageServer → CompletionProvider
  10. var currentDocumentId: TextDocumentIdentifier
  11. var diagnosticsAreDirty: Boolean
  12. def didChange(parameters: DidChangeTextDocumentParams): Unit
    Definition Classes
    MiksiloLanguageServer → LanguageServer
  13. def didClose(parameters: TextDocumentIdentifier): Unit
    Definition Classes
    MiksiloLanguageServer → LanguageServer
  14. def didOpen(parameters: TextDocumentItem): Unit
    Definition Classes
    MiksiloLanguageServer → LanguageServer
  15. def didSave(parameters: DidSaveTextDocumentParams): Unit
    Definition Classes
    MiksiloLanguageServer → LanguageServer
  16. def documentSymbols(params: DocumentSymbolParams): Seq[SymbolInformation]
    Definition Classes
    MiksiloLanguageServer → DocumentSymbolProvider
  17. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  19. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  20. def getCodeActions(parameters: CodeActionParams): Seq[CodeAction]
    Definition Classes
    MiksiloLanguageServer → CodeActionProvider
  21. def getCompilation: Compilation
  22. def getDefinitionFromDefinitionOrReferencePosition(proofs: Proofs, element: SourceElement): Option[NamedDeclaration]
  23. def getOptions: CompletionOptions
    Definition Classes
    MiksiloLanguageServer → CompletionProvider
  24. def getProofs: Option[Proofs]
  25. def getSourceElement(position: FilePosition): Option[SourceElement]
  26. def gotoDefinition(parameters: DocumentPosition): Seq[FileRange]
    Definition Classes
    MiksiloLanguageServer → DefinitionProvider
  27. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  28. def initialize(parameters: InitializeParams): Unit
    Definition Classes
    MiksiloLanguageServer → LanguageServer
  29. def initialized(): Unit
    Definition Classes
    MiksiloLanguageServer → LanguageServer
  30. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  31. val language: Language
  32. def logger: Logger
    Definition Classes
    LazyLogging
  33. var metrics: Metrics
  34. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  35. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  36. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  37. def references(parameters: ReferencesParams): Seq[FileRange]
    Definition Classes
    MiksiloLanguageServer → ReferencesProvider
  38. def rename(params: RenameParams): WorkspaceEdit
    Definition Classes
    MiksiloLanguageServer → RenameProvider
  39. def setClient(client: LanguageClient): Unit
    Definition Classes
    MiksiloLanguageServer → LanguageServer
  40. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  41. def textDocumentSync: Int
    Definition Classes
    MiksiloLanguageServer → LanguageServer
  42. def toString(): String
    Definition Classes
    AnyRef → Any
  43. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  44. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  45. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from LazyLogging

Inherited from CodeActionProvider

Inherited from RenameProvider

Inherited from DocumentSymbolProvider

Inherited from CompletionProvider

Inherited from ReferencesProvider

Inherited from DefinitionProvider

Inherited from LanguageServer

Inherited from AnyRef

Inherited from Any

Ungrouped