Completion

Type Members

final class History extends AnyRef
class History_Variable extends AnyRef
sealed case class Item(range: Range, original: String, name: String, description: List[String], replacement: String, move: Int, immediate: Boolean) extends Product with Serializable

completion result *
sealed case class Language_Context(language: String, symbols: Boolean, antiquotes: Boolean) extends Product with Serializable
case class Names(total: Int, names: List[(String, (String, String))]) extends Semantic with Product with Serializable
sealed case class Result(range: Range, original: String, unique: Boolean, items: List[Item]) extends Product with Serializable
sealed abstract class Semantic 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
object History
object Language_Context extends Serializable

syntactic completion *
object No_Completion extends Semantic with Product with Serializable
object Result extends Serializable
object Semantic
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clean_name(s: String): Option[String]

semantic completion *
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
val empty: Completion
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 hashCode(): Int

Definition Classes
AnyRef → Any
def init(): Completion
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def load_abbrevs(): List[(String, String)]
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def report_names(pos: T, total: Int, names: List[(String, (String, String))]): String
def report_no_completion(pos: T): String
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 Docs: class Completion | package isabelle

object Completion

Type Members

final class History extends AnyRef

class History_Variable extends AnyRef

sealed case class Item(range: Range, original: String, name: String, description: List[String], replacement: String, move: Int, immediate: Boolean) extends Product with Serializable

sealed case class Language_Context(language: String, symbols: Boolean, antiquotes: Boolean) extends Product with Serializable

case class Names(total: Int, names: List[(String, (String, String))]) extends Semantic with Product with Serializable

sealed case class Result(range: Range, original: String, unique: Boolean, items: List[Item]) extends Product with Serializable

sealed abstract class Semantic extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object History

object Language_Context extends Serializable

object No_Completion extends Semantic with Product with Serializable

object Result extends Serializable

object Semantic

final def asInstanceOf[T0]: T0

def clean_name(s: String): Option[String]

def clone(): AnyRef

val empty: Completion

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

def init(): Completion

final def isInstanceOf[T0]: Boolean

def load_abbrevs(): List[(String, String)]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def report_names(pos: T, total: Int, names: List[(String, (String, String))]): String

def report_no_completion(pos: T): String

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