gapt
2.19.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.prooftool/ProofToolViewer

ProofToolViewer

gapt.prooftool.ProofToolViewer
abstract class ProofToolViewer[+T](val name: String, val content: T) extends Reactor

The main window of the ProofTool application.

Type parameters

T

The type of content.

Value parameters

content

The object to be displayed.

name

The name to be displayed at the top.

Attributes

Source
ProofToolViewer.scala
Graph
Supertypes
trait Reactor
class Object
trait Matchable
class Any
Known subtypes
trait Savable[T]
class ListViewer
class DagProofViewer[T]
class SequentProofViewer[F, T]
class StructViewer
Show all

Members list

Type members

Types

type MainComponentType <: Component

Attributes

Source
ProofToolViewer.scala

Value members

Abstract methods

Concrete methods

protected def createChooser(extensions: String*): FileChooser

Attributes

Source
ProofToolViewer.scala
def currentFontSize: Int

Attributes

Source
ProofToolViewer.scala
def currentFontSize_=(sz: Int): Unit

Attributes

Source
ProofToolViewer.scala
def debugMenuContents: Seq[Component]

Attributes

Returns

The contents of the "Debug" menu.

Source
ProofToolViewer.scala
def decreaseFontSize(): Unit

Zooms out by multiplying font size by 2/3.

Zooms out by multiplying font size by 2/3.

Attributes

Source
ProofToolViewer.scala
def errorMessage(error: String): Unit

Displays an error message.

Displays an error message.

Value parameters

error

The text of the message.

Attributes

Source
ProofToolViewer.scala
protected def exportToPDFButton: MenuItem

Attributes

Source
ProofToolViewer.scala
protected def exportToPNGButton: MenuItem

Attributes

Source
ProofToolViewer.scala
def fExportPdf(component: Component): Unit

Exports a component as a pdf.

Exports a component as a pdf.

Value parameters

component

The component to be exported.

Attributes

Source
ProofToolViewer.scala
def fExportPng(component: Component): Unit

Exports a component as a PNG.

Exports a component as a PNG.

Value parameters

component

The component to be exported.

Attributes

Source
ProofToolViewer.scala
def fOpen(): Unit

Opens a proof db and displays all its contents.

Opens a proof db and displays all its contents.

Attributes

Source
ProofToolViewer.scala
def fileMenuContents: Seq[Component]

Attributes

Returns

The contents of the "File" menu.

Source
ProofToolViewer.scala
def font: Font

Attributes

Source
ProofToolViewer.scala
def font_=(ft: Font): Unit

Attributes

Source
ProofToolViewer.scala
def increaseFontSize(): Unit

Zooms in by multiplying font size by 3/2.

Zooms in by multiplying font size by 3/2.

Attributes

Source
ProofToolViewer.scala
def infoMessage(info: String): Unit

Displays an info message.

Displays an info message.

Value parameters

info

The text of the message.

Attributes

Source
ProofToolViewer.scala
def inputMessage(message: String, values: Seq[String]): Option[String]

Attributes

Source
ProofToolViewer.scala
def mainPanel: Component

Attributes

Source
ProofToolViewer.scala
protected def openButton: MenuItem

Attributes

Source
ProofToolViewer.scala
def questionMessage(question: String): Value

Displays a question.

Displays a question.

Value parameters

question

The text of the question.

Attributes

Source
ProofToolViewer.scala
def resizeContent(fSize: Int): Unit

Resizes the content to a new font size.

Resizes the content to a new font size.

Value parameters

fSize

The new font size.

Attributes

Source
ProofToolViewer.scala
protected def showDebugBordersButton: CheckMenuItem

Attributes

Source
ProofToolViewer.scala
def showFrame(): Unit

Attributes

Source
ProofToolViewer.scala
def viewMenuContents: Seq[Component]

Attributes

Returns

The contents of the "View" menu.

Source
ProofToolViewer.scala
def warningMessage(warning: String): Unit

Displays a warning message.

Displays a warning message.

Value parameters

warning

The text of the message.

Attributes

Source
ProofToolViewer.scala
protected def zoomInButton: MenuItem

Attributes

Source
ProofToolViewer.scala
protected def zoomOutButton: MenuItem

Attributes

Source
ProofToolViewer.scala

Inherited methods

def deafTo(ps: Publisher*): Unit

Installed reaction won't receive events from the given publisher anylonger.

Installed reaction won't receive events from the given publisher anylonger.

Attributes

Inherited from:
Reactor
Source
Reactor.scala
def listenTo(ps: Publisher*): Unit

Listen to the given publisher as long as deafTo isn't called for them.

Listen to the given publisher as long as deafTo isn't called for them.

Attributes

Inherited from:
Reactor
Source
Reactor.scala

Concrete fields

var DEBUG: Boolean

Attributes

Source
ProofToolViewer.scala
val content: T

Attributes

Source
ProofToolViewer.scala
protected var contentPanel_: PTContentPanel

Attributes

Source
ProofToolViewer.scala
val defaultFontSize: Int

Attributes

Source
ProofToolViewer.scala
val dnLine: String

Attributes

Source
ProofToolViewer.scala
var launcher_history: List[(String, AnyRef, Int)]

Attributes

Source
ProofToolViewer.scala
val mBar: MenuBar

Attributes

Source
ProofToolViewer.scala
protected val nLine: String

Attributes

Source
ProofToolViewer.scala
val name: String

Attributes

Source
ProofToolViewer.scala
lazy val top: Frame

Attributes

Source
ProofToolViewer.scala

Inherited fields

val reactions: Reactions

All reactions of this reactor.

All reactions of this reactor.

Attributes

Inherited from:
Reactor
Source
Reactor.scala
Generated with