Rendering

Instance Constructors

new Rendering(snapshot: Snapshot, options: Options, session: Session)

Abstract Value Members

abstract def model: Model
abstract def timing_threshold: Double

Concrete 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
def antiquoted(range: Range): Option[Range]
final def asInstanceOf[T0]: T0

Definition Classes
Any
def background(elements: Elements, range: Range, focus: Set[Long]): List[Info[Rendering.Color.Value]]
def before_caret_range(caret: Offset): Range
def caret_focus(caret_range: Range, visible_range: Range): Set[Long]
def caret_focus_ranges(caret_range: Range, visible_range: Range): List[Range]
def citation(range: Range): Option[Info[String]]
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] )
def foreground(range: Range): List[Info[Rendering.Color.Value]]
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def language_context(range: Range): Option[Language_Context]
def language_path(range: Range): Option[Range]
def message_underline_color(elements: Elements, range: Range): List[Info[Rendering.Color.Value]]
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
val options: Options
def overview_color(range: Range): Option[Rendering.Color.Value]
def path_completion(caret: Offset): Option[Result]
def perhaps_append_file(node_name: Name, name: String): String
def semantic_completion(completed_range: Option[Range], caret_range: Range): Option[Info[Semantic]]
def semantic_completion_result(history: History, unicode: Boolean, completed_range: Option[Range], caret_range: Range): (Boolean, Option[Result])
val session: Session
val snapshot: Snapshot
def spell_checker(range: Range): List[Info[Range]]
def spell_checker_point(range: Range): Option[Range]
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
Rendering → AnyRef → Any
def tooltips(elements: Elements, range: Range): Option[Info[List[Tree]]]
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: object Rendering | package isabelle

abstract class Rendering extends AnyRef

Instance Constructors

new Rendering(snapshot: Snapshot, options: Options, session: Session)

Abstract Value Members

abstract def model: Model

abstract def timing_threshold: Double

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def antiquoted(range: Range): Option[Range]

final def asInstanceOf[T0]: T0

def background(elements: Elements, range: Range, focus: Set[Long]): List[Info[Rendering.Color.Value]]

def before_caret_range(caret: Offset): Range

def caret_focus(caret_range: Range, visible_range: Range): Set[Long]

def caret_focus_ranges(caret_range: Range, visible_range: Range): List[Range]

def citation(range: Range): Option[Info[String]]

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def foreground(range: Range): List[Info[Rendering.Color.Value]]

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def language_context(range: Range): Option[Language_Context]

def language_path(range: Range): Option[Range]

def message_underline_color(elements: Elements, range: Range): List[Info[Rendering.Color.Value]]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

val options: Options

def overview_color(range: Range): Option[Rendering.Color.Value]

def path_completion(caret: Offset): Option[Result]

def perhaps_append_file(node_name: Name, name: String): String

def semantic_completion(completed_range: Option[Range], caret_range: Range): Option[Info[Semantic]]

def semantic_completion_result(history: History, unicode: Boolean, completed_range: Option[Range], caret_range: Range): (Boolean, Option[Result])

val session: Session

val snapshot: Snapshot

def spell_checker(range: Range): List[Info[Range]]

def spell_checker_point(range: Range): Option[Range]

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

def toString(): String

def tooltips(elements: Elements, range: Range): Option[Info[List[Tree]]]

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