de.jstacs.fx

Class Application.FXProtocol

java.lang.Object

de.jstacs.fx.Application.FXProtocol

All Implemented Interfaces:

Protocol, Flushable

Enclosing class:

Application

public class Application.FXProtocol
extends Object
implements Protocol

Class for a protocol displayed in the JavaFX GUI as a TextFlow. If different tools are run in succession, protocol outputs are appended to the previous state of the protocol.

Author:

Jan Grau

Constructor Summary

Constructors

Constructor and Description
FXProtocol() Creates a new protocol.

Method Summary

Modifier and Type	Method and Description
void	append(String str)
void	appendHeading(String heading)
void	appendThrowable(Throwable th)
void	appendVerbatim(String verbatim)
void	appendWarning(String warning)
void	erase() Erases the contents of the protocol, including the background log.
void	flush()
TextFlow	getTextFlow() Returns the TextFlow object representing the current view on the protocols of all tools.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

FXProtocol

public FXProtocol()

Creates a new protocol.

Method Detail

getTextFlow

public TextFlow getTextFlow()

Returns the TextFlow object representing the current view on the protocols of all tools.

Returns:

the TextFlow object

erase

public void erase()

Erases the contents of the protocol, including the background log.

append

public void append(String str)

Specified by:

append in interface Protocol

appendHeading

public void appendHeading(String heading)

Specified by:

appendHeading in interface Protocol

appendWarning

public void appendWarning(String warning)

Specified by:

appendWarning in interface Protocol

appendThrowable

public void appendThrowable(Throwable th)

Specified by:

appendThrowable in interface Protocol

appendVerbatim

public void appendVerbatim(String verbatim)

Specified by:

appendVerbatim in interface Protocol

toString

public String toString()

Overrides:

toString in class Object

flush

public void flush()
           throws IOException

Specified by:

flush in interface Flushable

Throws:

IOException