MatchCaseCompletions

Type Members

case class CaseKeywordCompletion(selector: MetalsGlobal.Tree, editRange: org.eclipse.lsp4j.Range, pos: MetalsGlobal.Position, text: String, parent: MetalsGlobal.Tree) extends MetalsGlobal.CompletionPosition with Product with Serializable

A case completion showing the valid subtypes of the type being deconstructed.
A case completion showing the valid subtypes of the type being deconstructed.
selector
the match expression being deconstructed or EmptyTree when not in a match expression (for example List(1).foreach { case@@ }.
editRange
the range in the original source file enclosing the case keyword being completed. Used as the position of the main text edit of the completion.
pos
the position of the completion in the instrumented source file with _CURSOR_ instrumentation.
text
the text of the original source file without _CURSOR_.
parent
the parent tree node of the pattern match, for example Apply(_, _) when in List(1).foreach { cas@@ }, used as fallback to compute the type of the selector when it's EmptyTree.
case class CasePatternCompletion(isTyped: Boolean, c: MetalsGlobal.CaseDef, m: MetalsGlobal.Match) extends MetalsGlobal.CompletionPosition with Product with Serializable
case class MatchKeywordCompletion(prefix: MetalsGlobal.Type, editRange: org.eclipse.lsp4j.Range, pos: MetalsGlobal.Position, text: String) extends MetalsGlobal.CompletionPosition with Product with Serializable

A match keyword completion to generate an exhaustive pattern match for sealed types.
A match keyword completion to generate an exhaustive pattern match for sealed types.
prefix
the type of the qualifier being matched.
class Parents extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hasLeadingBrace(ident: MetalsGlobal.Ident, text: String): Boolean

Returns true if the identifier comes after an opening brace character '{'
def hashCode(): Int

Definition Classes
AnyRef → Any
def isCasePrefix(name: MetalsGlobal.Name): Boolean
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def isMatchPrefix(name: MetalsGlobal.Name): Boolean
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package completions

trait MatchCaseCompletions extends AnyRef

Type Members

case class CaseKeywordCompletion(selector: MetalsGlobal.Tree, editRange: org.eclipse.lsp4j.Range, pos: MetalsGlobal.Position, text: String, parent: MetalsGlobal.Tree) extends MetalsGlobal.CompletionPosition with Product with Serializable

case class CasePatternCompletion(isTyped: Boolean, c: MetalsGlobal.CaseDef, m: MetalsGlobal.Match) extends MetalsGlobal.CompletionPosition with Product with Serializable

case class MatchKeywordCompletion(prefix: MetalsGlobal.Type, editRange: org.eclipse.lsp4j.Range, pos: MetalsGlobal.Position, text: String) extends MetalsGlobal.CompletionPosition with Product with Serializable

class Parents extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hasLeadingBrace(ident: MetalsGlobal.Ident, text: String): Boolean

def hashCode(): Int

def isCasePrefix(name: MetalsGlobal.Name): Boolean

final def isInstanceOf[T0]: Boolean

def isMatchPrefix(name: MetalsGlobal.Name): Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped