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